Computer aided verification 32nd (31 risultati)

Lingua: Inglese

Editore: Springer, 2020

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 47,57

EUR 2,32 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2020

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 47,57

EUR 2,32 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part I (Paperback or Softback)

Lingua: Inglese

Editore: Springer 7/16/2020, 2020

Brossura

Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

Venditore con 5 stelle

Condizione: Nuovo

EUR 49,97

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

Paperback or Softback. Condizione: New. Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part I. Book.

Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part II (Paperback or Softback)

Lingua: Inglese

Editore: Springer 7/16/2020, 2020

Brossura

Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

Venditore con 5 stelle

Condizione: Nuovo

EUR 49,97

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

Paperback or Softback. Condizione: New. Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part II. Book.

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)

Lingua: Inglese

Editore: Springer, 2020

Brossura

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

Venditore con 4 stelle

Condizione: Nuovo

EUR 54,30

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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)

Lingua: Inglese

Editore: Springer, 2020

Brossura

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

Venditore con 4 stelle

Condizione: Nuovo

EUR 54,30

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2020

Brossura

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

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 52,35

EUR 2,32 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

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

Lingua: Inglese

Editore: Springer, 2020

Brossura

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

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 52,35

EUR 2,32 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer 2020-07, 2020

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Shuvendu K. Lahiri, Chao Wang

Condizione: Nuovo

EUR 45,06

EUR 18,02 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

PF. Condizione: 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)

Lingua: Inglese

Editore: Springer 2020-07-16, 2020

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Condizione: Nuovo

EUR 45,19

EUR 18,02 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Nuovo

EUR 48,03

EUR 17,45 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Nuovo

EUR 48,16

EUR 17,45 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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)

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle

Venditore con 4 stelle

Condizione: Nuovo

EUR 67,27

EUR 3,51 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New. pp. 649.

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

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 53,10

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

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 53,18

EUR 17,45 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: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II (Lecture Notes in Computer Science, 12225)

Lingua: Inglese

Editore: Springer, 2020

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 53,52

EUR 17,38 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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)

Lingua: Inglese

Editore: Springer, 2020

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 53,52

EUR 17,38 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

Computer Aided Verification : 32nd Inter

Lingua: Inglese

Editore: Springer, 2020

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,09

EUR 9,50 spedizione

Spedito da Irlanda a U.S.A.

Quantità: 15 disponibili

Condizione: 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)

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle

Venditore con 4 stelle

Condizione: Nuovo

EUR 74,19

EUR 3,51 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New. pp. 648.

Computer Aided Verification : 32nd Inter

Lingua: Inglese

Editore: Springer, 2020

Brossura

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

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 76,83

EUR 9,23 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer-Nature New York Inc, 2020

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 72,57

EUR 17,45 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: 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

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Condizione: Nuovo

EUR 72,82

EUR 17,45 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: 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

Lingua: Inglese

Editore: Springer, 2020

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 66,14

EUR 42,18 spedizione

Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Taschenbuch. Condizione: 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

Lingua: Inglese

Editore: Springer, 2020

Brossura

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

Venditore con 5 stelle

Shuvendu K. Lahiri (u. a.)

Condizione: Nuovo

EUR 66,14

EUR 42,34 spedizione

Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Taschenbuch. Condizione: 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

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: preigu, Osnabrück, Germaniapreigu

Venditore con 5 stelle

Shuvendu K. Lahiri (u. a.)

Condizione: Nuovo

EUR 41,45

EUR 70,00 spedizione

Spedito da Germania a U.S.A.

Quantità: 5 disponibili

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

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: preigu, Osnabrück, Germaniapreigu

Venditore con 5 stelle

Condizione: Nuovo

EUR 41,45

EUR 70,00 spedizione

Spedito da Germania a U.S.A.

Quantità: 5 disponibili

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

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books

Venditore con 4 stelle

Condizione: Nuovo

EUR 92,25

EUR 29,08 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

Paperback. Condizione: 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)

Lingua: Inglese

Editore: Springer, 2020

Brossura
Print on Demand

Da: Majestic Books, Hounslow, Regno UnitoMajestic Books

Venditore con 4 stelle

Condizione: Nuovo

EUR 65,46

EUR 7,56 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 4 disponibili

Condizione: 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)

Lingua: Inglese

Editore: Springer, 2020

Brossura
Print on Demand

Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios

Venditore con 4 stelle

Condizione: Nuovo

EUR 65,64

EUR 9,95 spedizione

Spedito da Germania a U.S.A.

Quantità: 4 disponibili

Condizione: 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)

Lingua: Inglese

Editore: Springer, 2020

Brossura
Print on Demand

Da: Majestic Books, Hounslow, Regno UnitoMajestic Books

Venditore con 4 stelle