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 Ursula Martin Edition. Ed. edition

Name: First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 - Workshops in Computing
Price: 55.99 USD
Availability: OutOfStock
Author: Ursula Martin

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 7 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

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

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.