Formale Modelle der Softwareentwicklung : (Titelsatznr. 9676)
| 000 -Satzkennung | |
|---|---|
| Kontrollfeld mit fester Länge | 00870cam a22002771a 4500 |
| 001 - Kontrollnummer | |
| Kontrollfeld | NAK29022 |
| 005 - Datum und Zeit der letzten Transaktion | |
| Kontrollfeld | 20240731003834.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 | 091028s2009||||||| Deu|| |
| 020 ## - Internationale Standardbuchnummer | |
| Internationale Standardbuchnummer | 9783834806697 |
| Bezugsbedingungen | Spende |
| 041 ## - Sprachcode | |
| Sprachcode des Textes/der Tonspur oder des separaten Titels | Deu |
| 072 #7 - Code der Sacherschließungskategorie | |
| Code der Sacherschließungskategorie | Programme |
| Quelle | nak |
| 090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN) | |
| Notation (OCLC) (R) ; Notation, CALL (RLIN) (NR) | EDV 51 |
| 100 0# - Haupteintragung - Personenname | |
| Personenname | Kleuker, Stephan |
| 245 00 - Titel | |
| Titel | Formale Modelle der Softwareentwicklung : |
| Zusatz zum Titel | Model-Checking, Verifikation, Analyse und Simulation |
| Verfasserangabe etc. | Stephan Kleuker |
| 250 ## - Ausgabebezeichnung | |
| Ausgabebezeichnung | 1. Aufl. |
| 260 ## - Publikation, Vertrieb usw. | |
| Erscheinungsort, Vertriebsort etc. | Wiesbaden |
| Name des Verlags, des Vertriebs etc. | Vieweg+Teubner |
| Erscheinungsjahr, Vertriebsjahr etc. | 2009 |
| 300 ## - Physische Beschreibung | |
| Umfang | 301 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@080104 |
| -- | TIT |
| 653 0# - Indexierungsterm - Nicht normiert | |
| Nicht-normierter Term | Modelle |
| 653 0# - Indexierungsterm - Nicht normiert | |
| Nicht-normierter Term | Softwareentwicklung |
| 700 10 - Nebeneintragung - Personenname | |
| Personenname | Kleuker, Stephan |
| 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 | 28.10.2009 | Z09/10/6566 | 4 | EDV 51 | 012640 | 31.07.2024 | 1 | 0.00 | 28.10.2009 | Bücher | |||||
| Bibliothek der NORDAKADEMIE | Bibliothek der NORDAKADEMIE | 18.10.2010 | Z10/11/7309 | 9 | EDV 51 | 013385 | 31.07.2024 | 1 | 0.00 | 18.10.2010 | Bücher |