Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, ... (Lecture Notes in Computer Science, 10886) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.
"synopsis" may belong to another edition of this title.
Search results for Software Engineering and Formal Methods: 16th International...
Stock Image
Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, ... Computer Science and General Issues)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020112694
Seller Image
Software Engineering and Formal Methods : 16th International Conference, Sefm 2018, Held As Part of Staf 2018, Toulouse, France, June 27?29, 2018, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 32771233-n
Seller Image
Software Engineering and Formal Methods : 16th International Conference, Sefm 2018, Held As Part of Staf 2018, Toulouse, France, June 27?29, 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 # 32771233
Stock Image
Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, ... Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783319929699_new
Buy New
£ 49.30
Shipping:
£ 11.98
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings (Lecture Notes in Computer Science)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783319929699
Buy New
£ 47.81
Shipping:
£ 15.49
From United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Software Engineering and Formal Methods : 16th International Conference, Sefm 2018, Held As Part of Staf 2018, Toulouse, France, June 27?29, 2018, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 32771233-n
Buy New
£ 49.29
Shipping:
£ 15
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Software Engineering and Formal Methods
Published by
Springer International Publishing Mai 2018, 2018
ISBN 10: 3319929690
ISBN 13: 9783319929699
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 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse. 320 pp. Englisch. Seller Inventory # 9783319929699
Stock Image
Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27?29, 2018, . Computer Science and General Issues)
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 # 26376480825
Seller Image
Software Engineering and Formal Methods : 16th International Conference, Sefm 2018, Held As Part of Staf 2018, Toulouse, France, June 27?29, 2018, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 32771233
Buy Used
£ 55.73
Shipping:
£ 15
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27?29, 2018, . Computer Science and General Issues)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 369564646