966 Results for : checking
-
Winter,K.:Model Checking Abstract.
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- Shop: averdo
- Price: 66.99 EUR excl. shipping
-
Hariharan:Model Checking for Game Desig
Erscheinungsdatum: 18.08.2015, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Model Checking for Game Design, Autor: Hariharan, Giridhar, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Rubrik: Mathematik // Wahrscheinlichkeitstheorie, Seiten: 116, Informationen: Paperback, Gewicht: 189 gr, Verkäufer: averdo- Shop: averdo
- Price: 48.09 EUR excl. shipping
-
Birks, Jen: Fact-Checking Journalism and Political Argumentation
Erscheinungsdatum: 26.11.2019, Medium: Buch, Einband: Gebunden, Titel: Fact-Checking Journalism and Political Argumentation, Titelzusatz: A British Perspective, Auflage: 1. Auflage von 2019 // 1st ed. 2019, Autor: Birks, Jen, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Medienwissenschaften // Politikwissenschaft // Medien- // Unterhaltungs- // Informations // und Kommunikationsindustrie, Rubrik: Kommunikationswissenschaften, Seiten: 124, Informationen: HC runder Rücken kaschiert, Gewicht: 283 gr, Verkäufer: averdo- Shop: averdo
- Price: 53.29 EUR excl. shipping
-
Model Checking Software
Erscheinungsdatum: 08.04.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Model Checking Software, Titelzusatz: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, Auflage: 1. Auflage von 2016 // 1st ed. 2016, Redaktion: Bosnacki, Dragan // Wijs, Anton, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering, Rubrik: Informatik, Seiten: 264, Informationen: Paperback, Gewicht: 440 gr, Verkäufer: averdo- Shop: averdo
- Price: 51.59 EUR excl. shipping
-
Jahnke,A.:Drug-Checking-Programme
Erscheinungsdatum: 17.10.2013, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Drug-Checking-Programme, Titelzusatz: Eine sekundärpräventive Maßnahme für Konsumenten illegaler Drogen?, Autor: Jahnke, Anne, Verlag: VDM Verlag Dr. Müller e.K., Sprache: Deutsch, Rubrik: Sozialpädagogik, Seiten: 80, Informationen: Paperback, Gewicht: 136 gr, Verkäufer: averdo- Shop: averdo
- Price: 49.00 EUR excl. shipping
-
Kagalavadi Ramesh:Model checking trace-
Erscheinungsdatum: 03/2012, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Model checking trace-based information flow properties, Titelzusatz: For finite state systems and pushdown systems, Autor: Kagalavadi Ramesh, Raghavendra // D'Souza, Deepak // Sprick, Barbara, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 64, Informationen: Paperback, Gewicht: 112 gr, Verkäufer: averdo- Shop: averdo
- Price: 43.39 EUR excl. shipping
-
Verification, Model Checking, and Abstract Interpretation
Erscheinungsdatum: 11.01.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verification, Model Checking, and Abstract Interpretation, Titelzusatz: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings, Redaktion: Enea, Constantin // Piskac, Ruzica, Verlag: Springer-Verlag GmbH // Springer International Publishing AG, Sprache: Englisch, Schlagworte: EDV // Theorie // Programmieren // Allgemeines // Software-Entw // Software Engineering // Netzwerk // elektronisch // Internet // Client // Server // Testmethoden // COMPUTERS // Programming // General // Netzwerk-Hardware // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 602, Abbildungen: 155 schwarz-weiße Abbildungen, Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 11388), Informationen: Book, Gewicht: 953 gr, Verkäufer: averdo- Shop: averdo
- Price: 80.09 EUR excl. shipping
-
Dallmeier:Mining and Checking Object Be
Erscheinungsdatum: 28.06.2015, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Mining and Checking Object Behavior, Titelzusatz: Efficient Mining of Object Behavior Models, Autor: Dallmeier, Valentin, Verlag: Südwestdeutscher Verlag für Hochschulschriften AG Co. KG, Sprache: Englisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 180, Informationen: Paperback, Gewicht: 284 gr, Verkäufer: averdo- Shop: averdo
- Price: 67.69 EUR excl. shipping
-
Verification, Model Checking, and Abstract Interpretation
Erscheinungsdatum: 11.01.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verification, Model Checking, and Abstract Interpretation, Titelzusatz: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings, Redaktion: Enea, Constantin // Piskac, Ruzica, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Programmieren // Allgemeines // Software-Entw // Software Engineering // Netzwerk // elektronisch // Internet // Client // Server // Testmethoden // COMPUTERS // Programming // General // Netzwerk-Hardware // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 602, Abbildungen: 155 schwarz-weiße Abbildungen, Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 11388), Informationen: Book, Gewicht: 925 gr, Verkäufer: averdo- Shop: averdo
- Price: 80.19 EUR excl. shipping
-
Ding:Using Model Checking to Generate T
Erscheinungsdatum: 26.09.2010, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Using Model Checking to Generate Test Cases for Critical Systems, Titelzusatz: Testing for Safety, Autor: Ding, Wei, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 88, Informationen: Paperback, Gewicht: 149 gr, Verkäufer: averdo- Shop: averdo
- Price: 43.39 EUR excl. shipping