Items related to Formal Methods and Software Engineering: 9th International...
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November ... (Lecture Notes in Computer Science, 4789) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. The papers are organized in topical sections.
"synopsis" may belong to another edition of this title.
Search results for Formal Methods and Software Engineering: 9th International...
Stock Image
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November . / 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. Seller Inventory # UTD14a-0167
Quantity: 1 available
Stock Image
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November ... (Lecture Notes in Computer Science, 4789)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020176634
Quantity: Over 20 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. 400. Seller Inventory # 26304946
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. 400 Illus. Seller Inventory # 7543021
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. 400. Seller Inventory # 18304952
Quantity: 1 available
Stock Image
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November ... (Lecture Notes in Computer Science, 4789)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540766483_new
Quantity: Over 20 available
Stock Image
Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 1
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540766483
Quantity: 10 available
Stock Image
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, Icfem 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
Published by
Springer-Verlag New York Inc, 2008
ISBN 10: 3540766480
ISBN 13: 9783540766483
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 1st edition. 387 pages. 9.00x6.00x1.00 inches. In Stock. Seller Inventory # x-3540766480
Quantity: 2 available
Seller Image
Formal Methods and Software Engineering
Published by
Springer Berlin Heidelberg, 2007
ISBN 10: 3540766480
ISBN 13: 9783540766483
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented wer. Seller Inventory # 4900508
Quantity: Over 20 available
Stock Image
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November . (Lecture Notes in Computer Science)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. Like New. book. Seller Inventory # ERICA75835407664805
Quantity: 1 available