Angebote zu "Verification" (1.013 Treffer)

Kategorien

Shops

Computer Aided Verification
49,69 € *
ggf. zzgl. Versand

Erscheinungsdatum: 13.07.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Computer Aided Verification, Titelzusatz: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II, Auflage: 1. Auflage von 2019 // 1st ed. 2019, Redaktion: Dillig, Isil // Tasiran, Serdar, Verlag: Springer International Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 572, Informationen: Paperback, Gewicht: 855 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Computer Aided Verification
49,69 € *
ggf. zzgl. Versand

Erscheinungsdatum: 13.07.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Computer Aided Verification, Titelzusatz: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, Auflage: 1. Auflage von 2019 // 1st ed. 2019, Redaktion: Dillig, Isil // Tasiran, Serdar, Verlag: Springer International Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 696, Informationen: Paperback, Gewicht: 1036 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Computer Aided Verification
72,69 € *
ggf. zzgl. Versand

Erscheinungsdatum: 18.07.2015, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Computer Aided Verification, Titelzusatz: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, Redaktion: Kroening, Daniel // Pasareanu, Corina S., Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Betriebssystem // Operating System // Mathematik // Informatik // Computer // Logik // COMPUTERS // Programming // General // Betriebssysteme // Computernetzwerke und maschinelle Kommunikation // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 677, Abbildungen: 141 schwarz-weiße Abbildungen, Bibliographie, Herkunft: NIEDERLANDE (NL), Reihe: Lecture Notes in Computer Science (Nr. 9206) // Theoretical Computer Science and General Issues, Informationen: Book, Gewicht: 1074 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Computer Aided Verification
61,29 € *
ggf. zzgl. Versand

Erscheinungsdatum: 14.07.2015, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Computer Aided Verification, Titelzusatz: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II, Redaktion: Kroening, Daniel // Pasareanu, Corina S., Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Betriebssystem // Operating System // Mathematik // Informatik // Computer // Logik // COMPUTERS // Programming // General // Betriebssysteme // Computernetzwerke und maschinelle Kommunikation // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 469, Abbildungen: 107 schwarz-weiße Abbildungen, Bibliographie, Herkunft: NIEDERLANDE (NL), Reihe: Lecture Notes in Computer Science (Nr. 9207) // Theoretical Computer Science and General Issues, Informationen: Book, Gewicht: 752 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Computer-Aided Verification
108,19 € *
ggf. zzgl. Versand

Erscheinungsdatum: 05.10.2012, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Computer-Aided Verification, Titelzusatz: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Auflage: 1993, Redaktion: Kurshan, Robert, Verlag: Springer US, Sprache: Englisch, Schlagworte: Elektrotechnik // Computer-Aided Design // CAD // Informatik // Theoretische Informatik, Rubrik: Elektronik // Elektrotechnik, Nachrichtentechnik, Seiten: 152, Informationen: Paperback, Gewicht: 242 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Computer Aided Verification
50,49 € *
ggf. zzgl. Versand

Erscheinungsdatum: 22.07.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Computer Aided Verification, Titelzusatz: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II, Auflage: 2018, Redaktion: Chockler, Hana // Weissenbacher, Georg, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Programmieren // Allgemeines // Software-Entw // Roboter // Robotik // Industrieroboter // 3D-Druck // Algorithmus // Software Engineering // Mathematik // Informatik // Computer // Intelligenz // Künstliche Intelligenz // KI // AI // Datenverarbeitung // simulation // COMPUTERS // Programming // General // Rechnerarchitektur und Logik-Entwurf // 3D-Grafik und Modellierung // Algorithmen und Datenstrukturen // Theoretische Informatik // Computermodellierung und, Rubrik: Informatik, Seiten: 545, Abbildungen: Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 10982), Informationen: Book, Gewicht: 885 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Computer Aided Verification
69,39 € *
ggf. zzgl. Versand

Erscheinungsdatum: 02.08.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Computer Aided Verification, Titelzusatz: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, Redaktion: Chaudhuri, Swarat // Farzan, Azadeh, Verlag: Springer-Verlag GmbH // Springer International Publishing AG, Sprache: Englisch, Schlagworte: EDV // Theorie // Informatik // Allgemeines // Betriebssystem // Operating System // Software-Entw // Software Engineering // Mathematik // Computer // Logik // COMPUTERS // Programming // General // Betriebssysteme // Computernetzwerke und maschinelle Kommunikation // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf // Algorithmen und Datenstrukturen, Rubrik: Informatik, Seiten: 511, Abbildungen: 125 schwarz-weiße Abbildungen, Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 9779) // Theoretical Computer Science and General Issues, Informationen: Book, Gewicht: 853 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Computer Aided Verification
79,79 € *
ggf. zzgl. Versand

Erscheinungsdatum: 14.07.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Computer Aided Verification, Titelzusatz: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II, Auflage: 1. Auflage von 2016 // 1st ed. 2016, Redaktion: Chaudhuri, Swarat // Farzan, Azadeh, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Informatik // Allgemeines, Rubrik: Informatik, Seiten: 540, Informationen: Paperback, Gewicht: 842 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Verification and Evaluation of Computer and Com...
57,89 € *
ggf. zzgl. Versand

Erscheinungsdatum: 22.11.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verification and Evaluation of Computer and Communication Systems, Titelzusatz: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, Redaktion: Atig, Mohamed Faouzi // Bensalem, Saddek // Bliudze, Simon // Monsuez, Bruno, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: Algorithmus // Informatik // Informationstechnologie // IT // Technologie // EDV // Theorie // Software-Entw // Software Engineering // Mathematik // Computer // Allgemeines // Logik // COMPUTERS // Programming // Algorithms // Algorithmen und Datenstrukturen // Informationstechnik // allgemeine Themen // IT-Zertifizierung // Theoretische Informatik // Systemanalyse und // design // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 219, Abbildungen: Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 11181), Informationen: Book, Gewicht: 385 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot