Verification of Sequential and Concurrent Programs (Titelsatznr. 9763)
| 000 -Satzkennung | |
|---|---|
| Kontrollfeld mit fester Länge | 00963cam a22002651a 4500 |
| 001 - Kontrollnummer | |
| Kontrollfeld | NAK30230 |
| 005 - Datum und Zeit der letzten Transaktion | |
| Kontrollfeld | 20240731003838.0 |
| 007 - Feld mit fester Länge zur physischen Beschreibung - Allgemeine Information | |
| Kontrollfeld mit fester Länge | z| |
| 008 - Feld mit fester Länge zur physischen Beschreibung - Allgemeine Angaben | |
| Kontrollfeld mit fester Länge | 100427s2009||||||| eng|| |
| 020 ## - Internationale Standardbuchnummer | |
| Internationale Standardbuchnummer | 9781848827448 |
| Bezugsbedingungen | 74,85 € |
| 041 ## - Sprachcode | |
| Sprachcode des Textes/der Tonspur oder des separaten Titels | eng |
| 072 #7 - Code der Sacherschließungskategorie | |
| Code der Sacherschließungskategorie | Software-Engineering |
| Quelle | nak |
| 090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN) | |
| Notation (OCLC) (R) ; Notation, CALL (RLIN) (NR) | EDV 57 |
| 100 0# - Haupteintragung - Personenname | |
| Personenname | Apt, Krzysztof R.; Boer, Frank S. de; Olderog, Ernst-Rüdiger |
| 245 00 - Titel | |
| Titel | Verification of Sequential and Concurrent Programs |
| Verfasserangabe etc. | Krzysztof R.; Boer, Frank S. de; Olderog, Ernst-Rüdiger Apt |
| 250 ## - Ausgabebezeichnung | |
| Ausgabebezeichnung | 3. ed. |
| 260 ## - Publikation, Vertrieb usw. | |
| Erscheinungsort, Vertriebsort etc. | Dordrecht; Heidelberg; London; New York |
| Name des Verlags, des Vertriebs etc. | Springer |
| Erscheinungsjahr, Vertriebsjahr etc. | 2009 |
| 300 ## - Physische Beschreibung | |
| Umfang | 502 S. |
| 336 ## - Inhaltstyp | |
| Inhaltstypterm | Text |
| Inhaltstypcode | txt |
| Quelle | rdacontent |
| 337 ## - Medientyp | |
| Bezeichnung des Medientyps | B |
| Quelle | rdamedia |
| 599 ## - | |
| -- | 800101.2 |
| -- | zuletzt in Allegro geändert |
| -- | TIT-EDT:2009-08-30@075522 |
| -- | TIT |
| 653 0# - Indexierungsterm - Nicht normiert | |
| Nicht-normierter Term | Sequential |
| 700 10 - Nebeneintragung - Personenname | |
| Personenname | Apt, Krzysztof R.; Boer, Frank S. de; Olderog, Ernst-Rüdiger |
| Code für Beziehungskennzeichnung | aut |
| Ausgeschieden | Verloren | Klassifikation oder Aufstellungssystematik | Beschädigt | Nicht entleihbar | Heimatbibliothek | Aktuelle Bibliothek | Erwerbungsdatum | Inventarnummer | Anzahl Ausleihen | Signatur | Barcode | Letzte Aktivität | Exemplarnummer | Preis bei Buchersatz | Preis gültig von | Koha-Medientyp |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Bibliothek der NORDAKADEMIE | Bibliothek der NORDAKADEMIE | 27.04.2010 | Z09/10/6979 | 3 | EDV 57 | 013055 | 31.07.2024 | 1 | 74.85 | 27.04.2010 | Bücher |