Angebote zu "Verification" (263 Treffer)

Kategorien [Filter löschen]

Shops [Filter löschen]

Tsikhanovich, Alena: Timing Verification in Tra...
59,00 € *
ggf. zzgl. Versand

Erscheinungsdatum: 02/2011, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Timing Verification in Transaction Modeling, Titelzusatz: Timing Verification in Transaction Modeling, Autor: Tsikhanovich, Alena, Verlag: LAP Lambert Acad. Publ., Sprache: Englisch, Rubrik: Informatik, Seiten: 136, Informationen: Paperback, Gewicht: 219 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 24.02.2020
Zum Angebot
Jain, A: Universal Verification Methodology Bas...
36,90 € *
ggf. zzgl. Versand

Erscheinungsdatum: 21.01.2014, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Universal Verification Methodology Based Verification Environment, Titelzusatz: Theory and Practice, Autor: Jain, Abhishek, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 140, Informationen: Paperback, Gewicht: 225 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 24.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: 24.02.2020
Zum Angebot
Ammar, Maan: Intelligent Signature Verification...
79,00 € *
ggf. zzgl. Versand

Erscheinungsdatum: 04/2011, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Intelligent Signature Verification and Analysis, Titelzusatz: Processing, Verification, Description and Analysis, Autor: Ammar, Maan, Verlag: LAP Lambert Acad. Publ., Sprache: Englisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 252, Informationen: Paperback, Gewicht: 392 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 24.02.2020
Zum Angebot
simková, Marcela: Hardware Accelerated Function...
49,00 € *
ggf. zzgl. Versand

Erscheinungsdatum: 12/2011, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Hardware Accelerated Functional Verification, Titelzusatz: Framework for FPGA-Accelerated Functional Verification, Autor: simková, Marcela, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 60, Informationen: Paperback, Gewicht: 106 gr, Verkäufer: averdo

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

Erscheinungsdatum: 09.02.2007, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Hardware and Software, Verification and Testing, Titelzusatz: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers, Auflage: 2007, Redaktion: Bin, Eyal // Ur, Shmuel // Ziv, Avi, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Informatik // Verifikation // verifizieren, Rubrik: Informatik, Seiten: 252, Informationen: Paperback, Gewicht: 388 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 24.02.2020
Zum Angebot
Sarrab, Mohamed Khalefa: Runtime Verification o...
79,00 € *
ggf. zzgl. Versand

Erscheinungsdatum: 08/2011, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Runtime Verification of Information flow, Titelzusatz: Policy-Based Runtime Verification of Information Flow Control, Autor: Sarrab, Mohamed Khalefa, Verlag: LAP Lambert Acad. Publ., Sprache: Englisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 288, Informationen: Paperback, Gewicht: 445 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 24.02.2020
Zum Angebot
Lettnin, Djones: Verification of Temporal Prope...
69,90 € *
ggf. zzgl. Versand

Erscheinungsdatum: 13.10.2015, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verification of Temporal Properties in Embedded Software, Titelzusatz: based on Assertion and Semiformal Verification Approaches, Autor: Lettnin, Djones, Verlag: Südwestdeutscher Verlag für Hochschulschriften AG Co. KG, Sprache: Englisch, Rubrik: Informatik, Seiten: 160, Informationen: Paperback, Gewicht: 255 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 24.02.2020
Zum Angebot