Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "136706479"
Treffer 13 von 14
|
|
| Link zu diesem Datensatz | https://d-nb.info/991215516 |
| Titel | The challenge of combining simulation and verification : working groups' report / Gregory Batt ... |
| Person(en) |
Batt, Gregory (Mitwirkender) Bradley, Jeremy T. (Mitwirkender) Ewald, Roland (Mitwirkender) Fages, Franðcois (Mitwirkender) Hermans, Holger (Mitwirkender) Hillston, Jane (Mitwirkender) Kemper, Peter (Mitwirkender) Martens, Alke (Mitwirkender) Mosterman, Pieter (Mitwirkender) Nielson, Flemming (Mitwirkender) Sokolsky, Oleg (Mitwirkender) Uhrmacher, Adelinde (Mitwirkender) |
| Verlag | [Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik] |
| Zeitliche Einordnung | Erscheinungsdatum: [2006] |
| Umfang/Format | Online-Ressource |
| Persistent Identifier | URN: urn:nbn:de:0030-drops-7249 |
| URL | http://drops.dagstuhl.de/opus/volltexte/2006/724/pdf/06161.SWM.Paper.724.pdf (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Dagstuhl seminar proceedings 06161 |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 13 von 14
Administration
