Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=0*
Treffer 950 von 3777
|
|
| Link zu diesem Datensatz | https://d-nb.info/1050344960 |
| Art des Inhalts | Hochschulschrift |
| Titel | Symbolic Execution of Distributed Systems / Raimondas Sasnauskas |
| Person(en) | Sasnauskas, Raimondas (Verfasser) |
| Ausgabe | 1. Aufl., neue Ausg. |
| Verlag | Aachen : Shaker |
| Zeitliche Einordnung | Erscheinungsdatum: 2013 |
| Umfang/Format | Online-Ressource : 50 Ill. (pdf) |
| Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Sasnauskas, Raimondas: Symbolic execution of distributed systems |
| Hochschulschrift | Zugl.: RWTH Aachen University, Diss., 2013 |
| Persistent Identifier | URN: urn:nbn:de:101:1-201404277298 |
| ISBN/Einband/Preis | 978-3-8440-2159-2 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Reports on Communications and Distributed Systems ; 5 |
| Anmerkungen | Lizenzpflichtig |
| Schlagwörter | Verteiltes System ; Testen ; Bug <Informatik> ; Fehlererkennung ; Testmustergenerierung ; Programmverifikation ; Formale Methode ; Drahtloses Sensorsystem |
| DDC-Notation | 004.360285514 [DDC22ger] |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 950 von 3777
Administration
