1,904 Results for : verification
-
Jain:Universal Verification Methodology
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- Shop: averdo
- Price: 33.89 EUR excl. shipping
-
Formal System Verification
Erscheinungsdatum: 10.08.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal System Verification, Titelzusatz: State-of the-Art and Future Trends, Auflage: Softcover reprint of the original 1st ed. 2018, Redaktion: Drechsler, Rolf, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Elektronik // Rechnerarchitektur und Logik-Entwurf, Rubrik: Elektronik // Elektrotechnik, Nachrichtentechnik, Seiten: 200, Informationen: Paperback, Gewicht: 312 gr, Verkäufer: averdo- Shop: averdo
- Price: 117.69 EUR excl. shipping
-
Tsikhanovich:Timing Verification in Tra
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- Shop: averdo
- Price: 51.29 EUR excl. shipping
-
Latifaj:Kosovo's Verification Procedure
Erscheinungsdatum: 29.07.2014, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Kosovo's Verification Procedure for Diplomas of Private Colleges, Titelzusatz: Kosovo's Verification Procedure for Diplomas and other documents issued by the Private Providers of Higher Education, Autor: Latifaj, Mirushe, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Rubrik: Bildungswesen (Schule // Hochschule), Seiten: 104, Informationen: Paperback, Gewicht: 171 gr, Verkäufer: averdo- Shop: averdo
- Price: 36.29 EUR excl. shipping
-
Sarrab:Runtime Verification of Informat
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- Shop: averdo
- Price: 66.99 EUR excl. shipping
-
Hewlett Packard Enterprise HPE Pointnext Tech Care Basic Service - Technischer Support - für HPE StoreEver MSL6480 Data Verification - Telefonberatung - 3 Jahre - 9x5 - Reaktionszeit: 2 Std. - für P/N: Q2C52AAE, TC443A, TC443AAE (H04M6E)
Kurzinfo: HPE Pointnext Tech Care Basic Service - Technischer Support - für HPE StoreEver MSL6480 Data Verification - Telefonberatung - 3 Jahre - 9x5 - Reaktionszeit: 2 Std. - für P/N: Q2C52AAE, TC443A, TC443AAE Gruppe Software Service & Support Hersteller Hewlett Packard Enterprise Hersteller Art. Nr. H04M6E EAN/UPC Produktbeschreibung: HPE Pointnext Tech Care Basic Service - Technischer Support - für HPE StoreEver MSL6480 Data Verification - 3 Jahre Service und Support Technischer Support Inbegriffene Leistungen Telefonberatung Volle Vertragslaufzeit 3 Jahre Reaktionszeit 2 Stunden Serviceverfügbarkeit 9 Stunden am Tag / 5 Tage die Woche Software-Titel HPE StoreEver MSL6480 Data Verification Entwickelt für P/N: Q2C52AAE, TC443A, TC443AAE Ausführliche Details Allgemein Typ Technischer Support Inbegriffene Leistungen Telefonberatung Volle Vertragslaufzeit 3 Jahre Reaktionszeit 2 Stunden Serviceverfügbarkeit 9 Stunden am Tag / 5 Tage die Woche Software Software-Titel HPE StoreEver MSL6480- Shop: JACOB Computer
- Price: 1161.46 EUR excl. shipping
-
Hewlett Packard Enterprise HPE Pointnext Tech Care Basic Service - Technischer Support - für HPE StoreEver MSL3040 Data Verification - 100 Kassetten - ESD - Telefonberatung - 5 Jahre - 9x5 - Reaktionszeit: 2 Std. - für P/N: Q8K43AAE (H04H2E)
Kurzinfo: HPE Pointnext Tech Care Basic Service - Technischer Support - für HPE StoreEver MSL3040 Data Verification - 100 Kassetten - ESD - Telefonberatung - 5 Jahre - 9x5 - Reaktionszeit: 2 Std. - für P/N: Q8K43AAE Gruppe Software Service & Support Hersteller Hewlett Packard Enterprise Hersteller Art. Nr. H04H2E EAN/UPC Produktbeschreibung: HPE Pointnext Tech Care Basic Service - Technischer Support - für HPE StoreEver MSL3040 Data Verification - 5 Jahre Service und Support Technischer Support Inbegriffene Leistungen Telefonberatung Volle Vertragslaufzeit 5 Jahre Reaktionszeit 2 Stunden Serviceverfügbarkeit 9 Stunden am Tag / 5 Tage die Woche Software-Titel HPE StoreEver MSL3040 Data Verification Anzahl Lizenzen 100 Kassetten Lizenzdetails ESD Entwickelt für P/N: Q8K43AAE Ausführliche Details Allgemein Typ Technischer Support Inbegriffene Leistungen Telefonberatung Volle Vertragslaufzeit 5 Jahre Reaktionszeit 2 Stunden Serviceverfügbarkeit 9 Stunden am Tag / 5 Tage die Woche Software Software-Titel- Shop: JACOB Computer
- Price: 2623.84 EUR excl. shipping
-
Formal System Verification
Erscheinungsdatum: 10.08.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal System Verification, Titelzusatz: State-of the-Art and Future Trends, Auflage: Softcover reprint of the original 1st ed. 2018, Redaktion: Drechsler, Rolf, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Elektronik // Rechnerarchitektur und Logik-Entwurf, Rubrik: Elektronik // Elektrotechnik, Nachrichtentechnik, Seiten: 200, Informationen: Paperback, Gewicht: 312 gr, Verkäufer: averdo- Shop: averdo
- Price: 117.59 EUR excl. shipping
-
Verification and Validation (software)
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- Shop: averdo
- Price: 31.59 EUR excl. shipping
-
Camara:Formal Verification of Communica
Erscheinungsdatum: 10/2011, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal Verification of Communication Protocols for Wireless Networks, Titelzusatz: A simple and efficient methodology for formal verification of wireless networks communication protocols, Autor: Camara, Daniel // Alfredo Ferreira Loureiro, Antonio, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Rubrik: Datenkommunikation // Netze, Mailboxen, Seiten: 120, Informationen: Paperback, Gewicht: 195 gr, Verkäufer: averdo- Shop: averdo
- Price: 43.39 EUR excl. shipping