Zurück
Vor
Integrated Formal Methods
Kurzinformation
Sprache:
Englisch
ISBN:
3642307280
Verlag:
Seitenzahl:
360
Auflage:
-
Erschienen:
2012-06-06
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Weitere Zahlungsmöglichkeiten
Beschreibung
Integrated Formal Methods
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies. von Derrick, John und Gnesi, Stefania und Latella, Diego und Treharne, Hele
Produktdetails
Einband:
Kartoniert
Seitenzahl:
360
Erschienen:
2012-06-06
Sprache:
Englisch
EAN:
9783642307287
ISBN:
3642307280
Verlag:
Gewicht:
563 g
Auflage:
-
Verwandte Sachgebiete:
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Neu
53,49 €
Entdecke mehr Gebrauchtes für Dich
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
- Hardcover
- 184 Seiten
- Packt Publishing
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Siriwardena, Prabath
7,42 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl