An edition of Larch (1993)

Larch

languages and tools for formal specification

by , , , and

Cover of: Larch by John Guttag, John V. Guttag, James J. Horning, S. J. Garland, John Guttag
Preview
Borrow Listen

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 30, 2019 | History
Edit
An edition of Larch (1993)

Larch

languages and tools for formal specification

by , , , and

Describes Larch, a formal system based on operational and algebraic techniques for specifying programs.

Publish Date
Publisher
Springer-Verlag
Language
English
Pages
250

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Computer programming, Computer software, Development, Larch (Computer program language), formal specification, software engineering

Showing 4 featured editions. View all 4 editions?

Edition Availability
Cover of: Larch
Larch: Languages and Tools for Formal Specification (Texts and Monographs in Computer Science)
April 1993, Springer
in English
Libraries near you: WorldCat
Cover of: Larch
Larch: languages and tools for formal specification
1993, Springer-Verlag
in English
Libraries near you: WorldCat
Cover of: Larch
Larch: Languages and Tools for Formal Specification
January 1993, Springer
Hardcover in English
Libraries near you: WorldCat
Cover of: Larch
Larch: Languages and Tools for Formal Specification
1993, Island Press
in English
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. [230]-238) and index.

Published in
New York
Series
Texts and monographs in computer science

Classifications

Dewey Decimal Class
005.1/2
Library of Congress
QA76.6 .H66 1993

The Physical Object

Pagination
xiii, 250 p. ;
Number of pages
250

ID Numbers

Open Library
OL1739234M
Internet Archive
larchlanguagesto0000gutt
ISBN 10
0387940065, 3540940065
LCCN
92044571
OCLC/WorldCat
27223609
Library Thing
3326852
Goodreads
2197603
5939837

Source records

Library of Congress MARC record
Internet Archive item record
Promise Item
marc_columbia MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
July 30, 2019 Edited by MARC Bot associate edition with work OL4316414W
July 27, 2014 Edited by r. clayton Edited without comment.
July 27, 2014 Edited by r. clayton added cover image, description
July 27, 2014 Edited by r. clayton Added new cover
December 10, 2009 Created by WorkBot add works page