Larch: Languages and Tools for Formal Specification
Languages and Tools for Formal Specification
Published in March 1993
Book
Hardback
XIII, 250 pages
978-3-540-94006-7 (ISBN)
Description
This monograph addresses the use of formal specification languages and supporting tools. Concentrating on the Larch specification work taking place at DEC and MIT, it discusses the use of formal specifications in program development and introduces the notation of mathematical logic.