.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
First International Workshop on Larch
. Ed(S): Martin, Ursula; Wing, Jeannette M.
€ 67.67
FREE Delivery in Ireland
Description for First International Workshop on Larch
Paperback. The aim of the workshop upon which this text is based was to raise the profile of LARCH, a group of formal specification languages and tools orginally developed in the USA. Among the topics covered in this volume are the mechanical verification of concurrent systems with TLA. Editor(s): Martin, Ursula; Wing, Jeannette M. Series: Workshops in Computing. Num Pages: 315 pages, 4 black & white illustrations, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 17. Weight in Grams: 560.
The papers in this volume were presented at the First International Workshop on Larch, held at MIT Endicott House near Boston on 13-15 July 1992. 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. The Larch Project started in 1980, led by John Guttag at MIT and James Horning, then at Xerox/Palo Alto Research Center and now at Digital Equipment Corporation/Systems Research Center (DEC/SRC). ... Read more
The papers in this volume were presented at the First International Workshop on Larch, held at MIT Endicott House near Boston on 13-15 July 1992. 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. The Larch Project started in 1980, led by John Guttag at MIT and James Horning, then at Xerox/Palo Alto Research Center and now at Digital Equipment Corporation/Systems Research Center (DEC/SRC). ... Read more
Product Details
Format
Paperback
Publication date
1993
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
315
Condition
New
Series
Workshops in Computing
Number of Pages
315
Place of Publication
Berlin, Germany
ISBN
9783540198048
SKU
V9783540198048
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for First International Workshop on Larch