Angebote zu "Verification" (345 Treffer)

Kategorien

Shops

Hardware and Software: Verification and Testing
55,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 06.11.2014, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Hardware and Software: Verification and Testing, Titelzusatz: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings, Auflage: 2014, Redaktion: Yahav, Eran, Verlag: Springer International Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 320, Informationen: Paperback, Gewicht: 474 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 05.07.2020
Zum Angebot
Melham, T.: Higher Order Logic and Hardware Ver...
59,09 € *
ggf. zzgl. Versand

Erscheinungsdatum: 28.02.2009, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Higher Order Logic and Hardware Verification, Autor: Melham, T., Verlag: Cambridge University Press, Sprache: Englisch, Schlagworte: COMPUTERS // Computer Engineering // Informatik, Rubrik: Informatik, Seiten: 180, Informationen: Paperback, Gewicht: 322 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 05.07.2020
Zum Angebot
Steiner, H: Active Multispectral SWIR Imaging f...
58,00 € *
ggf. zzgl. Versand

Erscheinungsdatum: 10.01.2017, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Active Multispectral SWIR Imaging for Reliable Skin Detection and Face Verification, Autor: Steiner, Holger, Verlag: Cuvillier Verlag, Sprache: Englisch, Schlagworte: Informatik, Rubrik: Informatik // EDV, Sonstiges, Seiten: 175, Gewicht: 264 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 05.07.2020
Zum Angebot
Alagic, Suad: Software Engineering: Specificati...
67,29 € *
ggf. zzgl. Versand

Erscheinungsdatum: 18.08.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Software Engineering: Specification, Implementation, Verification, Auflage: Softcover reprint of the original 1st ed. 2017, Autor: Alagic, Suad, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Programmier // und Skriptsprachen // allgemein // Software Engineering // Informatik, Rubrik: Informatik, Seiten: 196, Informationen: Paperback, Gewicht: 306 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 05.07.2020
Zum Angebot
Li, Lun: Digital System Verification
44,39 € *
ggf. zzgl. Versand

Erscheinungsdatum: 24.02.2010, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Digital System Verification, Titelzusatz: A Combined Formal Methods and Simulation Framework, Autor: Li, Lun // Thornton, Mitchell, Verlag: Morgan & Claypool Publishers, Sprache: Englisch, Schlagworte: COMPUTERS // Computer Engineering // Informatik, Rubrik: Informatik, Seiten: 100, Informationen: Paperback, Gewicht: 205 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 05.07.2020
Zum Angebot
Melham, T. F.: Higher Order Logic and Hardware ...
148,49 € *
ggf. zzgl. Versand

Erscheinungsdatum: 13.04.2012, Medium: Buch, Einband: Gebunden, Titel: Higher Order Logic and Hardware Verification, Autor: Melham, T. F. // Melham, Thomas F., Verlag: Cambridge University Press, Sprache: Englisch, Schlagworte: COMPUTERS // Computer Engineering // Informatik, Rubrik: Informatik, Seiten: 180, Informationen: HC gerader Rücken kaschiert, Gewicht: 502 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 05.07.2020
Zum Angebot
Alagic, Suad: Software Engineering: Specificati...
68,59 € *
ggf. zzgl. Versand

Erscheinungsdatum: 18.08.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Software Engineering: Specification, Implementation, Verification, Auflage: Softcover reprint of the original 1st ed. 2017, Autor: Alagic, Suad, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Programmier // und Skriptsprachen // allgemein // Software Engineering // Informatik, Rubrik: Informatik, Seiten: 196, Informationen: Paperback, Gewicht: 306 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 05.07.2020
Zum Angebot
Specification and Verification of Multi-agent S...
147,79 € *
ggf. zzgl. Versand

Erscheinungsdatum: 20.10.2014, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Specification and Verification of Multi-agent Systems, Auflage: 2010, Redaktion: Dastani, Mehdi // Hindriks, Koen V. // Meyer, John-Jules, Verlag: Springer US, Sprache: Englisch, Schlagworte: Betriebssysteme // Theoretische Informatik // Künstliche Intelligenz, Rubrik: Informatik, Seiten: 424, Informationen: Paperback, Gewicht: 639 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 05.07.2020
Zum Angebot
Leveraging Applications of Formal Methods, Veri...
72,59 € *
ggf. zzgl. Versand

Erscheinungsdatum: 17.01.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Leveraging Applications of Formal Methods, Verification and Validation. Verification, Titelzusatz: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II, Redaktion: Margaria, Tiziana // Steffen, Bernhard, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Informatik // Informationstechnologie // IT // Technologie // Programmieren // Allgemeines // Compiler // Übersetzer // Programmiersprachen // Intelligenz // Künstliche Intelligenz // KI // AI // Mathematik // Computer // COMPUTERS // Software Development & Engineering // General // Informationstechnik // allgemeine Themen // Programmiertechniken // Compiler und Übersetzer // Programmier // und Skriptsprachen // allgemein // IT-Zertifizierung // Computernetzwerke und maschinelle Kommunikation // Theoretische Informatik, Rubrik: Informatik, Abbildungen: 291 schwarz-weiße Abbildungen, Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 11245), Informationen: Book, Gewicht: 781 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 05.07.2020
Zum Angebot