Computer aided verification 30th

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented toge…

Computer Aided Verification | 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Hana Chockler (u. a.)

Lingua: Inglese

Editore: Springer, 2018

3319961411 / 9783319961415

Brossura

Da: preigu, Osnabrück, Germaniapreigu

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 50,45

EUR 70,00 spedizione

Spedito da Germania a U.S.A.

Quantità: 5 disponibili

Computer Aided Verification | 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Hana Chockler (u. a.)

Lingua: Inglese

Editore: Springer, 2018

3319961446 / 9783319961446

Brossura

Da: preigu, Osnabrück, Germaniapreigu

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 50,45

EUR 70,00 spedizione

Spedito da Germania a U.S.A.

Quantità: 5 disponibili

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Hana Chockler

Lingua: Inglese

Editore: Springer, 2018

3319961446 / 9783319961446

Brossura

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

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 61,89

EUR 65,39 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 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented toge…

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (eng)

Chockler, Hana

Lingua: Inglese

Editore: Springer, 2018

3319961446 / 9783319961446

Brossura
Print on Demand

Da: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 46,22

EUR 11,00 spedizione

Spedito da Italia a U.S.A.

Quantità: Più di 20 disponibili

Condizione: new. Questo è un articolo print on demand.

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July . Computer Science and General Issues)

Lingua: Inglese

Editore: Springer, 2018

3319961411 / 9783319961415

Brossura
Print on Demand

Da: Majestic Books, Hounslow, Regno UnitoMajestic Books

Venditore con 4 stelle

Contatta il venditore

Condizione: Nuovo

EUR 82,70

EUR 7,58 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 4 disponibili

Condizione: New. Print on Demand.

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July . Computer Science and General Issues)

Lingua: Inglese

Editore: Springer, 2018

3319961446 / 9783319961446

Brossura
Print on Demand

Da: Majestic Books, Hounslow, Regno UnitoMajestic Books

Venditore con 4 stelle

Contatta il venditore

Condizione: Nuovo

EUR 84,70

EUR 7,58 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 4 disponibili

Condizione: New. Print on Demand.

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July . Computer Science and General Issues)

Lingua: Inglese

Editore: Springer, 2018

3319961411 / 9783319961415

Brossura
Print on Demand

Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios

Venditore con 4 stelle

Contatta il venditore

Condizione: Nuovo

EUR 83,62

EUR 9,95 spedizione

Spedito da Germania a U.S.A.

Quantità: 4 disponibili

Condizione: New. PRINT ON DEMAND.

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July . Computer Science and General Issues)

Lingua: Inglese

Editore: Springer, 2018

3319961446 / 9783319961446

Brossura
Print on Demand

Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios

Venditore con 4 stelle

Contatta il venditore

Condizione: Nuovo

EUR 88,45

EUR 9,95 spedizione

Spedito da Germania a U.S.A.

Quantità: 4 disponibili

Condizione: New. PRINT ON DEMAND.

Computer aided verification 30th (20 risultati)

Perfeziona la tua ricerca

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Computer Science and General Issues)

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Computer Science and General Issues)

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Computer Science and General Issues)

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Computer Science and General Issues)

Computer Aided Verification : 30th Inter

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July . Computer Science and General Issues)

Computer Aided Verification : 30th Inter

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (Lecture Notes in Computer Science)

Computer Aided Verification : 30th Inter

Computer Aided Verification : 30th Inter

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Lecture Notes in Computer Science)

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Computer Aided Verification | 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Computer Aided Verification | 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (eng)

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July . Computer Science and General Issues)

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July . Computer Science and General Issues)

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July . Computer Science and General Issues)

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July . Computer Science and General Issues)