Angebote zu "Verification" (969 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 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: 25.02.2020
Zum Angebot
Computer Aided Verification
49,99 € *
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: 25.02.2020
Zum Angebot
Computer Aided Verification
49,99 € *
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: 25.02.2020
Zum Angebot
Computer-Aided Verification
109,49 € *
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: 25.02.2020
Zum Angebot
Computer Aided Verification
49,99 € *
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: 25.02.2020
Zum Angebot
Computer Aided Verification
49,99 € *
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: 25.02.2020
Zum Angebot
Verification and Evaluation of Computer
49,69 € *
ggf. zzgl. Versand

Erscheinungsdatum: 10.11.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verification and Evaluation of Computer and Communication Systems, Titelzusatz: 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings, Auflage: 1. Auflage von 2019 // 1st ed. 2019, Redaktion: Ganty, Pierre // Kaâniche, Mohamed, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Informationstechnik // IT // allgemeine Themen // Computerprogrammierung und Softwareentwicklung // Datenbankprogrammierung // Software Engineering // Datenbanken // IT-Zertifizierung // Computernetzwerke und maschinelle Kommunikation // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 128, Informationen: Paperback, Gewicht: 207 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 25.02.2020
Zum Angebot
Computer Aided Verification
102,59 € *
ggf. zzgl. Versand

Erscheinungsdatum: 05.07.2011, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Computer Aided Verification, Titelzusatz: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings, Redaktion: Gopalakrishnan, Ganesh // Qadeer, Shaz, Verlag: Springer-Verlag GmbH // Springer Berlin, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Intelligenz // Künstliche Intelligenz // KI // AI // Programmiersprachen // Roboter // Robotik // Industrieroboter // Compiler // Übersetzer // Mathematik // Informatik // Computer // Logik // Compiler und Übersetzer // Programmier // und Skriptsprachen // allgemein // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf // Mathematik: Logik, Rubrik: Informatik, Seiten: 763, Reihe: Lecture Notes in Computer Science (Nr. 6806) // Theoretical Computer Science and General Issues, Informationen: Book, Gewicht: 1140 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 25.02.2020
Zum Angebot
Verification and Evaluation of Computer
49,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 10.11.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verification and Evaluation of Computer and Communication Systems, Titelzusatz: 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings, Auflage: 1. Auflage von 2019 // 1st ed. 2019, Redaktion: Ganty, Pierre // Kaâniche, Mohamed, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Informationstechnik // IT // allgemeine Themen // Computerprogrammierung und Softwareentwicklung // Datenbankprogrammierung // Software Engineering // Datenbanken // IT-Zertifizierung // Computernetzwerke und maschinelle Kommunikation // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 128, Informationen: Paperback, Gewicht: 207 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 25.02.2020
Zum Angebot

Ähnliche Suchbegriffe