Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "118183540"
Treffer 10 von 30
|
|
| Link zu diesem Datensatz | https://d-nb.info/1054228132 |
| Titel | Handbook of Model Checking |
| Person(en) |
Clarke, Edmund M. (Herausgeber) Henzinger, Thomas (Herausgeber) Veith, Helmut (Herausgeber) |
| Ausgabe | Aufl. 2015 |
| Verlag | Cham : Springer International Publishing |
| Zeitliche Einordnung | Erscheinungsdatum: 2015 |
| Umfang/Format | 1000 S. in 1 Teil ; 240 mm x 168 mm |
| Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: ISBN: 9783319105758 |
| ISBN/Einband/Preis |
978-3-319-10574-1 Gb. : ca. EUR 117.69 (DE) (freier Pr.), ca. EUR 120.99 (AT) (freier Pr.), ca. sfr 146.50 (freier Pr.) 3-319-10574-4 |
| Bestellnummer(n) | 12817665 |
| EAN | 9783319105741 |
| Sprache(n) | Englisch (eng) |
| Sachgruppe(n) | 004 Informatik |
| Weiterführende Informationen | Inhaltstext |
| Frankfurt |
Bestand: [Gehoert eindeutig nicht zum Sammelgebiet der Deutschen Nationalbibliothek]
Verlagsinformation |
| Leipzig |
Bestand: [Gehoert eindeutig nicht zum Sammelgebiet der Deutschen Nationalbibliothek]
Verlagsinformation |
Treffer 10 von 30
Administration
