Items related to Formal Methods and Software Engineering: 20th International...
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November ... (Programming and Software Engineering) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018.
The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions.
The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.
"synopsis" may belong to another edition of this title.
Search results for Formal Methods and Software Engineering: 20th International...
Stock Image
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November . (Programming and Software Engineering)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_398003892
Quantity: 1 available
Seller Image
Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, Icfem 2018, Gold Coast, Qld, Australia, November 12-16, 2018, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 33810829-n
Quantity: Over 20 available
Stock Image
Formal Methods and Software Engineering (Paperback)
Published by
Springer Nature Switzerland AG, Cham, 2018
ISBN 10: 3030024490
ISBN 13: 9783030024499
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods. This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783030024499
Quantity: 1 available
Stock Image
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November ... (Programming and Software Engineering)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020002919
Quantity: Over 20 available
Seller Image
Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, Icfem 2018, Gold Coast, Qld, Australia, November 12-16, 2018, 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 # 33810829
Quantity: Over 20 available
Stock Image
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November ... (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030024499_new
Quantity: Over 20 available
Stock Image
Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, Novembe
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783030024499
Quantity: 10 available
Seller Image
Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, Icfem 2018, Gold Coast, Qld, Australia, November 12-16, 2018, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 33810829-n
Quantity: Over 20 available
Seller Image
Formal Methods and Software Engineering
Published by
Springer International Publishing Okt 2018, 2018
ISBN 10: 3030024490
ISBN 13: 9783030024499
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 20th International Conference on Formal Engineering Methods, ICFEM 2018,held in Gold Coast, QLD, Australia, in November 2018.The 22 revised full papers presented together with 14 short papers were carefully reviewed andselected from 66 submissions.The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods. 496 pp. Englisch. Seller Inventory # 9783030024499
Quantity: 2 available
Stock Image
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November . (Programming and Software Engineering)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 1st ed. 2018 edition NO-PA16APR2015-KAP. Seller Inventory # 26376475716
Quantity: 4 available