Computer aided verification 33rd (26 risultati)

Lingua: Inglese

Editore: Springer 2021

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 49,51

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Computer Aided Verification : 33rd International Conference, Cav 2021, Virtual Event, July 20?23, 2021, Proceedings, Part II

Lingua: Inglese

Editore: Springer 2021

Brossura

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

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 54,63

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Computer Aided Verification : 33rd International Conference, Cav 2021, Virtual Event, July 20?23, 2021, Proceedings, Part II

Lingua: Inglese

Editore: Springer 2021

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Nuovo

EUR 44,52

EUR 17,34 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II (Lecture Notes in Computer Science, 12760)

Lingua: Inglese

Editore: Springer 2021

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 48,29

EUR 13,85 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I (Lecture Notes in Computer Science, 12759)

Lingua: Inglese

Editore: Springer 2021

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 48,29

EUR 13,85 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

Lingua: Inglese

Editore: Springer 2021-07 2021

Brossura

Da: Chiron Media, Wallingford, , Regno UnitoChiron Media

Venditore con 5 stelle

Condizione: Nuovo

EUR 44,91

EUR 17,90 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

PF. Condizione: New.

Computer Aided Verification : 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings

Lingua: Inglese

Editore: Springer 2021

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,63

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: New.

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II

Lingua: Inglese

Editore: Springer 2021-07 2021

Brossura

Da: Chiron Media, Wallingford, , Regno UnitoChiron Media

Venditore con 5 stelle

Condizione: Nuovo

EUR 44,91

EUR 17,90 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

PF. Condizione: New.

Computer Aided Verification : 33rd International Conference, Cav 2021, Virtual Event, July 20?23, 2021, Proceedings, Part II

Lingua: Inglese

Editore: Springer 2021

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 52,74

EUR 17,34 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Computer Aided Verification : 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings

Lingua: Inglese

Editore: Springer 2021

Brossura

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

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 72,99

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: As New. Unread book in perfect condition.

Computer Aided Verification : 33rd Inter

Lingua: Inglese

Editore: Springer 2021

Brossura

Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.

Venditore con 5 stelle

Condizione: Nuovo

EUR 68,93

EUR 10,50 spedizione

Spedito da Irlanda a U.S.A.

Quantità: 15 disponibili

Condizione: New.

Computer Aided Verification : 33rd Inter

Lingua: Inglese

Editore: Springer 2021

Brossura

Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.

Venditore con 5 stelle

Condizione: Nuovo

EUR 69,06

EUR 10,50 spedizione

Spedito da Irlanda a U.S.A.

Quantità: 15 disponibili

Condizione: New.

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20?23, 2021, Proceedings, Part I (Lecture Notes in Computer Science, 12759)

Lingua: Inglese

Editore: Springer 2021

Brossura

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

Venditore con 4 stelle

Condizione: Nuovo

EUR 79,59

EUR 3,47 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20?23, 2021, Proceedings, Part II (Lecture Notes in Computer Science, 12760)

Lingua: Inglese

Editore: Springer 2021

Brossura

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

Venditore con 4 stelle

Condizione: Nuovo

EUR 79,65

EUR 3,47 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.

Computer Aided Verification : 33rd Inter

Lingua: Inglese

Editore: Springer 2021

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 85,91

EUR 9,13 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: New.

Computer Aided Verification : 33rd Inter

Lingua: Inglese

Editore: Springer 2021

Brossura

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

Venditore con 5 stelle

Silva, Alexandra (Editor)/ Leino, K. Rustan M. (Editor)

Condizione: Nuovo

EUR 86,07

EUR 9,13 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: New.

Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings

Lingua: Inglese

Editore: Springer-Nature New York Inc 2021

Brossura

Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books

Venditore con 5 stelle

Silva, Alexandra (Editor)/ Leino, K. Rustan M. (Editor)

Condizione: Nuovo

EUR 82,16

EUR 17,34 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. 922 pages. 9.25x6.10x1.87 inches. In Stock.

Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 2023, 2021, Proceedings, Part II

Lingua: Inglese

Editore: Springer-Nature New York Inc 2021

Brossura

Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books

Venditore con 5 stelle

Condizione: Nuovo

EUR 82,48

EUR 17,34 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. 940 pages. 9.25x6.10x1.90 inches. In Stock.

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20¿23, 2021, Proceedings, Part II

K. Rustan M. Leino

Lingua: Inglese

Editore: Springer International Publishing 2021

Brossura

Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

Venditore con 5 stelle

Condizione: Nuovo

EUR 42,79

EUR 67,14 spedizione

Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool…

Computer Aided Verification | 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

Alexandra Silva (u. a.)

Lingua: Inglese

Editore: Springer 2021

Brossura

Da: preigu, Osnabrück, Germaniapreigu

Venditore con 5 stelle

Condizione: Nuovo

EUR 41,35

EUR 70,00 spedizione

Spedito da Germania a U.S.A.

Quantità: 5 disponibili

Computer Aided Verification | 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II

Alexandra Silva (u. a.)

Lingua: Inglese

Editore: Springer 2021

Brossura

Da: preigu, Osnabrück, Germaniapreigu

Venditore con 5 stelle

Condizione: Nuovo

EUR 41,35

EUR 70,00 spedizione

Spedito da Germania a U.S.A.

Quantità: 5 disponibili

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

K. Rustan M. Leino

Lingua: Inglese

Editore: Springer 2021

Brossura

Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

Venditore con 5 stelle

Condizione: Nuovo

EUR 51,01

EUR 67,02 spedizione

Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool…

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20?23, 2021, Proceedings, Part I (Lecture Notes in Computer Science, 12759)

Lingua: Inglese

Editore: Springer 2021

Brossura
Print on Demand

Da: Majestic Books, Hounslow, , Regno UnitoMajestic Books

Venditore con 4 stelle

Condizione: Nuovo

EUR 75,30

EUR 7,51 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 4 disponibili

Condizione: New. Print on Demand.

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20?23, 2021, Proceedings, Part II (Lecture Notes in Computer Science, 12760)

Lingua: Inglese

Editore: Springer 2021

Brossura
Print on Demand

Da: Majestic Books, Hounslow, , Regno UnitoMajestic Books

Venditore con 4 stelle

Condizione: Nuovo

EUR 75,55

EUR 7,51 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 4 disponibili

Condizione: New. Print on Demand.

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20?23, 2021, Proceedings, Part II (Lecture Notes in Computer Science, 12760)

Lingua: Inglese

Editore: Springer 2021

Brossura
Print on Demand

Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios

Venditore con 4 stelle

Condizione: Nuovo

EUR 75,52

EUR 9,95 spedizione

Spedito da Germania a U.S.A.

Quantità: 4 disponibili

Condizione: New. PRINT ON DEMAND.

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20?23, 2021, Proceedings, Part I (Lecture Notes in Computer Science, 12759)

Lingua: Inglese

Editore: Springer 2021

Brossura
Print on Demand

Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios

Venditore con 4 stelle