Ebook: Larch: Languages and Tools for Formal Specification
Author: John V. Guttag James J. Horning
- Genre: Mathematics // Logic
- Series: Texts and Monographs in Computer Science
- Year: 1993
- Publisher: Springer
- Language: English
- pdf
Download the book Larch: Languages and Tools for Formal Specification for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)