Von dem Buch Larch: Languages and Tools for Formal Specification haben wir 3 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: S.J. Garland; John V. Guttag; K.D. Jones; James J. Horning; A. Modet; J.M. Wing: Larch: Languages and Tools for Formal Specification (ISBN: 9781461276364) Springer Science+Business Media, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
100%: John V. Guttag, James J. Horning, Assistant: S.J. Garland, Assistant: K.D. Jones, Assistant: A. Modet, Assistant: J.M. Wing: Larch: Languages and Tools for Formal Specification (Monographs in Computer Science) (ISBN: 9780387940069) 1993, Springer New York, in Englisch, Broschiert.Nur diese Ausgabe anzeigen…
46%: S.J. Garland; John V. Guttag; K.D. Jones; James J. Horning; A. Modet; J.M. Wing: Larch: Languages and Tools for Formal Specification als eBook von (ISBN: 9781461227045) Springer New York, in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
Larch: Languages and Tools for Formal Specification
4 Angebote vergleichen
Bester Preis: Fr. 104.64 (€ 106.92)¹ (vom 23.04.2017)1
Larch: Languages and Tools for Formal Specification
EN NWISBN: 9781461276364 bzw. 1461276365, in Englisch, Springer New York, neu.
Lieferung aus: Kanada, In Stock, plus shipping.
John V. Guttag, Books, Science and Nature, Larch: Languages and Tools for Formal Specification, This text addresses an important topic: the use of a formal specification language and supporting tools. Formal methods are becoming increasingly important to the practicing programmer; Springer-Verlag has a tradition of publishing books in this area. The book's subject, the Larch specification work at MIT and DEC, is respected amongst academic computer scientists. As plans begin for Larch tools to be distributed to the community, this book can serve as an invaluable reference. The authors of this text, James Horning and John Guttag, want their book to reach people interested in implementing formal methods into practical use. This readable text makes extensive use of examples, and serves as both a reference manual and as a tutorial. Chapter 1 discusses the use of formal specifications in program development, providing a context for the technical material that follows. Chapter 2 contains a very short introduction to the notation of mathematical logic. The chapter is aimed at those with no background in logic, and provides all the logic background needed to understand the remainder of the book. The remaining six chapters of the book contains an in-depth look at Larch, and the authors' approach to the formal specification of program components.
John V. Guttag, Books, Science and Nature, Larch: Languages and Tools for Formal Specification, This text addresses an important topic: the use of a formal specification language and supporting tools. Formal methods are becoming increasingly important to the practicing programmer; Springer-Verlag has a tradition of publishing books in this area. The book's subject, the Larch specification work at MIT and DEC, is respected amongst academic computer scientists. As plans begin for Larch tools to be distributed to the community, this book can serve as an invaluable reference. The authors of this text, James Horning and John Guttag, want their book to reach people interested in implementing formal methods into practical use. This readable text makes extensive use of examples, and serves as both a reference manual and as a tutorial. Chapter 1 discusses the use of formal specifications in program development, providing a context for the technical material that follows. Chapter 2 contains a very short introduction to the notation of mathematical logic. The chapter is aimed at those with no background in logic, and provides all the logic background needed to understand the remainder of the book. The remaining six chapters of the book contains an in-depth look at Larch, and the authors' approach to the formal specification of program components.
4
Larch: Languages and Tools for Formal Specification
EN NWISBN: 9781461276364 bzw. 1461276365, in Englisch, Springer Science+Business Media, neu.
Lieferung aus: Vereinigtes Königreich Grossbritannien und Nordirland, In Stock.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…