Computer Aided Verification 32nd (29 results)

Language: English

Published by Springer, 2020

Softcover

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

5-star seller

Condition: New

£ 42.45

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Computer Aided Verification : 32nd International Conference, Cav 2020, Los Angeles, Ca, USA, July 21-24, 2020, Proceedings

Language: English

Published by Springer, 2020

Softcover

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

5-star seller

Condition: New

£ 42.45

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I (Lecture Notes in Computer Science, 12224)

Language: English

Published by Springer, 2020

Softcover

Seller: California Books, Miami, FL, U.S.A.California Books

4-star seller

Condition: New

£ 45.88

Free Shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II (Lecture Notes in Computer Science, 12225)

Language: English

Published by Springer, 2020

Softcover

Seller: California Books, Miami, FL, U.S.A.California Books

4-star seller

Condition: New

£ 45.88

Free Shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Computer Aided Verification : 32nd International Conference, Cav 2020, Los Angeles, Ca, USA, July 21-24, 2020, Proceedings

Language: English

Published by Springer, 2020

Softcover

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

5-star seller

Condition: Used - As new

£ 44.23

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Computer Aided Verification : 32nd International Conference, Cav 2020, Los Angeles, Ca, USA, July 21-24, 2020, Proceedings

Language: English

Published by Springer, 2020

Softcover

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

5-star seller

Condition: Used - As new

£ 44.23

£ 1.96 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

Lahiri, Shuvendu K.

Language: English

Published by Springer 2020-07, 2020

Softcover

Seller: Chiron Media, Wallingford, United KingdomChiron Media

5-star seller

Shuvendu K. Lahiri, Chao Wang

Condition: New

£ 37.61

£ 15.49 shipping

Ships from United Kingdom to U.S.A.

Quantity: 10 available

PF. Condition: New.

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II (Lecture Notes in Computer Science)

Language: English

Published by Springer 2020-07-16, 2020

Softcover

Seller: Chiron Media, Wallingford, United KingdomChiron Media

5-star seller

Condition: New

£ 37.72

£ 15.49 shipping

Ships from United Kingdom to U.S.A.

Quantity: 10 available

Paperback. Condition: New.

Computer Aided Verification : 32nd International Conference, Cav 2020, Los Angeles, Ca, USA, July 21-24, 2020, Proceedings

Language: English

Published by Springer, 2020

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: New

£ 40.09

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Computer Aided Verification : 32nd International Conference, Cav 2020, Los Angeles, Ca, USA, July 21-24, 2020, Proceedings

Language: English

Published by Springer, 2020

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: New

£ 40.20

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II (Lecture Notes in Computer Science, 12225)

Language: English

Published by Springer, 2020

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Condition: New

£ 40.56

£ 14.94 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In English.

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I (Lecture Notes in Computer Science, 12224)

Language: English

Published by Springer, 2020

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Condition: New

£ 40.56

£ 14.94 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In English.

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21?24, 2020, Proceedings, Part II (Lecture Notes in Computer Science)

Language: English

Published by Springer, 2020

Softcover

Seller: Books Puddle, New York, NY, U.S.A.Books Puddle

4-star seller

Condition: New

£ 56.84

£ 2.96 shipping

Ships within U.S.A.

Quantity: 4 available

Condition: New. pp. 649.

Computer Aided Verification : 32nd International Conference, Cav 2020, Los Angeles, Ca, USA, July 21-24, 2020, Proceedings

Language: English

Published by Springer, 2020

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: Used - As new

£ 44.33

£ 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 : 32nd International Conference, Cav 2020, Los Angeles, Ca, USA, July 21-24, 2020, Proceedings

Language: English

Published by Springer, 2020

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: Used - As new

£ 44.33

£ 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 : 32nd Inter

Lahiri, Shuvendu K.

Language: English

Published by Springer, 2020

Softcover

Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.

5-star seller

Condition: New

£ 53.89

£ 8.14 shipping

Ships from Ireland to U.S.A.

Quantity: 15 available

Condition: New.

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21?24, 2020, Proceedings, Part I (Theoretical Computer Science and General Issues)

