ENGLISH

Larch: Languages and Tools for Formal Specification

By John V. Guttag , James J. Horning

Book information

Publisher
Springer
Year
1993
ISBN
9783540940067, 3540940065
LCC
QA76.6 .H66 1993
Language
english
Format
PDF
Filesize
573 kB (586798 bytes)
Series
Texts and Monographs in Computer Science
Pages
259\259
Topic
Mathematics Logic
Orientation
portrait
Paginated
yes
Scanned
no
Time added
2012-03-17 06:00:00

Similar books