Del 14010
Rigorous State-Based Methods
Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque
Häftad, 2023
853 kr
Rigorous State-Based Methods : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
AvUwe Glässer,Jose Creissac Campos
Engelska, 2023
672 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
Rigorous State-Based Methods
Philippe Palanque, Dominique Mery, Jose Creissac Campos, Uwe Glasser
E-bok
20231 067 kr
Engineering Interactive Computer Systems. EICS 2024 International Workshops
Vera Memmesheimer, Shah Rukh Humayoun, Achim Ebert, Gerrit van der Veer, Philippe Palanque, Kris Luyten, Davide Spano, Jose Creissac Campos, Luciana Zaina
E-bok
20251 780 kr
Del 15518
Engineering Interactive Computer Systems. EICS 2024 International Workshops
Luciana Zaina, José Creissac Campos, Davide Spano, Kris Luyten, Philippe Palanque, Gerrit van der Veer, Achim Ebert, Shah Rukh Humayoun, Vera Memmesheimer
Häftad, 2025
1 473 kr
Open Source Intelligence and Cyber Crime
Mohammad A. Tayebi, Uwe Glässer, David B. Skillicorn
Häftad, 2021
883 kr
Abstract State Machines, Alloy, B and Z
Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
Häftad, 2010
571 kr
Open Source Intelligence and Cyber Crime
Mohammad A. Tayebi, Uwe Glässer, David B. Skillicorn
Inbunden, 2020
1 211 kr
Rigorous Methods for Software Construction and Analysis
Jean-Raymond Abrial, Uwe Glässer
Häftad, 2010
571 kr