Details

ISBN/EAN: 978-3-540-43167-1
Einband: kartoniertes Buch
Weitere Details
Erschienen am:
Sprache:
English
Umfang:
xiv, 298 S.

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg


Weitere Details arrow_forward_ios

Modular Specification and Verification of Object-Oriented Programs

Lecture Notes in Computer Science 2262

53,49 €

Lieferbar innerhalb 1 - 2 Wochen