9783030775421 - Rigorous State-based Methods: 8th International Conference, Abz 2021, Ulm, Germany, June 9–11, 2021, Proceedings: 12709 (lecture Notes in Computer Science, 12709) (17 results)

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 68.68
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.

- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 61.04
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.

- Softcover
Seller: Chiron Media, Wallingford, , United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 58.09
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 75.01
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: New.

- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 71.06
£ 9.07 shippingShips from Ireland to U.S.A.Quantity: 15 available
Condition: New.

- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 78.31
£ 2.97 shippingShips within U.S.A.Quantity: 4 available
Condition: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.

- Softcover
Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 75.63
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 177 pages. 9.25x6.10x0.38 inches. In Stock.

- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 85.51
£ 7.83 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.13
£ 53.07 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 8th International Conference onRigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID…-19 pandemic.The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 52.78
£ 60.48 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Rigorous State-Based Methods | 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings | Alexander Raschke (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2021 | Springer | EAN 9783030775421 | Verantwortliche Person für die EU: Springer Verlag Gmb…H, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: New
£ 94.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: New. New. book.

- Softcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller3-star sellerCondition: New
£ 48.27
£ 4.75 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.

Language: English
Published by Springer International Publishing Mai 2021 2021
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 57.13
£ 19.87 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 8th International Conference onRigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format…due to the COVID-19 pandemic.The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z. 180 pp. Englisch.

- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, , United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 78.75
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand.

- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 81.83
£ 8.60 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND.

Language: English
Published by Springer, Berlin|Springer International Publishing|Springer 2021
- Softcover
- Print on Demand
Seller: moluna, Greven, , Germanymoluna
Contact seller5-star sellerCondition: New
£ 50.86
£ 42.33 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. Th…ey deal with state-based and machine-based formal methods, mainly.

- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 57.13
£ 51.84 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Regular Research Articles.- Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams.- Towards ASM-based automated formal verification of security protocols.- Verifying System-level Security of a Smar…t Ballot Box.- Proving the safety of a Sliding Window Protocol with Event B.- Event-B formalization of Event-B contexts.- Validation of Formal Models by Timed Probabilistic Simulation.- Short Articles.- Sterling: A Web-based Visualizer for Relational Modeling Languages.- Extending ASMETA with time features.- About the Concolic Execution and Symbolic ASM Function Promotion in CASM.- Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection.- The CamilleX Framework for the Rodin Platform.- Extensible Record Structures in Event-B.- Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS using Event-B.- Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application.- Short Articlesof the PhD-Symposium (Work in Progress).- Formal Meta Engineering Event-B: Extension and Reasoning - The EB4EB Framework.- A modeling and verification framework for security protocols.- Formalizing the Institution for Event-B in the Coq Proof Assistant.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Englisch.