Language: English

Published by Springer, 2020

Softcover

Seller: Books Puddle, New York, NY, U.S.A.Books Puddle

4-star seller

Condition: New

£ 62.68

£ 2.96 shipping

Ships within U.S.A.

Quantity: 4 available

Condition: New. pp. 648.

Computer Aided Verification : 32nd Inter

Lahiri, Shuvendu K.

Language: English

Published by Springer, 2020

Softcover

Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore

5-star seller

Lahiri, Shuvendu K. (Editor)/ Wang, Chao (Editor)

Condition: New

£ 64.92

£ 7.79 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: New.

Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, USA, July 21-24, 2020, Proceedings

Language: English

Published by Springer-Nature New York Inc, 2020

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Lahiri, Shuvendu K. (Edited by)/ Wang, Chao (Edited by)

Condition: New

£ 59.63

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 688 pages. 9.25x6.10x1.61 inches. In Stock.

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 2124, 2020, Proceedings, Part II

Language: English

Published by Springer, 2020

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Condition: New

£ 59.83

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 704 pages. 9.25x6.10x1.54 inches. In Stock.

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

Chao Wang

Language: English

Published by Springer, 2020

Softcover

Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

5-star seller

Condition: New

£ 58.34

£ 32.27 shipping

Ships from Germany to U.S.A.

Quantity: 1 available

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.\* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems.Part II: model checking; software verification; stochastic systems; and synthesis.\*The conference was held virtually due to the COVID-19 pandemic.…

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Chao Wang

Language: English

Published by Springer, 2020

Softcover

Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

5-star seller

Shuvendu K. Lahiri (u. a.)

Condition: New

£ 58.34

£ 32.41 shipping

Ships from Germany to U.S.A.

Quantity: 1 available

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.\* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems.Part II: model checking; software verification; stochastic systems; and synthesis. \*The conference was held virtually due to the COVID-19 pandemic.…

Computer Aided Verification | 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

Language: English

Published by Springer, 2020

Softcover

Seller: preigu, Osnabrück, Germanypreigu

5-star seller

Shuvendu K. Lahiri (u. a.)

Condition: New

£ 36.56

£ 59.95 shipping

Ships from Germany to U.S.A.

Quantity: 5 available

Computer Aided Verification | 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Language: English

Published by Springer, 2020

Softcover

Seller: preigu, Osnabrück, Germanypreigu

5-star seller

Condition: New

£ 36.56

£ 59.95 shipping

Ships from Germany to U.S.A.

Quantity: 5 available

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 2124, 2020, Proceedings, Part I (Lecture Notes in Computer Science, 12224)

Language: English

Published by Springer, 2020

Softcover

Seller: Mispah books, Redhill, SURRE, United KingdomMispah books

4-star seller

Condition: New

£ 77.00

£ 25.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: 1 available

Paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21?24, 2020, Proceedings, Part II (Lecture Notes in Computer Science)

Language: English

Published by Springer, 2020

Softcover
Print on Demand

Seller: Majestic Books, Hounslow, United KingdomMajestic Books

4-star seller

Condition: New

£ 54.83

£ 6.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 4 available

Condition: New. Print on Demand pp. 649.

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21?24, 2020, Proceedings, Part II (Lecture Notes in Computer Science)

Language: English

Published by Springer, 2020

Softcover
Print on Demand

Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios

4-star seller

Condition: New

£ 57.53

£ 8.52 shipping

Ships from Germany to U.S.A.

Quantity: 4 available

Condition: New. PRINT ON DEMAND pp. 649.

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21?24, 2020, Proceedings, Part I (Theoretical Computer Science and General Issues)

Language: English

Published by Springer, 2020

Softcover
Print on Demand

Seller: Majestic Books, Hounslow, United KingdomMajestic Books

4-star seller

Condition: New

£ 59.89

£ 6.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 4 available

Condition: New. Print on Demand pp. 648.

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21?24, 2020, Proceedings, Part I (Theoretical Computer Science and General Issues)

Language: English

Published by Springer, 2020

Softcover
Print on Demand

Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios

4-star seller