Modular specification and verification of object-oriented programs

Författare
Peter Müller
(Peter Müller.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer 2002 Tyskland, Berlin xiv, 292 sidor. ill.
Flera identiska utgåvor hittades, dom har slagits ihop i listan ovan