|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000079122 |
| 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
|
| 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
|