Ergebnisse filtern
-
- 2
- 1
-
- 2
- 1
-
- 2
- 1
-
- 3
-
- 3
-
- 3
-
- 3
-
Graf / Viswanathan Formal Techniques for Distributed Objects, Components, and Systems
35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-319-19194-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Graf / Viswanathan Formal Techniques for Distributed Objects, Components, and Systems
35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, ProceedingsErscheinungsjahr 2015Verlag: Springer International PublishingISBN: 978-3-319-19195-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Cha / Choi / Kim Automated Technology for Verification and Analysis
6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-88386-9Medium: 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
