Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Maur Cerioli, Maura Cerioli - Fundamental Approaches to Software Engineering
Maur Cerioli, Maura Cerioli Fundamental Approaches to Software Engineering Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 09.07.2025 Tascabile Fr. 55.90 6-7 settimane
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 Inglese 27.03.2025 Tascabile Fr. 82.00 6-7 settimane
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 Inglese 27.03.2025 Tascabile Fr. 82.00 6-7 settimane
Viktor Vafeiadis - Programming Languages and Systems
Viktor Vafeiadis Programming Languages and Systems Inglese 10.07.2025 Tascabile Fr. 55.90 6-7 settimane
Viktor Vafeiadis - Programming Languages and Systems
Viktor Vafeiadis Programming Languages and Systems Inglese 10.07.2025 Tascabile Fr. 55.90 6-7 settimane
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 Inglese 13.02.2025 Tascabile Fr. 189.00 6-7 settimane
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 Inglese 13.02.2025 Tascabile Fr. 169.00 6-7 settimane
Chang, Stephen Chang, Jason Hemann - Trends in Functional Programming
Chang, Stephen Chang, Jason Hemann Trends in Functional Programming Inglese 27.01.2025 Tascabile Fr. 82.00 6-7 settimane
Aaron Dutle, Laura Humphrey, Laura Titolo - NASA Formal Methods
Aaron Dutle, Laura Humphrey, Laura Titolo NASA Formal Methods Inglese Tascabile Fr. 168.00 Pubblicazione il 06.08.2025