Home > Authors > John Guttag > Larch

Buy at: Bookshop.org Amazon

Larch

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

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

See on goodreads | librarything

Recent activity

Rate this book to see your activity here.

1 Book Similar to Larch by John Guttag

Bookscovery readers who liked Larch also like Research directions in computer science. How many of these have you read?

Research directions in computer science by Albert R. Meyer

Cover of Research directions in computer science

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Comments and reviews of Larch

Please sign in to leave a comment