Recomienda este artículo a tus amigos:
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
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 22 de abril de 1993 |
| ISBN13 | 9783540198048 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 315 |
| Dimensiones | 155 × 235 × 17 mm · 453 g |
| Lengua | Alemán |
| Editor | Martin, Ursula |
| Editor | Wing, Jeannette M. |
Mas por Ursula Martin
Mostrar todoMere med samme udgiver
Ver todo de Ursula Martin ( Ej. Paperback Book )