|
|
|
|
| LEADER |
00000nmm a22000005u 4500 |
| 001 |
7355575 |
| 003 |
ICU |
| 005 |
20081013143200.0 |
| 007 |
cr nn 008mamaa |
| 008 |
080306s1996 xx j eng d |
| 035 |
|
|
|a (Springer)978-3-540-61984-0
|
| 020 |
|
|
|a 9783540619840
|
| 100 |
1 |
|
|a Broy, Manfred.
|1 http://viaf.org/viaf/91721734
|
| 245 |
1 |
0 |
|a Formal Systems Specification :
|b The RPC-Memory Specification Case Study /
|c by Manfred Broy, Stephan Merz, Katharina Spies.
|
| 260 |
|
|
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg,
|c 1996.
|
| 336 |
|
|
|a computer dataset
|b cod
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/cod
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/c
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/cr
|
| 440 |
|
0 |
|a Lecture notes in computer science,
|x 0302-9743 ;
|v 1169
|
| 650 |
|
0 |
|a Computer Communication Networks
|
| 650 |
|
0 |
|a Computer science
|0 http://id.loc.gov/authorities/subjects/sh89003285
|
| 650 |
|
0 |
|a Logic design
|0 http://id.loc.gov/authorities/subjects/sh85078117
|
| 650 |
|
0 |
|a Software engineering
|0 http://id.loc.gov/authorities/subjects/sh87007398
|
| 653 |
0 |
|
|a Computer Science
|
| 653 |
0 |
|
|a Computer Communication Networks
|
| 653 |
0 |
|
|a Logics and Meanings of Programs
|
| 653 |
0 |
|
|a Software Engineering
|
| 700 |
1 |
|
|a Merz, Stephan.
|0 http://id.loc.gov/authorities/names/n97001201
|1 http://viaf.org/viaf/12602569
|
| 700 |
1 |
|
|a Spies, Katharina.
|0 http://id.loc.gov/authorities/names/n97001207
|1 http://viaf.org/viaf/4207773
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|0 http://id.loc.gov/authorities/names/no2005046756
|1 http://viaf.org/viaf/148105729
|
| 773 |
0 |
|
|t Springer e-books
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/BFb0024423
|
| 903 |
|
|
|a HeVa
|
| 929 |
|
|
|a eresource
|
| 999 |
f |
f |
|i b78f351a-15b1-5221-b54b-a96d2011b790
|s 06f4032f-449e-5659-ac21-d4127285a903
|
| 928 |
|
|
|l Online
|c UC-FullText
|u http://dx.doi.org/10.1007/BFb0024423
|g ebooks
|i 7078585
|
