Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=0*
Treffer 5338 von 6077
|
|
| Link zu diesem Datensatz | https://d-nb.info/985425121 |
| Art des Inhalts | Hochschulschrift |
| Titel | Verteilende Verfeinerung : Entwurf und Verifikation verteilter Algorithmen mit Petrinetzen / Bixia Wu |
| Person(en) | Wu, Bixia (Verfasser) |
| Verlag | Berlin : Logos-Verl. |
| Zeitliche Einordnung | Erscheinungsdatum: 2007 |
| Umfang/Format | 198 S. : graph. Darst. ; 21 cm |
| Hochschulschrift | Zugl.: Berlin, Humboldt-Univ., Diss., 2007 u.d.T.: Entwurf und Verifikation von Petrinetzmodellen verteilter Algorithmen durch Verfeinerung unverteilter Algorithmen |
| ISBN/Einband/Preis |
978-3-8325-1664-2 kart. : EUR 43.00 (DE), EUR 44.20 (AT), sfr 76.50 3-8325-1664-6 kart. : EUR 43.00 (DE), EUR 44.20 (AT), sfr 76.50 |
| EAN | 9783832516642 |
| Sprache(n) | Deutsch (ger) |
| Schlagwörter | Systementwurf ; Petri-Netz ; Verifikation ; Verteilter Algorithmus ; Aktion <Informatik> ; Verfeinerung |
| DDC-Notation | 004.210151135 [DDC22ger] |
| Sachgruppe(n) | 004 Informatik |
| Weiterführende Informationen | Inhaltstext |
| Frankfurt |
Signatur: 2007 A 69225
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2007 A 87995
Bereitstellung in Leipzig |
Treffer 5338 von 6077
Administration
