Angebote zu "Checking" (79 Treffer)

Kategorien

Shops

Müller, Julian-Steffen: Satisfiability and Mode...
23,49 € *
ggf. zzgl. Versand

Erscheinungsdatum: 01.08.2014, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Satisfiability and Model Checking in Team Based Logics, Autor: Müller, Julian-Steffen, Verlag: Cuvillier Verlag, Sprache: Englisch, Schlagworte: Informatik, Rubrik: Informatik // EDV, Sonstiges, Seiten: 143, Gewicht: 202 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 26.09.2020
Zum Angebot
Röhs:Sichere Konfigurationsplanung adap
59,00 € *
ggf. zzgl. Versand

Erscheinungsdatum: 09.11.2012, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking, Titelzusatz: Grundlagen, Konzepte, Implementierung, Autor: Röhs, Malte, Verlag: VDM Verlag Dr. Müller e.K., Sprache: Deutsch, Schlagworte: Informatik, Rubrik: Informatik, Seiten: 124, Informationen: Paperback, Gewicht: 203 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 26.09.2020
Zum Angebot
McMillan, Kenneth L.: Symbolic Model Checking
66,89 € *
ggf. zzgl. Versand

Erscheinungsdatum: 23.10.2012, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Symbolic Model Checking, Auflage: Softcover reprint of the original 1st ed. 1993, Autor: McMillan, Kenneth L., Verlag: Springer US, Sprache: Englisch, Schlagworte: Elektrotechnik // Informatik // Theoretische Informatik, Rubrik: Elektronik // Elektrotechnik, Nachrichtentechnik, Seiten: 216, Informationen: Paperback, Gewicht: 334 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 26.09.2020
Zum Angebot
Model Checking Software
56,89 € *
ggf. zzgl. Versand

Erscheinungsdatum: 14.09.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Model Checking Software, Titelzusatz: 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, Auflage: 1. Auflage von 2019 // 1st ed. 2019, Redaktion: Biondi, Fabrizio // Given-Wilson, Thomas // Legay, Axel, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Computerprogrammierung und Softwareentwicklung // Software Engineering // Theoretische Informatik // Systemanalyse und // design // Rechnerarchitektur und Logik-Entwurf // Computermodellierung und // simulation, Rubrik: Informatik, Seiten: 272, Informationen: Paperback, Gewicht: 417 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 26.09.2020
Zum Angebot
Libby:Checking Out with the Payment Req
28,79 € *
ggf. zzgl. Versand

Erscheinungsdatum: 14.09.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Checking Out with the Payment Request API, Titelzusatz: A Practical Introduction to the HTML5 Payment Request API using Real-world Examples, Auflage: 1. Auflage von 2019 // 1st ed, Autor: Libby, Alex, Verlag: Apress // Apress L.P., Sprache: Englisch, Rubrik: Informatik, Seiten: 268, Informationen: Paperback, Gewicht: 511 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 26.09.2020
Zum Angebot
Winter,K.:Model Checking Abstract.
66,89 € *
ggf. zzgl. Versand

Erscheinungsdatum: 05/2008, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Model Checking Abstract State Machines, Autor: Winter, Kirsten, Verlag: VDM Verlag, Sprache: Englisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 208, Informationen: Paperback, Gewicht: 326 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 26.09.2020
Zum Angebot
Model Checking Software
57,09 € *
ggf. zzgl. Versand

Erscheinungsdatum: 14.09.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Model Checking Software, Titelzusatz: 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, Auflage: 1. Auflage von 2019 // 1st ed. 2019, Redaktion: Biondi, Fabrizio // Given-Wilson, Thomas // Legay, Axel, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Computerprogrammierung und Softwareentwicklung // Software Engineering // Theoretische Informatik // Systemanalyse und // design // Rechnerarchitektur und Logik-Entwurf // Computermodellierung und // simulation, Rubrik: Informatik, Seiten: 272, Informationen: Paperback, Gewicht: 417 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 26.09.2020
Zum Angebot
Verification, Model Checking, and Abstr
76,89 € *
ggf. zzgl. Versand

Erscheinungsdatum: 12.01.2017, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verification, Model Checking, and Abstract Interpretation, Titelzusatz: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings, Auflage: 1. Auflage von 2017 // 1st ed. 2017, Redaktion: Bouajjani, Ahmed // Monniaux, David, Verlag: Springer International Publishing // Springer International Publishing AG, Sprache: Englisch, Schlagworte: EDV // Theorie // Informatik // Allgemeines, Rubrik: Informatik, Seiten: 580, Informationen: Paperback, Gewicht: 897 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 26.09.2020
Zum Angebot
Karfa:Verification and Synthesis of Dig
66,89 € *
ggf. zzgl. Versand

Erscheinungsdatum: 30.08.2010, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verification and Synthesis of Digital Circuits, Titelzusatz: High-level Synthesis and Equivalence Checking, Autor: Karfa, Chandan // Sarkar, Dipankar // Mandal, Chittaranjan, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Schlagworte: Informatik, Rubrik: Informatik, Seiten: 204, Informationen: Paperback, Gewicht: 322 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 26.09.2020
Zum Angebot