Search result
Verification, Model Checking, and Abstract Interpretation
English
01.01.2015
Paperback / Softback
Fr. 69.00
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
English
01.01.2015
Paperback / Softback
Fr. 69.00
Transactional Memory. Foundations, Algorithms, Tools, and Applications
English
01.01.2015
Paperback / Softback
Fr. 69.00