| LEADER |
00922nam a2200205 a 4500 |
| 001 |
0007114 |
| 003 |
Th-MUT |
| 008 |
181106s9999 xx 000 0 eng d |
| 020 |
|
|
|a 0077077350
|
| 040 |
|
|
|a DLC
|c MUT
|
| 050 |
|
4 |
|a QA76.758
|b T86C65
|
| 100 |
1 |
|
|a Turner, John
|
| 245 |
1 |
4 |
|a The construction of formal specifications : an introduction to the model-based and algebraic approaches
|b /
|c John Turner, T. Lee McClushey
|
| 260 |
|
|
|a London :
|b McGraw-Hill,
|c 1994
|
| 300 |
|
|
|a xii, 420 p. :
|c 25 cm.
|
| 440 |
|
0 |
|a The McGraw-Hill international series in software engineering
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
|
0 |
|a Software engineering.
|
| 700 |
1 |
|
|a McCluskey, T. Lee
|
| 991 |
|
|
|a MONOGRAPHS
|b 6
|c 2018-11-07 00:15:17
|d 2021-11-09 16:04:16
|e mut
|f n
|g null
|h n
|i a
|j m
|k
|l a
|m
|n a
|o
|p b
|q
|r enk
|s eng
|t 1994
|v The construction of formal specifications : an introduction to the model-based and algebraic approaches /
|
