Items related to Formal Methods and Software Engineering: 8th International...
Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, ... (Lecture Notes in Computer Science, 4260) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with 3 keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification, internetware and Web-based systems, concurrent, communicating, timing and probabilistic systems, object and component orientation, testing and model checking, tools, fault-tolerance and security, as well as specification and refinement.
"synopsis" may belong to another edition of this title.
Product Description
Formal Methods and Software Engineering Constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. This book features the papers addressing issues in formal methods and their applications in software engineering.
"About this title" may belong to another edition of this title.
Buy New
View this item
£ 62.39
FREE shipping from U.S.A. to United Kingdom
Destination, rates & speedsSearch results for Formal Methods and Software Engineering: 8th International...
Stock Image
Formal Methods 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-156734
Quantity: 1 available
Stock Image
Formal Methods 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 # ABEJUNE24-341301
Quantity: 1 available
Stock Image
Formal Methods and Software Engineering
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 796 Illus. Seller Inventory # 7545611
Quantity: 1 available
Stock Image
Formal Methods and Software Engineering
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 796. Seller Inventory # 26302292
Quantity: 1 available
Stock Image
Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings (Lecture Notes in Computer Science, 4260)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540474609_new
Quantity: Over 20 available
Stock Image
Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings (Lecture Notes in Computer Science)
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. Text block clean and unmarked. Tight binding. Seller Inventory # UTD1520265
Quantity: 1 available
Stock Image
Formal Methods and Software Engineering
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 796. Seller Inventory # 18302302
Quantity: 1 available
Seller Image
Formal Methods and Software Engineering
Published by
Springer Berlin Heidelberg, 2006
ISBN 10: 3540474609
ISBN 13: 9783540474609
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with three keynote talks were carefully re. Seller Inventory # 4891218
Quantity: Over 20 available
Seller Image
Formal Methods and Software Engineering
Published by
Springer Berlin Heidelberg Okt 2006, 2006
ISBN 10: 3540474609
ISBN 13: 9783540474609
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with three keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering. 796 pp. Englisch. Seller Inventory # 9783540474609
Quantity: 2 available
Seller Image
Formal Methods and Software Engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
Published by
Springer Berlin Heidelberg, 2006
ISBN 10: 3540474609
ISBN 13: 9783540474609
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with three keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering. Seller Inventory # 9783540474609
Quantity: 1 available