Items related to Formal Methods and Software Engineering: 21st International...
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. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Seller Inventory # 3030324087-11-1
Quantity: 1 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: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 38609017-n
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, ... (Programming and Software Engineering)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783030324087
Quantity: 1 available
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
Quantity: Over 20 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: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 38609017
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, ... (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
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
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
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
Quantity: 2 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
Quantity: 4 available