Knapp Alexander Edt (14 results)

Language: English
Published by Cambridge University Press, 2020
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 53.91
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

Language: English
Published by Cambridge University Press, 2020
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 55.54
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

Critical Systems - Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Ter Beek, Maurice H. (EDT); Gnesi, Stefania (EDT); Knapp, Alexander (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 68.35
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

Language: English
Published by Cambridge University Press, 2020
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 53.66
US$ 20.16 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.

Language: English
Published by Cambridge University Press, 2020
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 60.04
US$ 20.16 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, Rissef 2002, Venice, Italy, October 7-11. 2002 : Revised Papers
Wirsing, Martin (EDT); Knapp, Alexander (EDT); Simonetta, Balsamo (EDT); Rissef 200 (2002 Venice, Italy); Balsamo, Simonetta
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 84.40
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

Critical Systems - Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Ter Beek, Maurice H. (EDT); Gnesi, Stefania (EDT); Knapp, Alexander (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.46
US$ 20.16 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.

Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, Rissef 2002, Venice, Italy, October 7-11. 2002 : Revised Papers
Wirsing, Martin (EDT); Knapp, Alexander (EDT); Simonetta, Balsamo (EDT); Rissef 200 (2002 Venice, Italy); Balsamo, Simonetta
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 76.33
US$ 20.16 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.

Go Where the Bugs Are : Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Ernst, Gidon (EDT); Güdemann, Matthias (EDT); Knapp, Alexander (EDT); Nafz, Florian (EDT); Ortmeier, Frank (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 106.01
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.

Go Where the Bugs Are : Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Ernst, Gidon (EDT); Güdemann, Matthias (EDT); Knapp, Alexander (EDT); Nafz, Florian (EDT); Ortmeier, Frank (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 115.12
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.

Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, Rissef 2002, Venice, Italy, October 7-11. 2002 : Revised Papers
Wirsing, Martin (EDT); Knapp, Alexander (EDT); Simonetta, Balsamo (EDT); Rissef 200 (2002 Venice, Italy); Balsamo, Simonetta
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 173.04
US$ 20.16 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, Rissef 2002, Venice, Italy, October 7-11. 2002 : Revised Papers
Wirsing, Martin (EDT); Knapp, Alexander (EDT); Simonetta, Balsamo (EDT); Rissef 200 (2002 Venice, Italy); Balsamo, Simonetta
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 191.75
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

Critical Systems - Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Ter Beek, Maurice H. (EDT); Gnesi, Stefania (EDT); Knapp, Alexander (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 181.34
US$ 20.16 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

Critical Systems - Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Ter Beek, Maurice H. (EDT); Gnesi, Stefania (EDT); Knapp, Alexander (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 200.01
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.