FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science, 4085)
ISBN 10: 3540372156 ISBN 13: 9783540372158
Published by Springer, 2006
New
Soft cover
From
Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since August 30, 2024
This book is temporarily unavailable. We've listed similar copies below.
About this Item
Description:
SUPER FAST SHIPPING. Seller Inventory # 9783540372158
Synopsis:
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: FM 2006: Formal Methods: 14th International ...
Publisher: Springer
Publication Date: 2006
Binding: Soft cover
Condition: New
Top Search Results from the AbeBooks Marketplace
Stock Image
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)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding. Seller Inventory # UTD14a-1743
Stock Image
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
Seller: online-buch-de, Dozwil, Switzerland
Seller rating 5 out of 5 stars
Jun 02, 2010. Condition: gebraucht; sehr gut. praktisch wie neu. Seller Inventory # 45-7-3
Buy Used
US$ 79.62
Shipping:
US$ 41.90
From Switzerland to U.S.A.
Quantity: 1 available
Stock Image
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)
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-240586
Stock Image
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)
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # ABNR-85707
Stock Image
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science, 4085)
Seller: ALLBOOKS1, Direk, SA, Australia
Seller rating 5 out of 5 stars
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Seller Inventory # SHAK240586
Stock Image
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science, 4085)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020165899
Stock Image
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science, 4085)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540372158_new
Buy New
US$ 135.61
Shipping:
US$ 15.96
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science (4085))
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA77335403721566
Buy Used
US$ 139.99
Shipping:
US$ 33.31
From United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
FM 2006: Formal Methods
Published by
Springer Berlin Heidelberg, 2006
ISBN 10: 3540372156
ISBN 13: 9783540372158
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: 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. Seller Inventory # 4888428
Buy New
US$ 142.24
Shipping:
US$ 57.03
From Germany to U.S.A.
Quantity: Over 20 available
Stock Image
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science, 4085)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783540372158