Dimitrova Rayna Edt (10 results)

Softcover

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

5-star seller

Bloem, Roderick (EDT); Dimitrova, Rayna (EDT); Fan, Chuchu (EDT); Sharygina, Natasha (EDT)

Condition: New

£ 64.20

£ 1.98 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Software Verification : 13th International Conference, Vstte 2021, New Haven, Ct, USA, October 18-19, 2021, and 14th International Workshop, Nsv 2021, Los Angeles, Ca, USA, July 18-19, 2021, Revised Selected Papers

Language: English

Published by Springer 2022

3030955605 / 9783030955601

Softcover

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

5-star seller

Dimitrova, Rayna (EDT); Lahav, Ori (EDT); Wolff, Sebastian (EDT)

Condition: Used - As new

£ 64.67

£ 1.98 shipping

Ships within U.S.A.

Quantity: 15 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

Language: English

Published by Springer 2024

Softcover

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

5-star seller

Dimitrova, Rayna (EDT); Lahav, Ori (EDT); Wolff, Sebastian (EDT)

Condition: New

£ 65.39

£ 1.98 shipping

Ships 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

Language: English

Published by Springer 2024

Softcover

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

5-star seller

Dimitrova, Rayna (EDT); Lahav, Ori (EDT); Wolff, Sebastian (EDT)

Condition: Used - As new

£ 65.79

£ 1.98 shipping

Ships 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

Language: English

Published by Springer 2024

Softcover

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

5-star seller

Bloem, Roderick (EDT); Dimitrova, Rayna (EDT); Fan, Chuchu (EDT); Sharygina, Natasha (EDT)

Condition: Used - As new

£ 65.83

£ 1.98 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Software Verification : 13th International Conference, Vstte 2021, New Haven, Ct, USA, October 18-19, 2021, and 14th International Workshop, Nsv 2021, Los Angeles, Ca, USA, July 18-19, 2021, Revised Selected Papers

Language: English

Published by Springer 2022

3030955605 / 9783030955601

Softcover

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

5-star seller

Dimitrova, Rayna (EDT); Lahav, Ori (EDT); Wolff, Sebastian (EDT)

Condition: New

£ 69.62

£ 1.98 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: New.

Verification, Model Checking, and Abstract Interpretation : 25th International Conference, Vmcai 2024, London, On, Canada, January 15-16, 2024, Proceedings

Language: English

Published by Springer 2024

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Dimitrova, Rayna (EDT); Lahav, Ori (EDT); Wolff, Sebastian (EDT)

Condition: New

£ 58.47

£ 15.00 shipping

Ships 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

Language: English

Published by Springer 2024

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Dimitrova, Rayna (EDT); Lahav, Ori (EDT); Wolff, Sebastian (EDT)

Condition: New

£ 58.47

£ 15.00 shipping

Ships 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

Language: English

Published by Springer 2024

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Dimitrova, Rayna (EDT); Lahav, Ori (EDT); Wolff, Sebastian (EDT)

Condition: Used - As new

£ 64.24

£ 15.00 shipping

Ships 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

Language: English

Published by Springer 2024

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller