Search result
Algebraic and Proof-theoretic Aspects of Non-classical Logics
English
14.04.2009
Paperback / Softback
Fr. 70.00
Verification, Model Checking, and Abstract Interpretation
English
19.02.2009
Paperback / Softback
Fr. 70.00
ZB 2003: Formal Specification and Development in Z and B
English
02.08.2005
Paperback / Softback
Fr. 135.00
Software Quality Approaches: Testing, Verification, and Validation
English
05.11.2001
Paperback / Softback
Fr. 70.00
Verification, Model Checking, and Abstract Interpretation
English
16.08.2005
Paperback / Softback
Fr. 70.00
Formal Techniques for Networked and Distributed Systems - FORTE 2003
English
19.02.2009
Paperback / Softback
Fr. 70.00
Computers and Cognition: Why Minds are not Machines
English
26.06.2009
Paperback / Softback
Fr. 70.00