Search result
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
English
12.06.2016
Paperback / Softback
Fr. 70.00
Models, Languages, and Tools for Concurrent and Distributed Programming
English
04.07.2019
Paperback / Softback
Fr. 70.00
Requirements Engineering: Foundation for Software Quality
English
08.03.2019
Paperback / Softback
Fr. 92.00
High Performance Computing for Computational Science - VECPAR 2018
English
26.03.2019
Paperback / Softback
Fr. 70.00
Abstract State Machines, Alloy, B, TLA, VDM, and Z
English
08.05.2018
Paperback / Softback
Fr. 70.00