Items related to Model Checking Software: 26th International Symposium,...
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings: 11636 (Lecture Notes in Computer Science, 11636) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.
The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
"synopsis" may belong to another edition of this title.
Search results for Model Checking Software: 26th International Symposium,...
Seller Image
Model Checking Software : 26th International Symposium, Spin 2019, Beijing, China, July 15?16, 2019, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 38457206-n
Quantity: Over 20 available
Stock Image
Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783030309220
Quantity: 10 available
Stock Image
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings (Theoretical Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030309220_new
Quantity: Over 20 available
Seller Image
Model Checking Software : 26th International Symposium, Spin 2019, Beijing, China, July 15?16, 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 # 38457206
Quantity: Over 20 available
Seller Image
Model Checking Software
Published by
Springer International Publishing Sep 2019, 2019
ISBN 10: 3030309223
ISBN 13: 9783030309220
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 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysisof software; formal analysis for modeling languages, such as UML/state charts;formal specification languages, temporal logic, design-by-contract; model checking,automated theorem proving, including SAT and SMT; verifying compilers;abstraction and symbolic execution techniques; and much more. 272 pp. Englisch. Seller Inventory # 9783030309220
Quantity: 2 available
Seller Image
Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15¿16, 2019, Proceedings
Published by
Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030309223
ISBN 13: 9783030309220
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysisof software; formal analysis for modeling languages, such as UML/state charts;formal specification languages, temporal logic, design-by-contract; model checking,automated theorem proving, including SAT and SMT; verifying compilers;abstraction and symbolic execution techniques; and much more. Seller Inventory # 9783030309220
Quantity: 1 available
Seller Image
Model Checking Software : 26th International Symposium, Spin 2019, Beijing, China, July 15?16, 2019, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 38457206-n
Quantity: Over 20 available
Seller Image
Model Checking Software
Published by
Springer International Publishing, 2019
ISBN 10: 3030309223
ISBN 13: 9783030309220
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selecte. Seller Inventory # 385699765
Quantity: Over 20 available
Seller Image
Model Checking Software : 26th International Symposium, Spin 2019, Beijing, China, July 15?16, 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 # 38457206
Quantity: Over 20 available
Stock Image
Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-19, 2019, Proceedings
Published by
Springer-Verlag New York Inc, 2019
ISBN 10: 3030309223
ISBN 13: 9783030309220
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 350 pages. 9.25x6.10x0.63 inches. In Stock. Seller Inventory # x-3030309223
Quantity: 2 available