Kroening Daniel Edt (20 results)

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Barner, Sharon (EDT); Harris, I. (EDT); Kroening, D. (EDT); Raz, Orna (EDT)

Condition: New

£ 43.34

£ 1.93 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Hardware and Software : Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Language: English

Published by Springer, 2011

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: New

£ 44.79

£ 1.93 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Computer Aided Verification : 27th International Conference Cav 2015 San Francisco, Ca, USA, July 18-24 2015, Proceedings

Language: English

Published by Springer, 2015

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Chockler, Hana (EDT); Kroening, Daniel (EDT); Mariani, Leonardo (EDT); Sharygina, Natasha (EDT)

Condition: New

£ 45.91

£ 1.93 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Validation of Evolving Software

Language: English

Published by Springer, 2015

Hardcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Chockler, Hana (EDT); Kroening, Daniel (EDT); Mariani, Leonardo (EDT); Sharygina, Natasha (EDT)

Condition: New

£ 45.91

£ 1.93 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Validation of Evolving Software

Language: English

Published by Springer, 2015

Hardcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Barner, Sharon (EDT); Harris, I. (EDT); Kroening, D. (EDT); Raz, Orna (EDT)

Condition: Used - As new

£ 49.09

£ 1.93 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Hardware and Software : Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Language: English

Published by Springer, 2011

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: Used - As new

£ 50.43

£ 1.93 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Computer Aided Verification : 27th International Conference Cav 2015 San Francisco, Ca, USA, July 18-24 2015, Proceedings

Language: English

Published by Springer, 2015

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Giannakopoulou, Dimitra (EDT); Kroening, Daniel (EDT)

Condition: Used - As new

£ 52.86

£ 1.93 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Verified Software : Theories, Tools and Experiments: 6th International Conference, Vstte 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Language: English

Published by Springer, 2014

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Chockler, Hana (EDT); Kroening, Daniel (EDT); Mariani, Leonardo (EDT); Sharygina, Natasha (EDT)

Condition: New

£ 41.74

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Validation of Evolving Software

Language: English

Published by Springer, 2016

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Chockler, Hana (EDT); Kroening, Daniel (EDT); Mariani, Leonardo (EDT); Sharygina, Natasha (EDT)

Condition: New

£ 58.81

£ 1.93 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Validation of Evolving Software

Language: English

Published by Springer, 2015

Hardcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: New

£ 50.79

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Computer Aided Verification : 27th International Conference Cav 2015 San Francisco, Ca, USA, July 18-24 2015, Proceedings

Language: English

Published by Springer, 2015

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Chockler, Hana (EDT); Kroening, Daniel (EDT); Mariani, Leonardo (EDT); Sharygina, Natasha (EDT)

Condition: New

£ 50.79

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Validation of Evolving Software

Language: English

Published by Springer, 2016

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Chockler, Hana (EDT); Kroening, Daniel (EDT); Mariani, Leonardo (EDT); Sharygina, Natasha (EDT)

Condition: New

£ 50.79

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Validation of Evolving Software

Language: English

Published by Springer, 2015

Hardcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Barner, Sharon (EDT); Harris, I. (EDT); Kroening, D. (EDT); Raz, Orna (EDT)

Condition: Used - As new

£ 53.50

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Hardware and Software : Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Language: English

Published by Springer, 2011

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: Used - As new

£ 53.98

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Computer Aided Verification : 27th International Conference Cav 2015 San Francisco, Ca, USA, July 18-24 2015, Proceedings

Language: English

Published by Springer, 2015

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Barner, Sharon (EDT); Harris, I. (EDT); Kroening, D. (EDT); Raz, Orna (EDT)

Condition: Used - As new

£ 55.88

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Hardware and Software : Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Language: English

Published by Springer, 2011

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Giannakopoulou, Dimitra (EDT); Kroening, Daniel (EDT)

Condition: New

£ 56.53

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Verified Software : Theories, Tools and Experiments: 6th International Conference, Vstte 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Language: English

Published by Springer, 2014

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Giannakopoulou, Dimitra (EDT); Kroening, Daniel (EDT)

Condition: Used - As new

£ 94.99

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Verified Software : Theories, Tools and Experiments: 6th International Conference, Vstte 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Language: English

Published by Springer, 2014

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Chockler, Hana (EDT); Kroening, Daniel (EDT); Mariani, Leonardo (EDT); Sharygina, Natasha (EDT)

Condition: Used - As new

£ 116.10

£ 1.93 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Validation of Evolving Software

Language: English

Published by Springer, 2016

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Chockler, Hana (EDT); Kroening, Daniel (EDT); Mariani, Leonardo (EDT); Sharygina, Natasha (EDT)

Condition: Used - As new

£ 113.99

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Validation of Evolving Software

Language: English

Published by Springer, 2016

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller