Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, ... (Programming and Software Engineering) - Softcover
Synopsis
This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019.
The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods.
"synopsis" may belong to another edition of this title.
Search results for Formal Methods and Software Engineering: 21st International...
Stock Image
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5â"9, 2019, . (Lecture Notes in Computer Science, 11852)
Published by
Springer (edition 1st ed. 2019), 2019
ISBN 10: 3030324087
ISBN 13: 9783030324087
Used
Paperback
Seller: BooksRun, Philadelphia, PA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. 1st ed. 2019. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience. Seller Inventory # 3030324087-11-1
Seller Image
Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, Icfem 2019, Shenzhen, China, November 5-9, 2019, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 38609017-n
Stock Image
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, ... (Programming and Software Engineering)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020013625
Seller Image
Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, Icfem 2019, Shenzhen, China, November 5-9, 2019, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 38609017
Stock Image
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, ... (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030324087_new
Buy New
US$ 68.15
Shipping:
US$ 15.60
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783030324087
Buy New
US$ 64.46
Shipping:
US$ 20.17
From United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, Icfem 2019, Shenzhen, China, November 5-9, 2019, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 38609017-n
Buy New
US$ 67.79
Shipping:
US$ 19.53
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Formal Methods and Software Engineering
Published by
Springer International Publishing Okt 2019, 2019
ISBN 10: 3030324087
ISBN 13: 9783030324087
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 proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019.The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods. 552 pp. Englisch. Seller Inventory # 9783030324087
Seller Image
Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, Icfem 2019, Shenzhen, China, November 5-9, 2019, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 38609017
Buy Used
US$ 74.78
Shipping:
US$ 19.53
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5?9, 2019, Proceedings
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26376625451