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 +
« < 3 4 5 6 7 > » CONCUR 2006 - Concurrency Theory Baier 2006 Computer Aided Verification Ball 2006 Principles of the Spin Model Checker Ben-Ari 2008 Formal Methods for Performance Evaluation Bernardo 2007 Perspectives of System Informatics Bjorner 2000 Computer Aided Verification Bochmann 1993 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 8388 knižných titulov « < 3 4 5 6 7 > »