Ergebnisse filtern
-
- 2
- 2
-
- 2
- 2
-
- 4
- 2
- 2
-
- 2
- 2
-
- 4
-
- 4
-
- 4
-
- 4
-
Chakraborty / Mukund Automated Technology for Verification and Analysis
10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-33385-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Mukund / Chakraborty Automated Technology for Verification and Analysis
10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, ProceedingsErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-33386-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Navas / Chakraborty Verified Software. Theories, Tools, and Experiments
11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-41599-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Chakraborty / Navas Verified Software. Theories, Tools, and Experiments
11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected PapersErscheinungsjahr 2020Verlag: Springer International PublishingISBN: 978-3-030-41600-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
