Del 14010
Rigorous State-Based Methods
Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque
Häftad, 2023
826 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
650 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
Open Source Intelligence and Cyber Crime
Mohammad A. Tayebi, Uwe Glässer, David B. Skillicorn
Häftad, 2021
860 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 435 kr
Open Source Intelligence and Cyber Crime
Mohammad A. Tayebi, Uwe Glässer, David B. Skillicorn
Inbunden, 2020
1 179 kr
Abstract State Machines, Alloy, B and Z
Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
Häftad, 2010
556 kr
Rigorous Methods for Software Construction and Analysis
Jean-Raymond Abrial, Uwe Glässer
Häftad, 2010
556 kr
- -19%
- Nyhet
Del 2