Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=005*
Treffer 10506 von 10713
|
|
| Link zu diesem Datensatz | https://d-nb.info/977563111 |
| Titel | Bounded model checking of pointer programs / W. Charatonik ; L. Georgieva ; P. Maier. [Max-Planck-Institut für Informatik] |
| Person(en) |
Charatonik, Witold (Verfasser) Georgieva, Lilia (Verfasser) Maier, Patrick (Verfasser) |
| Verlag | Saarbrücken : MPI Informatik, Bibliothek & Dokumentation |
| Zeitliche Einordnung | Erscheinungsdatum: 2005 |
| Umfang/Format | 28 S. : graph. Darst. ; 30 cm |
| ISBN/Einband/Preis | kart. |
| Identifikationsnummern | Reportnummer: MPI I 2005 2 002 |
| Sprache(n) | Englisch (eng) |
| DDC-Notation | 005.1015113 [DDC22ger] |
| Sachgruppe(n) | 004 Informatik |
| Frankfurt |
Signatur: 2006 B 10947
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2006 B 788
Bereitstellung in Leipzig |
Treffer 10506 von 10713
Administration
