Rigorous Software Development

Lieferzeit: Lieferbar innerhalb 14 Tagen

37,40 

An Introduction to Programm Verification, Undergraduate Topics in Computer Science

ISBN: 0857290177
ISBN 13: 9780857290175
Verlag: Springer Verlag GmbH
Umfang: xiii, 307 S., 52 s/w Illustr., 307 p. 52 illus.
Erscheinungsdatum: 07.01.2011
Weitere Autoren: Almeida, José Bacelar/Frade, Maria João/Pinto, Jorge Sousa et al
Auflage: 1/2011
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1156672 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …