Larch: Languages and Tools for Formal Specification - Monographs in Computer Science - John V. Guttag - Bøker - Springer-Verlag New York Inc. - 9781461276364 - 1. oktober 2011
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 549

Bestillingsvarer

Forventes levert 12. - 20. jan 2026
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller

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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 1. oktober 2011
ISBN13 9781461276364
Utgivere Springer-Verlag New York Inc.
Antall sider 250
Mål 155 × 235 × 14 mm   ·   385 g
Språk Engelsk  

Mer med John V. Guttag

Vis alle