Lahav Ori (59 results)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 62.42
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Rarewaves USA, HEBRON, KY, U.S.A.Rarewaves USA
Contact seller5-star sellerCondition: New
£ 64.46
Free ShippingShips within U.S.A.Quantity: Over 20 available
Paperback. Condition: New. This book provides chemical concepts as well as crucial steps for inorganic water and wastewater treatment. Examples and tools help to understand and to guide through industrial and natural water process engineering. Chemical and environmental engineers, researchers and professionals, as well as students benefit from this concise and explanatory book.…
Language: English
Published by Springer International Publishing AG, Cham, 2024
- Softcover
- First Edition
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
£ 64.53
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: new. Paperback. The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows:Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning; Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy; The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. program and system verification; Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…
- Softcover
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: New
£ 69.62
Free ShippingShips within U.S.A.Quantity: 15 available
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
£ 67.69
£ 2.24 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 68.16
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: New
£ 64.37
£ 5.02 shippingShips from United Kingdom to U.S.A.Quantity: 15 available
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
- Softcover
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
£ 67.60
£ 5.67 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 64.19
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 254 pages. 9.25x6.75x0.75 inches. In Stock.
Verification, Model Checking, and Abstract Interpretation : 25th International Conference, Vmcai 2024, London, On, Canada, January 15-16, 2024, Proceedings
Dimitrova, Rayna (EDT); Lahav, Ori (EDT); Wolff, Sebastian (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 76.84
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 64.14
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Verification, Model Checking, and Abstract Interpretation : 25th International Conference, Vmcai 2024, London, On, Canada, January 15-16, 2024, Proceedings
Dimitrova, Rayna (EDT); Lahav, Ori (EDT); Wolff, Sebastian (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 79.40
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Verification, Model Checking, and Abstract Interpretation : 25th International Conference, Vmcai 2024, London, On, Canada, January 15-16, 2024, Proceedings
Dimitrova, Rayna (EDT); Lahav, Ori (EDT); Wolff, Sebastian (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 79.99
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 69.71
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Verification, Model Checking, and Abstract Interpretation : 25th International Conference, Vmcai 2024, London, On, Canada, January 15-16, 2024, Proceedings
Dimitrova, Rayna (EDT); Lahav, Ori (EDT); Wolff, Sebastian (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 84.89
£ 1.97 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
£ 84.62
£ 2.24 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
£ 84.62
£ 2.24 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Verification, Model Checking, and Abstract Interpretation : 25th International Conference, Vmcai 2024, London, On, Canada, January 15-16, 2024, Proceedings
Dimitrova, Rayna (EDT); Lahav, Ori (EDT); Wolff, Sebastian (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 69.97
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
£ 88.02
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. This book provides chemical concepts as well as crucial steps for inorganic water and wastewater treatment. Examples and tools help to understand and to guide through industrial and natural water process engineering. Chemical and environmental engineers, researchers and professionals, as well as students benefit from this concise and explanatory book.…
Language: English
Published by Springer International Publishing AG, CH, 2024
- Softcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
£ 92.17
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. 1st ed. 2024. The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows:Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning; Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy.…
Verification, Model Checking, and Abstract Interpretation : 25th International Conference, Vmcai 2024, London, On, Canada, January 15-16, 2024, Proceedings
Dimitrova, Rayna (EDT); Lahav, Ori (EDT); Wolff, Sebastian (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 78.13
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Verification, Model Checking, and Abstract Interpretation : 25th International Conference, Vmcai 2024, London, On, Canada, January 15-16, 2024, Proceedings
Dimitrova, Rayna (EDT); Lahav, Ori (EDT); Wolff, Sebastian (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 78.13
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Verification, Model Checking, and Abstract Interpretation : 25th International Conference, Vmcai 2024, London, On, Canada, January 15-16, 2024, Proceedings
Dimitrova, Rayna (EDT); Lahav, Ori (EDT); Wolff, Sebastian (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 78.31
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Rarewaves USA United, HEBRON, KY, U.S.A.Rarewaves USA United
Contact seller5-star sellerCondition: New
£ 64.15
£ 37.34 shippingShips within U.S.A.Quantity: Over 20 available
Paperback. Condition: New. This book provides chemical concepts as well as crucial steps for inorganic water and wastewater treatment. Examples and tools help to understand and to guide through industrial and natural water process engineering. Chemical and environmental engineers, researchers and professionals, as well as students benefit from this concise and explanatory book.…
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 104.26
£ 2.98 shippingShips within U.S.A.Quantity: 4 available
Condition: New. 1st ed. 2024 edition NO-PA16APR2015-KAP.
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 104.52
£ 2.98 shippingShips within U.S.A.Quantity: 4 available
Condition: New. 1st ed. 2024 edition NO-PA16APR2015-KAP.
- Softcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 100.98
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 3 available
Condition: New. pp. 254.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 82.08
£ 29.17 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024.The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows:Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning;Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy. …
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 82.08
£ 29.17 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024.The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows:Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning;Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy. …
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, Vmcai 2024, London, On, Canada, January 15-16, 2024, Proceedings
Dimitrova, Rayna (Editor)/ Lahav, Ori (Editor)/ Wolff, Sebastian (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 101.01
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 358 pages. 9.25x6.10x0.75 inches. In Stock.
