FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings: 4085 (Programming and Software Engineering) - Softcover
Inhaltsangabe
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für FM 2006: Formal Methods: 14th International Symposium...
Beispielbild für diese ISBN
Fm 2006: Formal Methods: 14th International Symposium On Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (lecture Notes In Computer Science / Programming And Software Engineering)
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Artikel-Nr. ABNR-85707
Beispielbild für diese ISBN
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science, 4085, Band 4085) Misra, Jayadev; Nipkow, Tobias and Sekerinski, Emil
Anbieter: online-buch-de, Dozwil, Schweiz
Verkäuferbewertung 5 von 5 Sternen
Paperback Jun 02, 2010. Zustand: gebraucht; sehr gut. praktisch wie neu. Artikel-Nr. 45-7-3
Gebraucht kaufen
EUR 66,41
Versand:
EUR 36,00
Von Schweiz nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
FM 2006: Formal Methods
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Proceedings of the 14th International Symposium on Formal Methods, FM 2006Presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentationsCoverage includes interactive verifi. Artikel-Nr. 4888428
Neu kaufen
EUR 118,64
Versand:
EUR 48,99
Von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
FM 2006: Formal Methods: 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 1st edition. 620 pages. 9.00x6.00x0.75 inches. In Stock. Artikel-Nr. x-3540372156
Neu kaufen
EUR 159,27
Versand:
EUR 14,23
Von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Verlag:
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2006
ISBN 10: 3540372156
ISBN 13: 9783540372158
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware - This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more. Artikel-Nr. 9783540372158
Neu kaufen
EUR 146,51
Versand:
EUR 64,72
Von Deutschland nach USA
Anzahl: 2 verfügbar