Larch: Languages and Tools for Formal Specification - Monographs in Computer Science - John V. Guttag - Książki - Springer-Verlag New York Inc. - 9781461276364 - 1 października 2011
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 206,90

Zamówione z odległego magazynu

Przewidywana dostawa 8 - 16 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia
Dodaj do swojej listy życzeń iMusic

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

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 1 października 2011
ISBN13 9781461276364
Wydawcy Springer-Verlag New York Inc.
Strony 250
Wymiary 155 × 235 × 14 mm   ·   385 g
Język Angielski  

Więcej od John V. Guttag

Pokaż wszystko