Search result
Abstract State Machines, Alloy, B, TLA, VDM, and Z
English
08.05.2018
Paperback / Softback
Fr. 69.00
Relational Methods for Computer Science Applications
English
25.07.2013
Paperback / Softback
Fr. 70.00
Domain Decomposition Methods in Science and Engineering XVII
English
14.04.2009
Paperback / Softback
Fr. 189.00
Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems
English
14.01.2005
Hardback
Fr. 239.00
Specification and Verification of Multi-agent Systems
English
01.01.2014
Paperback / Softback
Fr. 189.00
Tools and Algorithms for the Construction and Analysis of Systems
English
01.01.2016
Paperback / Softback
Fr. 70.00