The construction of formal specifications : an introduction to the model-based and algebraic approaches / John Turner, T. Lee McClushey
Main Author: | Turner, John |
---|---|
Other Authors: | McCluskey, T. Lee |
Format: | MONOGRAPHS |
Language: | English |
Published: |
London : McGraw-Hill, 1994 |
Series: |
The McGraw-Hill international series in software engineering
|
Subjects: |
Software engineering.
|
Tags: |
Add
No Tags, Be the first to tag this record!
|
Login for hold and recall information
Place a Title Level Reserve
MUT Lib 3rd Floor
Call Number: | QA76.758 T86C65 |
---|---|
1 - Copy 1 |
Available
|