Larch View on Open Library

Larch

by John Guttag , John V. Guttag , James J. Horning , S. J. Garland

No reviews yet
First published: 1993 1 language ISBN: 9781461227052
Description
Describes Larch, a formal system based on operational and algebraic techniques for specifying programs.
Subjects
Computer programming Computer software Development Larch (Computer program language) formal specification software engineering

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by John Guttag

Introduction To Computation And Programming Using Python

Introduction To Computation And Programm...

Program Development in Java

Program Development in Java

The specification and application to programming of abstract data types

The specification and application to pro...

You Might Also Like

More in Computer programming
Financial audit

Financial audit

United States. General Accounting Office
Reconfigurable Processor Array A Bit Sliced Parallel Computer (USA)

Reconfigurable Processor Array A Bit Sli...

A. Rushton
Financial Management

Financial Management

United States. General Accounting Office
Managerial Accounting

Managerial Accounting

Jerry J. Weygandt
Advances in Computers, Volume 49 (Advances in Computers)

Advances in Computers, Volume 49 (Advanc...

Marvin V. Zelkowitz
Course ILT

Course ILT

Course Technology