Model Checking Software 26th (13 results)
Model Checking Software : 26th International Symposium, Spin 2019, Beijing, China, July 15?16, 2019, Proceedings
Biondi, Fabrizio (EDT); Given-wilson, Thomas (EDT); Legay, Axel (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 52.76
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
£ 52.49
£ 2.25 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Model Checking Software : 26th International Symposium, Spin 2019, Beijing, China, July 15?16, 2019, Proceedings
Biondi, Fabrizio (EDT); Given-wilson, Thomas (EDT); Legay, Axel (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 53.46
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Model Checking Software : 26th International Symposium, Spin 2019, Beijing, China, July 15?16, 2019, Proceedings
Biondi, Fabrizio (EDT); Given-wilson, Thomas (EDT); Legay, Axel (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.25
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 59.27
£ 7.95 shippingShips from Ireland to U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 55.95
£ 11.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
Model Checking Software : 26th International Symposium, Spin 2019, Beijing, China, July 15?16, 2019, Proceedings
Biondi, Fabrizio (EDT); Given-wilson, Thomas (EDT); Legay, Axel (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.92
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-19, 2019, Proceedings
Biondi, Fabrizio (Editor)/ Given-wilson, Thomas (Editor)/ Legay, Axel (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 66.00
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 350 pages. 9.25x6.10x0.63 inches. In Stock.
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 73.85
£ 7.87 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 57.26
£ 29.31 shippingShips from Germany to U.S.A.Quantity: 1 available
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.…
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 43.51
£ 58.61 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Model Checking Software | 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings | Fabrizio Biondi (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2019 | Springer | EAN 9783030309220 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
- Softcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used
£ 37.02
£ 87.92 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Hervorragend. Zustand: Hervorragend | Seiten: 272 | Sprache: Englisch | Produktart: Bücher | 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.…
- Softcover
- Print on Demand
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.77
£ 4.99 shippingShips from United Kingdom to U.S.A.Quantity: 20 available
PF. Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.
