Reeves Derrick (27 results)
Language: English
Published by CreateSpace Independent Publishing Platform, 2015
- Softcover
Seller: World of Books (was SecondSale), Montgomery, IL, U.S.A.World of Books (was SecondSale)
Contact seller5-star sellerCondition: Used - Good
US$ 3.50
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
Language: English
Published by CreateSpace Independent Publishing Platform, 2015
- Softcover
Seller: World of Books Inc, Montgomery, IL, U.S.A.World of Books Inc
Contact seller2-star sellerCondition: Used - Good
US$ 5.50
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Good.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 18.83
US$ 13.53 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 81 pages. 8.00x5.00x0.19 inches. In Stock.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 18.83
US$ 13.53 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 95 pages. 8.00x5.00x0.22 inches. In Stock.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 18.83
US$ 13.53 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 100 pages. 8.00x5.00x0.23 inches. In Stock.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 16.96
US$ 16.91 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 48 pages. 8.00x5.00x0.11 inches. In Stock.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 18.83
US$ 16.91 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 66 pages. 8.00x5.00x0.15 inches. In Stock.
Abstract State Machines, Alloy, B, Vdm, and Z : Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Derrick, John (EDT); Fitzgerald, John (EDT); Gnesi, Stefania (EDT); Khurshid, Sarfraz (EDT); Leuschel, Michael (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 58.28
US$ 2.64 shippingShips within U.S.A.Quantity: 1 available
Condition: New.
- Softcover
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: New
US$ 60.93
Free ShippingShips within U.S.A.Quantity: 1 available
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
- Softcover
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: New
US$ 59.49
US$ 6.79 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Abstract State Machines, Alloy, B, Vdm, and Z : Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Derrick, John (EDT); Fitzgerald, John (EDT); Gnesi, Stefania (EDT); Khurshid, Sarfraz (EDT); Leuschel, Michael (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 63.83
US$ 2.64 shippingShips within U.S.A.Quantity: 1 available
Condition: As New. Unread book in perfect condition.
Abstract State Machines, Alloy, B, Vdm, and Z : Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Derrick, John (EDT); Fitzgerald, John (EDT); Gnesi, Stefania (EDT); Khurshid, Sarfraz (EDT); Leuschel, Michael (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 59.48
US$ 20.29 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 58.92
US$ 20.95 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 70.77
US$ 15.27 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Abstract State Machines, Alloy, B, Vdm, and Z : Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Derrick, John (EDT); Fitzgerald, John (EDT); Gnesi, Stefania (EDT); Khurshid, Sarfraz (EDT); Leuschel, Michael (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 67.82
US$ 20.29 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Wegmann1855, Zwiesel, GermanyWegmann1855
Contact seller5-star sellerCondition: New
US$ 63.90
US$ 30.10 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Neuware -This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.…
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 93.52
US$ 16.91 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 2012 edition. 393 pages. 9.00x6.25x0.75 inches. In Stock.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 94.09
US$ 35.38 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Neuware - This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.…
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 58.84
US$ 81.20 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Abstract State Machines, Alloy, B, VDM, and Z | Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings | John Derrick (u. a.) | Taschenbuch | xv | Englisch | 2012 | Springer | EAN 9783642308840 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
Language: English
Published by CreateSpace Independent Publishing Platform, 2018
- Softcover
- Print on Demand
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 18.83
US$ 16.91 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 96 pages. 8.00x5.00x0.22 inches. This item is printed on demand.
Language: English
Published by CreateSpace Independent Publishing Platform, 2020
- Softcover
- Print on Demand
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 21.09
US$ 16.91 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 135 pages. 9.00x6.00x0.31 inches. This item is printed on demand.
- Softcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
US$ 55.22
US$ 7.89 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
- Softcover
- Print on Demand
Seller: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, GermanyRheinberg-Buch Andreas Meier eK
Contact seller5-star sellerCondition: New
US$ 63.90
US$ 26.68 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems. 396 pp. Englisch.…
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 63.90
US$ 26.68 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems. 396 pp. Englisch.…
- Softcover
- Print on Demand
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 82.56
US$ 16.91 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 2012 edition. 393 pages. 9.00x6.25x0.75 inches. In Stock. This item is printed on demand.
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 57.79
US$ 56.83 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Up to date results State of the art research Fast track conference proceedingsThis book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in. …
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 63.90
US$ 69.60 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 396 pp. Englisch.…
