Ergebnisse filtern
- Medium
-
- 1
- Erscheinungsjahr
-
- 1
- Autoren
-
- 2
- 1
- 2
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 2
- 1
- 4
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 3
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 4
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 13
- 1
- 4
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 2
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 2
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- Verlag
-
- 1
- Preis
-
- 1
- Sprachen
-
- 1
- Verfügbarkeit
-
- 1
- Katalog
-
- 1
Artikel pro Seite:
Sortierung nach:
-
McMillan / Rival Verification, Model Checking, and Abstract Interpretation
15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54013-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
Artikel pro Seite:
Sortierung nach:
vorherige Seite
nächste Seite
Artikel pro Seite:
Sortierung nach:
Bitte ändern Sie das Passwort