|
|
|
|
|
00000nam0a22000003ib4500 |
| 001 |
BY-NLB-br0001538856 |
| 005 |
20190317141704.0 |
| 100 |
# |
# |
$a 20190317d|||| |||||bel|50 ba
|
| 101 |
0 |
# |
$a ger
|
| 102 |
# |
# |
$a DE
|
| 200 |
1 |
# |
$a Mathematical Methods of Specification and Synthesis of Software Systems´85
$e Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22-26, 1985
$f edited by Wolfgang Bibel, Klaus P. Jantke
$h Band 31
|
| 210 |
# |
# |
$a Berlin
$c Akademie-Verlag
$d 1986
|
| 215 |
# |
# |
$a 245 s.
|
| 300 |
# |
# |
$a Библиогр. внутри текста
|
| 702 |
# |
1 |
$a Bibel
$b W.
|
| 801 |
# |
0 |
$a BY
$b BY-HM0000
$c 20190317
$g RCR
|
