Computer aided verification 27th (20 risultati)

Lingua: Inglese

Editore: Springer, 2015

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 53,69

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2015

Brossura

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

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 62,43

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Theoretical Computer Science and General Issues)

Lingua: Inglese

Editore: Springer, 2015

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,07

EUR 13,98 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Theoretical Computer Science and General Issues)

Lingua: Inglese

Editore: Springer, 2015

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,07

EUR 13,98 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Kroening, Daniel

Lingua: Inglese

Editore: Springer 2015-07, 2015

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Condizione: Nuovo

EUR 57,93

EUR 18,08 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

PF. Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2015

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,06

EUR 17,51 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2015

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 67,22

EUR 17,51 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: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science)

Lingua: Inglese

Editore: Springer, 2015

Brossura

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

Venditore con 4 stelle

Kroening, Daniel (Editor)/ Pasareanu, Corina S. (Editor)

Condizione: Nuovo

EUR 82,10

EUR 3,45 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New. pp. 440.

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

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2015

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Condizione: Nuovo

EUR 82,11

EUR 14,59 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

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

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Corina S. P¿s¿reanu

Lingua: Inglese

Editore: Springer International Publishing, 2015

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 53,49

EUR 63,67 spedizione

Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.The total of 58 full and 11 short papers pr…

Computer Aided Verification | 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Daniel Kroening (u. a.)

Lingua: Inglese

Editore: Springer, 2015

Brossura

Da: preigu, Osnabrück, Germaniapreigu

Venditore con 5 stelle

Condizione: Nuovo

EUR 50,40

EUR 70,00 spedizione

Spedito da Germania a U.S.A.

Quantità: 5 disponibili

Computer Aided Verification | 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Daniel Kroening (u. a.)

Lingua: Inglese

Editore: Springer, 2015

Brossura

Da: preigu, Osnabrück, Germaniapreigu

Venditore con 5 stelle

Kroening, Daniel (Editor)/ Pasareanu, Corina S. (Editor)

Condizione: Nuovo

EUR 50,40

EUR 70,00 spedizione

Spedito da Germania a U.S.A.

Quantità: 5 disponibili

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science)

Lingua: Inglese

Editore: Springer, 2015

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Condizione: Nuovo

EUR 85,49

EUR 40,86 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. 704 pages. 9.25x6.10x1.59 inches. In Stock.

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science)

Lingua: Inglese

Editore: Springer, 2015

Brossura

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

Venditore con 4 stelle

Condizione: Nuovo

EUR 246,34

EUR 3,45 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New. pp. 636.

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science)

Lingua: Inglese

Editore: Springer, 2015

Brossura
Print on Demand

Da: Majestic Books, Hounslow, Regno UnitoMajestic Books

Venditore con 4 stelle

Condizione: Nuovo

EUR 80,51

EUR 7,59 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 4 disponibili

Condizione: New. Print on Demand pp. 440.

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science)

Lingua: Inglese

Editore: Springer, 2015

Brossura
Print on Demand

Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios

Venditore con 4 stelle

Condizione: Nuovo

EUR 82,17

EUR 9,95 spedizione

Spedito da Germania a U.S.A.

Quantità: 4 disponibili

Condizione: New. PRINT ON DEMAND pp. 440.

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (eng)

Kroening, Daniel

Lingua: Inglese

Editore: Springer, 2015

Brossura
Print on Demand

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 46,22

EUR 79,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 : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Daniel Kroening

Lingua: Inglese

Editore: Palgrave Macmillan, 2015

Brossura
Print on Demand

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,89

EUR 65,24 spedizione

Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.The total of 58 full and 11 shor…

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science)

Lingua: Inglese

Editore: Springer, 2015

Brossura
Print on Demand

Da: Majestic Books, Hounslow, Regno UnitoMajestic Books

Venditore con 4 stelle

Condizione: Nuovo

EUR 201,21

EUR 7,59 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 4 disponibili

Condizione: New. Print on Demand pp. 636.

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science)

Lingua: Inglese

Editore: Springer, 2015

Brossura
Print on Demand

Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios

Venditore con 4 stelle