| Typ des Eintrags: |
Buch
|
| Erschienen: |
2012 |
| Herausgeber: |
Hähnle, Reiner ; Knoop, Jens ; Margaria, Tiziana ; Schreiner, Dietmar ; Steffen, Bernhard |
| Art des Eintrags: |
Bibliographie |
| Titel: |
Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers |
| Sprache: |
Deutsch |
| Publikationsjahr: |
2012 |
| Ort: |
Berlin, Heidelberg |
| Verlag: |
Springer |
| Reihe: |
Communications in Computer and Information Science |
| Band einer Reihe: |
336 |
| DOI: |
10.1007/978-3-642-34781-8 |
| Fachbereich(e)/-gebiet(e): |
20 Fachbereich Informatik
20 Fachbereich Informatik > Software Engineering |
| Hinterlegungsdatum: |
27 Apr 2018 10:53 |
| Letzte Änderung: |
18 Mär 2021 12:48 |
| PPN: |
|
| Export: |
|
| Suche nach Titel in: |
TUfind oder in Google |
 |
Redaktionelle Details anzeigen |
Drucken
Impressum