Ergebnisse filtern
-
- 3
- 2
-
- 2
- 2
- 1
-
- 5
- 2
-
- 1
- 2
- 2
-
- 1
- 4
-
- 5
-
- 5
-
- 5
-
Piterman Hardware and Software: Verification and Testing
11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-26287-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark50,28 € (inkl. MwSt.)
sofort verfügbar
-
Piterman Hardware and Software: Verification and Testing
11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-26286-4Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Piterman Extending Temporal Logic with Omega-automata
The Automata Theoretic Techniques behind PSL Model CheckingErscheinungsjahr 2009Verlag: LAP LAMBERT Academic PublishingISBN: 978-3-8383-2206-3Medium: Buch49,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Piterman / Smolka Tools and Algorithms for the Construction and Analysis of Systems
19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-36742-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Smolka / Piterman Tools and Algorithms for the Construction and Analysis of Systems
19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-36741-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
