Tell your friends about this item:
First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 - Workshops in Computing Ursula Martin Edition. Ed. edition
Price
$ 55.99
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Jun 2 - 8
Our customers say:
Add to your iMusic wish list
First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 - Workshops in Computing
Ursula Martin
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.
323 pages, 4 black & white illustrations, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | April 22, 1993 |
| ISBN13 | 9783540198048 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 315 |
| Dimensions | 155 × 235 × 17 mm · 453 g |
| Language | German |
| Editor | Martin, Ursula |
| Editor | Wing, Jeannette M. |
