Model Checking Software Christian Schilling
58,84 €
Titel: Model Checking Software, Untertitel: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings, Einband: Taschenbuch, Autor: Christian Schilling, Verlag: Springer Nature Switzerland, Springer International Publishing, Sprache: Englisch, Seiten: 212, Maße: 235x155x12 mm, Gewicht: 330 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Cyber Security Embedded Systems architecting automata cryptography formal languages formal logic formal methods formal security models formal verification knowledge-based system linguistics mathematical foundations of cryptography mathematics model checking runtime enforcement.
Jetzt bei Ebay:
