Computer aided verification 30th (24 risultati)

Titolo:

Perfeziona con la Ricerca avanzata

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
Chockler, Hana (EDT); Weissenbacher, Georg (EDT)
Lingua: Inglese
Editore: Springer, 2018
3319961411 / 9783319961415
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Venditore con 5 stelle
Contatta il venditore
Condizione: Usato - Come nuovo
EUR 69,90
EUR 2,35 spedizione
Spedito in U.S.A.
Quantità: 15 disponibili
Condizione: As New. Unread book in perfect condition.
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
Chockler, Hana (EDT); Weissenbacher, Georg (EDT)
Lingua: Inglese
Editore: Springer, 2018
3319961446 / 9783319961446
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 70,05
EUR 2,35 spedizione
Spedito in U.S.A.
Quantità: 15 disponibili
Condizione: New.
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
Chockler, Hana (EDT); Weissenbacher, Georg (EDT)
Lingua: Inglese
Editore: Springer, 2018
3319961411 / 9783319961415
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 70,05
EUR 2,35 spedizione
Spedito in U.S.A.
Quantità: 15 disponibili
Condizione: New.
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... II (Lecture Notes in Computer Science, 10982)
Lingua: Inglese
Editore: Springer, 2018
3319961411 / 9783319961415
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 72,48
Spedizione gratuita
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Condizione: New.
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... I (Lecture Notes in Computer Science, 10981)
Lingua: Inglese
Editore: Springer, 2018
3319961446 / 9783319961446
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 72,48
Spedizione gratuita
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Condizione: New.
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
Chockler, Hana (EDT); Weissenbacher, Georg (EDT)
Lingua: Inglese
Editore: Springer, 2018
3319961446 / 9783319961446
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Venditore con 5 stelle
Contatta il venditore
Condizione: Usato - Come nuovo
EUR 70,28
EUR 2,35 spedizione
Spedito in U.S.A.
Quantità: 15 disponibili
Condizione: As New. Unread book in perfect condition.
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... II (Lecture Notes in Computer Science, 10982)
Lingua: Inglese
Editore: Springer, 2018
3319961411 / 9783319961415
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 68,46
EUR 13,41 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Condizione: New. In English.
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... I (Lecture Notes in Computer Science, 10981)
Lingua: Inglese
Editore: Springer, 2018
3319961446 / 9783319961446
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 68,46
EUR 17,75 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Condizione: New. In English.
Computer Aided Verification : 30th Inter
Chockler, Hana
Lingua: Inglese
Editore: Springer, 2018
3319961411 / 9783319961415
- Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 76,65
EUR 9,50 spedizione
Spedito da Irlanda a U.S.A.
Quantità: 15 disponibili
Condizione: New.
Computer Aided Verification : 30th Inter
Chockler, Hana
Lingua: Inglese
Editore: Springer, 2018
3319961446 / 9783319961446
- Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 77,44
EUR 9,50 spedizione
Spedito da Irlanda a U.S.A.
Quantità: 15 disponibili
Condizione: New.
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
Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Venditore con 4 stelle
Contatta il venditore
Condizione: Nuovo
EUR 95,97
EUR 3,55 spedizione
Spedito in U.S.A.
Quantità: 4 disponibili
Condizione: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.
Computer Aided Verification : 30th Inter
Chockler, Hana
Lingua: Inglese
Editore: Springer, 2018
3319961411 / 9783319961415
- Brossura
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 98,61
EUR 9,35 spedizione
Spedito in U.S.A.
Quantità: 15 disponibili
Condizione: New.
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)
Chockler, Hana (Editor) / Weissenbacher, Georg (Editor)
Lingua: Inglese
Editore: Springer, 2018
3319961411 / 9783319961415
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 93,17
EUR 14,85 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Paperback. Condizione: Brand New. 568 pages. 9.25x6.10x1.06 inches. In Stock.
Computer Aided Verification : 30th Inter
Chockler, Hana
Lingua: Inglese
Editore: Springer, 2018
3319961446 / 9783319961446
- Brossura
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 99,66
EUR 9,35 spedizione
Spedito in U.S.A.
Quantità: 15 disponibili
Condizione: New.
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)
Chockler, Hana (Editor) / Weissenbacher, Georg (Editor)
Lingua: Inglese
Editore: Springer, 2018
3319961446 / 9783319961446
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 95,73
EUR 17,82 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Paperback. Condizione: Brand New. 724 pages. 9.25x6.10x2.05 inches. In Stock.
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
Taschenbuch. Condizione: Neu. 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.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2018 | Springer | EAN 9783319961415 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
Altre immagini
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
Taschenbuch. Condizione: Neu. 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.) | Taschenbuch | Lecture Notes in Computer Science | xix | Englisch | 2018 | Springer | EAN 9783319961446 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
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 92,30
EUR 7,72 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 95,01
EUR 7,72 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 91,27
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 14-17, 2018, Proceedings, Part II
Hana Chockler
Lingua: Inglese
Editore: Palgrave Macmillan, 2018
3319961411 / 9783319961415
- Brossura
- Print on Demand
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 66,40
EUR 35,00 spedizione
Spedito da Germania a U.S.A.
Quantità: 1 disponibile
Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt 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 together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. Thepapers cover a wide range of topics and techniques, from algorithmicand logical foundations of verification to practical applications in distributed,networked, cyber-physical, and autonomous systems.They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.…
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 96,82
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 14-17, 2018, Proceedings, Part I
Hana Chockler
Lingua: Inglese
Editore: Palgrave Macmillan, 2018
3319961446 / 9783319961446
- Brossura
- Print on Demand
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 66,40
EUR 42,54 spedizione
Spedito da Germania a U.S.A.
Quantità: 1 disponibile
Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt 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 together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. Thepapers cover a wide range of topics and techniques, from algorithmicand logical foundations of verification to practical applications in distributed,networked, cyber-physical, and autonomous systems.They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.…