|
|
|
|
| LEADER |
00000nmm a22000005u 4500 |
| 001 |
7354263 |
| 003 |
ICU |
| 005 |
20081013141400.0 |
| 007 |
cr nn 008mamaa |
| 008 |
080306s2004 xx j eng d |
| 035 |
|
|
|a (Springer)978-3-540-21366-6
|
| 020 |
|
|
|a 9783540213666
|
| 100 |
1 |
|
|a Owe, Olaf.
|0 http://id.loc.gov/authorities/names/n96082763
|1 http://viaf.org/viaf/40442623
|
| 245 |
1 |
0 |
|a From Object-Orientation to Formal Methods :
|b Essays in Memory of Ole-Johan Dahl /
|c by Olaf Owe, Stein Krogdahl, Tom Lyche.
|
| 260 |
|
|
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg,
|c 2004.
|
| 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 2635
|
| 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 Logics and Meanings of Programs
|
| 653 |
0 |
|
|a Mathematical Logic and Formal Languages
|
| 653 |
0 |
|
|a Programming Languages, Compilers, Interpreters
|
| 653 |
0 |
|
|a Programming Techniques
|
| 653 |
0 |
|
|a Software Engineering
|
| 700 |
1 |
|
|a Krogdahl, Stein.
|0 http://id.loc.gov/authorities/names/nb2004301221
|1 http://viaf.org/viaf/276749781
|
| 700 |
1 |
|
|a Lyche, Tom.
|0 http://id.loc.gov/authorities/names/n88199220
|1 http://viaf.org/viaf/14833010
|
| 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/b96089
|
| 903 |
|
|
|a HeVa
|
| 929 |
|
|
|a eresource
|
| 999 |
f |
f |
|i 01a9185a-c4a9-574e-9757-e15da55430ef
|s 70060276-3e71-5a16-91c1-2cfd04fdcd62
|
| 928 |
|
|
|l Online
|c UC-FullText
|u http://dx.doi.org/10.1007/b96089
|g ebooks
|i 7579674
|
