Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I - libro nuevo
2012, ISBN: 9783642340260
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Val… Más…
hive.co.uk No. 9783642340260. Gastos de envío:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., más gastos de envío Details... |
2012, ISBN: 9783642340260
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Val… Más…
Springer.com Nr. 978-3-642-34026-0. Gastos de envío:Worldwide free shipping, , DE. (EUR 0.00) Details... |
2012, ISBN: 9783642340260
Leveraging Applications of Formal Methods Verification and Validation - 5th International Symposium ISoLA 2012 Heraklion Crete Greece October 15-18 2012 Proceedings Part I: ab 53.49 € eBo… Más…
eBook.de Gastos de envío:in stock, , , DE. (EUR 0.00) Details... |
2012, ISBN: 9783642340260
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berli… Más…
lehmanns.de Gastos de envío:Download sofort lieferbar. (EUR 9.95) Details... |
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I - libro nuevo
2012, ISBN: 9783642340260
; EPUB; Computing > Operating systems, Elsevier Health Sciences APAC
hive.co.uk No. 9783642340260. Gastos de envío:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., más gastos de envío Details... |
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I - libro nuevo
2012, ISBN: 9783642340260
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Val… Más…
2012, ISBN: 9783642340260
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Val… Más…
2012
ISBN: 9783642340260
Leveraging Applications of Formal Methods Verification and Validation - 5th International Symposium ISoLA 2012 Heraklion Crete Greece October 15-18 2012 Proceedings Part I: ab 53.49 € eBo… Más…
2012, ISBN: 9783642340260
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berli… Más…
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I - libro nuevo
2012, ISBN: 9783642340260
; EPUB; Computing > Operating systems, Elsevier Health Sciences APAC
Datos bibliográficos del mejor libro coincidente
Detalles del libro - Leveraging Applications of Formal Methods, Verification and Validation
EAN (ISBN-13): 9783642340260
Año de publicación: 2012
Editorial: Springer Berlin Heidelberg
Libro en la base de datos desde 2017-04-18T16:18:37-05:00 (Mexico City)
Página de detalles modificada por última vez el 2023-12-02T13:43:09-06:00 (Mexico City)
ISBN/EAN: 9783642340260
ISBN - escritura alterna:
978-3-642-34026-0
Mode alterno de escritura y términos de búsqueda relacionados:
Título del libro: validation, heraklion, leveraging
Más, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
9783030837228 Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo (Tiziana Margaria; Bernhard Steffen)
- 9783030837228 Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo (Tiziana Margaria; Bernhard Steffen)
- 9783642165573 Leveraging Applications of Formal Methods, Verification, and Validation (Margaria, Tiziana|Steffen, Bernhard)
- 9783642165603 Leveraging Applications of Formal Methods, Verification, and Validation (Tiziana Margaria)
< para archivar...