First International Workshop on Larch
Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992
The papers in this volume were presented at the First International Workshop on Larch, held at MIT Endicott House near Boston on 13-15 July 1992. Larch is a family of formal specification languages and tools, and this workshop was a forum for those who have designed the Larch languages, built tool support for them, particularly the Larch Prover, and used them to specify and reason about software and hardware systems. The Larch Project started in 1980, led by John Guttag at MIT and James Horning, then at Xerox/Palo Alto Research Center and now at Digital Equipment Corporation/Systems Research Center (DEC/SRC). Major applications have included…
Mehr
CHF 126.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Martin, Ursula (Hrsg.)
- ISBN: 978-3-540-19804-8
- EAN: 9783540198048
- Produktnummer: 15613439
- Verlag: Springer London
- Sprache: Englisch
- Erscheinungsjahr: 1993
- Seitenangabe: 324 S.
- Masse: H23.5 cm x B15.5 cm x D1.7 cm 493 g
- Auflage: 1st Edition
- Abbildungen: Paperback
- Gewicht: 493
4 weitere Werke von Jeannette M. (Hrsg.) Wing:
Bewertungen
Anmelden