Larch: Languages and Tools for Formal Specification - Monographs in Computer Science - John V. Guttag - Bücher - Springer-Verlag New York Inc. - 9781461276364 - 1. Oktober 2011
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

John V. Guttag
Larch: Languages and Tools for Formal Specification - Monographs in Computer Science Softcover reprint of the original 1st ed. 1993 edition

Preis
SFr. 43,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 7. - 15. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

It takes longer than expected, the software's functionality and performance are not as wonderful as hoped, and the software is not particularly malleable or easy to maintain. The intended audience is practicing programmers and students in undergraduate or basic graduate courses in software engineering or formal methods.

250 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 1. Oktober 2011
ISBN13 9781461276364
Verlag Springer-Verlag New York Inc.
Seitenanzahl 250
Maße 155 × 235 × 14 mm   ·   385 g
Sprache Englisch  

Weitere Titel von John V. Guttag

Alle anzeigen

Alle Titel von John V. Guttag ansehen ( u. a. Taschenbuch )