Larch: Languages and Tools for Formal Specification /
This text addresses an important topic: the use of a formal specification language and supporting tools. Formal methods are becoming increasingly important to the practicing programmer; Springer-Verlag has a tradition of publishing books in this area. The book's subject, the Larch specification...
Full description
Bibliographic Details
| Main Author: |
Guttag, John V., 1949- |
|---|
| Corporate Author: |
SpringerLink (Online service) |
|---|
| Other Authors: |
Horning, J. J. (James J.),
Garland, Stephen J.,
Jones, K. D.,
Modet, A.,
Wing, J. M. |
|---|
| Format: | eBook
|
|---|
| Language: | English |
|---|
| Published: |
New York, NY :
Springer New York,
1993.
|
|---|
| Series: | Texts and monographs in computer science.
|
|---|
| Subjects: | |
|---|
| Online Access: | Connect to the full text of this electronic book
|
|---|