Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "120699087"
Treffer 9 von 21
|
|
| Link zu diesem Datensatz | https://d-nb.info/969487452 |
| Titel | A coverage measure for bounded model checking / Paul Molitor and Silvio Ruppe. [Ed.: Professors and Private Docents of the Department of Mathematics and Computer Science, Martin Luther University Halle-Wittenberg. Martin-Luther-Universität Halle-Wittenberg, Fachbereich Mathematik und Informatik] |
| Person(en) |
Molitor, Paul (Verfasser) Ruppe, Silvio (Verfasser) |
| Verlag | Halle : Univ., Fachbereich Mathematik und Informatik |
| Zeitliche Einordnung | Erscheinungsdatum: 2003 |
| Umfang/Format | 29 S. ; 30 cm |
| ISBN/Einband/Preis | geh. |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Martin-Luther-Universität Halle-Wittenberg. Fachbereich für Mathematik und Informatik: Report ; No. 2003,12 : Reports of the Institute of Computer Science |
| Sachgruppe(n) | 510 Mathematik |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 2003 B 20375
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2003 B 20375
Bereitstellung in Leipzig |
Treffer 9 von 21
Administration
