Ergebnisse filtern
-
- 6
-
- 3
- 2
- 1
-
- 6
-
- 4
- 2
-
- 6
-
- 6
-
- 6
Schaltungsentwurf
-
Biere / Vos / Nahir Hardware and Software: Verification and Testing
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers2013Verlag: SpringerISBN: 978-3-642-39610-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Eder / Shehory / Louren?o Hardware and Software: Verification and Testing
7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers2012Verlag: SpringerISBN: 978-3-642-34187-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kucera / Henzinger / Antos Mathematical and Engineering Methods in Computer Science
8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers2013Verlag: SpringerISBN: 978-3-642-36044-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Naumann / Gheyi Formal Methods: Foundations and Applications
15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings2012Verlag: SpringerISBN: 978-3-642-33295-1Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bultan / Hsiung Automated Technology for Verification and Analysis
9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24371-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pecheur / Dierkes Formal Methods for Industrial Critical Systems
18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-41009-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort