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 - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540198048 - April 22, 1993
In case cover and title do not match, the title is correct

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

Price
$ 65.49

Ordered from remote warehouse

Expected delivery Dec 23 - Jan 8, 2025
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
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 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

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
Editor Martin, Ursula
Editor Wing, Jeannette M.
Show all

More by Ursula Martin

See all of Ursula Martin ( e.g. Paperback Book )