Angebote zu "Verification" (263 Treffer)

Kategorien [Filter löschen]

Shops

Runtime Verification
63,29 € *
ggf. zzgl. Versand

Erscheinungsdatum: 04.10.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Runtime Verification, Titelzusatz: 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, Auflage: 1. Auflage von 2019 // 1st ed. 2019, Redaktion: Finkbeiner, Bernd // Mariani, Leonardo, Verlag: Springer International Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 424, Informationen: Paperback, Gewicht: 639 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 17.02.2020
Zum Angebot
Seotsanyana Motlatsi: Formal Analysis and Verif...
46,19 € *
ggf. zzgl. Versand

Erscheinungsdatum: 09/2008, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal Analysis and Verification of Safety InterlockSystems, Titelzusatz: Formal Specification, Development, and Verification of Safety Interlock Systems: Comparative Case Study, Autor: Seotsanyana Motlatsi, Verlag: VDM Verlag, Sprache: Englisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 112, Informationen: Paperback, Gewicht: 183 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 17.02.2020
Zum Angebot
Hardware and Software: Verification and Testing
58,39 € *
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: 17.02.2020
Zum Angebot
Bultan:String Analysis for Software Ver
74,29 € *
ggf. zzgl. Versand

Erscheinungsdatum: 06.06.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: String Analysis for Software Verification and Security, Auflage: Softcover reprint of the original 1st ed. 2017, Autor: Alkhalaf, Muath // Aydin, Abdulbaki // Bultan, Tevfik // Yu, Fang, Verlag: Springer International Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 184, Informationen: Paperback, Gewicht: 289 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 17.02.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 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: 17.02.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: 17.02.2020
Zum Angebot
Runtime Verification
63,49 € *
ggf. zzgl. Versand

Erscheinungsdatum: 04.10.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Runtime Verification, Titelzusatz: 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, Auflage: 1. Auflage von 2019 // 1st ed. 2019, Redaktion: Finkbeiner, Bernd // Mariani, Leonardo, Verlag: Springer International Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 424, Informationen: Paperback, Gewicht: 639 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 17.02.2020
Zum Angebot
Runtime Verification
63,49 € *
ggf. zzgl. Versand

Erscheinungsdatum: 04.10.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Runtime Verification, Titelzusatz: 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, Auflage: 1. Auflage von 2019 // 1st ed. 2019, Redaktion: Finkbeiner, Bernd // Mariani, Leonardo, Verlag: Springer International Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 424, Informationen: Paperback, Gewicht: 639 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 17.02.2020
Zum Angebot
Verification and Validation (software)
33,79 € *
ggf. zzgl. Versand

Erscheinungsdatum: 12/2009, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verification and Validation (software), Titelzusatz: Software Project Management, Software Testing, Software Engineering, Software Quality Control, Compiler Correctness, Formal Verification, Functional Specification, Redaktion: Surhone, Lambert M. // Timpledon, Miriam T. // Marseken, Susan F., Verlag: Betascript Publishers, Sprache: Englisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 76, Informationen: Paperback, Gewicht: 130 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 17.02.2020
Zum Angebot