
Powiedz znajomym o tym przedmiocie:
First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 - Workshops in Computing Edition. Ed. edition
Ursula Martin
First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 - Workshops in Computing Edition. Ed. edition
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 | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
Wydane | 22 kwietnia 1993 |
ISBN13 | 9783540198048 |
Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
Strony | 315 |
Wymiary | 155 × 235 × 17 mm · 453 g |
Redaktor | Martin, Ursula |
Redaktor | Wing, Jeannette M. |