Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Pau Pettersson, Paul Pettersson, Yi, Yi, Wang Yi - Formal Modeling and Analysis of Timed Systems
Pau Pettersson, Paul Pettersson, Yi, Yi, Wang Yi Formal Modeling and Analysis of Timed Systems Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Alexandre Petrenko, Andreas Ulrich - Formal Approaches to Software Testing
Alexandre Petrenko, Andreas Ulrich Formal Approaches to Software Testing Inglese 16.08.2005 Tascabile Fr. 70.00 6-7 settimane
Edward A Lee, Edward A. Lee, Mohammad Reza Mousavi, Mohammad Reza Mousavi, Carolyn Talcott - Rebeca for Actor Analysis in Action
Edward A Lee, Edward A. Lee, Mohammad Reza Mousavi, Mohammad Reza Mousavi, Carolyn Talcott Rebeca for Actor Analysis in Action Inglese 06.04.2025 Tascabile Fr. 92.00 6-7 settimane
Susanne Graf, Paul Pettersson, Bernhard Steffen - Real Time and Such
Susanne Graf, Paul Pettersson, Bernhard Steffen Real Time and Such Inglese 05.10.2024 Tascabile Fr. 70.00 6-7 settimane