Tallenna
Larch: Languages and Tools for Formal Specification
Kirjailija:
nidottu, 2011
englanti
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.
- Kirjailija
- John V. Guttag, James J. Horning
- Painos
- Softcover reprint of the original 1st ed. 1993
- ISBN
- 9781461276364
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 1.10.2011
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 250
