|
|
|
|
| LEADER |
00985cam a22002294a 4500 |
| 020 |
|
|
|a 3540211497 (v. 1)
|
| 020 |
|
|
|a 3540211500 (v. 2)
|
| 020 |
|
|
|a 3540211519 (v. 3)
|
| 082 |
0 |
0 |
|a 005.1
|b P6
|
| 100 |
1 |
|
|a Bjørner, Dines.
|9 3
|
| 245 |
1 |
0 |
|a Software Engineering 2 :
|b specification of systems and languages /
|c Dines Bjørner.
|
| 260 |
|
|
|a Berlin ;
|b Springer,
|c 2006-
|
| 300 |
|
|
|a v. <1-3> :
|b ill. ;
|
| 490 |
|
|
|a Texts in theoretical computer science
|
| 504 |
|
|
|a Includes bibliographical references and indexes.
|
| 505 |
1 |
|
|a 1. Abstraction and modelling -- 2. Specification of systems and languages -- 3. Domains, requirements, and software design.
|
| 650 |
|
0 |
|a Software engineering.
|9 4
|
| 650 |
|
0 |
|a Computer programming.
|9 5
|
| 856 |
4 |
2 |
|u http://www.loc.gov/catdir/enhancements/fy0663/2005936100-d.html
|
| 942 |
|
|
|c BK
|
| 999 |
|
|
|c 50726
|d 50726
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 005_100000000000000_P6
|7 0
|9 51458
|a MGUL
|b MGUL
|c DISPLAY
|d 2013-07-16
|e RS0.00
|l 0
|o 005.1 P6
|p 48644
|r 2013-07-16
|w 2013-07-16
|y BK
|