Sprache
Thema
Format
Zurücksetzen Verfügbarkeit
Autoren

Suchresultat

Hakjoo Oh, Siu, Yulei Siu, Sui, Yulei Sui - Static Analysis
Hakjoo Oh, Siu, Yulei Siu, Sui, Yulei Sui Static Analysis Englisch 05.11.2025 Taschenbuch Fr. 103.00 6-7 Wochen
Aaron Dutle, Laura Humphrey, Laura Titolo - NASA Formal Methods
Aaron Dutle, Laura Humphrey, Laura Titolo NASA Formal Methods Englisch 06.08.2025 Taschenbuch Fr. 169.00 6-7 Wochen
Gian Luca Pozzato, Gian Luca Pozzato, Uustalu, Tarmo Uustalu - Automated Reasoning with Analytic Tableaux and Related Methods
Gian Luca Pozzato, Gian Luca Pozzato, Uustalu, Tarmo Uustalu Automated Reasoning with Analytic Tableaux and Related Methods Englisch 04.12.2025 Taschenbuch Fr. 56.90 6-7 Wochen
Roberto Giacobazzi, Gorla, Alessandra Gorla - Static Analysis
Roberto Giacobazzi, Gorla, Alessandra Gorla Static Analysis Englisch 01.12.2024 Taschenbuch Fr. 103.00 6-7 Wochen