Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: per="Schulte," AND per="Wilhelm" AND Catalog=dnb
Treffer 259 von 268
|
|
| Link zu diesem Datensatz | https://d-nb.info/1100409173 |
| Titel | Model Checking : Grundlagen und Praxiserfahrungen / von Ralf Buschermöhle, Mark Brörkens, Ingo Brückner, Werner Damm, Wilhelm Hasselbring, Bernhard Josko, Christoph Schulte, Thomas Wolf |
| Person(en) |
Buschermöhle, Ralf (Verfasser) Brörkens, Mark (Mitwirkender) Brückner, Ingo (Mitwirkender) Damm, Werner (Mitwirkender) Hasselbring, Wilhelm (Mitwirkender) Josko, Bernhard (Mitwirkender) Schulte, Christoph (Mitwirkender) Wolf, Thomas (Mitwirkender) |
| Organisation(en) | SpringerLink (Online service) (Herausgebendes Organ) |
| Umfang/Format | Online-Ressource : online resource. |
| Persistent Identifier |
URN: urn:nbn:de:1111-201605175587 DOI: 10.1007/s00287-004-0381-1 |
| URL | http://dx.doi.org/10.1007/s00287-004-0381-1 |
| Zeitliche Einordnung | Erscheinungsdatum: 2004 |
| Sprache(n) | Deutsch (ger) |
| Beziehungen | In: Informatik-Spektrum (Bd. 27, 1.4.2004, Nr. 2, date:4.2004: 146-158) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 259 von 268
Administration
