Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Maur Cerioli, Maura Cerioli - Fundamental Approaches to Software Engineering
Maur Cerioli, Maura Cerioli Fundamental Approaches to Software Engineering Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Parosh Aziz Abdulla, Parosh Aziz Abdulla, Kesner, Delia Kesner - Foundations of Software Science and Computation Structures
Parosh Aziz Abdulla, Parosh Aziz Abdulla, Kesner, Delia Kesner Foundations of Software Science and Computation Structures Englisch 09.07.2025 Taschenbuch Fr. 56.90 6-7 Wochen
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi - Verification, Model Checking, and Abstract Interpretation
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi Verification, Model Checking, and Abstract Interpretation Englisch 27.03.2025 Taschenbuch Fr. 82.00 6-7 Wochen
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi - Verification, Model Checking, and Abstract Interpretation
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi Verification, Model Checking, and Abstract Interpretation Englisch 27.03.2025 Taschenbuch Fr. 82.00 6-7 Wochen
Viktor Vafeiadis - Programming Languages and Systems
Viktor Vafeiadis Programming Languages and Systems Englisch 10.07.2025 Taschenbuch Fr. 56.90 6-7 Wochen
Viktor Vafeiadis - Programming Languages and Systems
Viktor Vafeiadis Programming Languages and Systems Englisch 10.07.2025 Taschenbuch Fr. 56.90 6-7 Wochen
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan - Automated Technology for Verification and Analysis
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan Automated Technology for Verification and Analysis Englisch 13.02.2025 Taschenbuch Fr. 189.00 6-7 Wochen
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan - Automated Technology for Verification and Analysis
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan Automated Technology for Verification and Analysis Englisch 13.02.2025 Taschenbuch Fr. 169.00 6-7 Wochen
Chang, Stephen Chang, Jason Hemann - Trends in Functional Programming
Chang, Stephen Chang, Jason Hemann Trends in Functional Programming Englisch 27.01.2025 Taschenbuch Fr. 82.00 6-7 Wochen
Aaron Dutle, Laura Humphrey, Laura Titolo - NASA Formal Methods
Aaron Dutle, Laura Humphrey, Laura Titolo NASA Formal Methods Englisch Taschenbuch Fr. 168.00 Erscheint am 06.08.2025