|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000079122 |
| 005 |
20130325093000.0 |
| 008 |
120701s2012 nyu eng |
| 020 |
|
|
|a 3642173357 (hardback : alk. paper)
|
| 020 |
|
|
|a 3642173365 (ebook)
|
| 020 |
|
|
|a 9783642173356 (hardback : alk. paper)
|
| 020 |
|
|
|a 9783642173363 (ebook)
|
| 050 |
0 |
0 |
|a QA76.9.M35
|b S26 2012
|
| 090 |
0 |
0 |
|a QA76.9.M35
|b S26 2012
|
| 100 |
1 |
|
|a Sannella, Donald ,
|d 1956- ,
|e author
|
| 245 |
1 |
0 |
|a Foundations of algebraic specification and formal software development
|c Donald Sannella, Andrzej Tarlecki
|
| 260 |
|
|
|a New York :
|b Springer ,
|c c2012
|
| 300 |
|
|
|a xvi, 581 p :
|b ill. ;
|c 24 cm.
|
| 490 |
1 |
|
|a Monographs in theoretical computer science
|
| 504 |
|
|
|a Includes bibliographical references and index
|
| 505 |
0 |
|
|a 1. Universal algebra -- 2. simple equational specifications -- 3. Category theory -- 4. Working within an arbitrary logical system -- 5. Structured specifications -- 6. Parameterisation -- 7. Formal program development -- 8. Behavioural specifications -- 9. Proofs for specifications -- 10. Working with multiple logical systems
|
| 650 |
|
0 |
|a Computer science
|
| 650 |
|
0 |
|a Computer science
|x Mathematics
|
| 650 |
|
0 |
|a Computer software
|x Development
|
| 650 |
|
0 |
|a Software engineering
|
| 700 |
1 |
|
|a Tarlecki, Andrzej ,
|e author
|
| 999 |
|
|
|a 1000152699
|b Book
|c OPEN SHELF (30 DAYS)
|e Tembila Campus
|