Ergebnisse filtern
-
- 3
- 2
-
- 1
- 2
- 2
-
- 1
- 1
- 1
- 1
- 1
- 5
-
- 1
- 3
- 1
-
- 5
-
- 5
-
- 5
-
- 5
-
Yahav Static Analysis
18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-23701-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yahav Hardware and Software: Verification and Testing
10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-13337-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yahav Static Analysis
18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-23702-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Yahav Hardware and Software: Verification and Testing
10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, ProceedingsErscheinungsjahr 2014Verlag: Springer International PublishingISBN: 978-3-319-13338-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Yahav / Vechev Programming with “Big Code”
1. Auflage 2016Verlag: Now PublishersISBN: 978-1-68083-230-3Medium: Buch51,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort