Kategória: Jazyk: Všetky jazyky Anglický Slovenský Český Zoradiť podľa: najnovšie autor A – Z autor Z – A názov A – Z názov Z – A zobraziť iba dostupné zobraziť iba použité reset filtrov +
« < 1 2 3 4 5 > » CONCUR 2007 - Concurrency Theory Caires 2007 Modeling and Verification of Parallel Processes Cassez 2001 Digital Document Processing Chaudhuri 2007 Verification, Model Checking, and Abstract Interpretation Cortesi 2002 Static Analysis Cousot 2001 Computer Aided Verification Damm 2007 Formal Techniques in Real-Time and Fault-Tolerant Systems Damm 2002 Trustworthy Global Computing De Nicola 2005 Automated Reasoning Furbach 2006 Correct Hardware Design and Verification Methods Geist 2003 Model Checking Software Graf 2004 Computer Aided Verification Gupta 2008 Advances in Computer Games Herik 2006 Computer-Aided Reasoning Kaufmann 2000 Computer-Aided Reasoning Kaufmann 2000 Introduction to Formal Hardware Verification Kropf 1999 Tools and Algorithms for the Construction and Analysis of Systems Margaria 2001 Algebraic Methodology and Software Technology Rattray 2004 387 knižných titulov « < 1 2 3 4 5 > »