Leveraging Applications of Formal Methods, Verification and Validation : Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part II /
Obra en dos volúmenes que reúne las ponencias del sexto Simposio internacional sobre el aprovechamiento de las aplicaciones de métodos formales, verificación y validación, celebrado en Corfú, Grecia, en octubre de 2014. Las contribuciones que se incluyen en esta segunda parte abordan líneas temática...
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , |
| Materyal Türü: | Konferans Sunumu Kitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Cham, Suiza :
Springer,
2014, c2014
|
| Seri Bilgileri: | (Lecture Notes in Computer Science ;
8803) |
| Konular: | |
| Online Erişim: | Ver documento en línea |
Internet
Ver documento en línea| Yer Numarası: |
Libro en línea
|
||
|---|---|---|---|
| Ejemplar 561596-1 |
Disponible
Préstamo en línea
|
Koleksiyon:
Libros electrónicos en línea
|
Notlar:
Consultar en línea
|