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 > » Tools and Algorithms for the Construction and Analysis of Systems Halbwachs 2005 Model Checking Software Havelund 2008 Computer Aided Verification Hunt, Jr. 2003 Tools and Algorithms for the Construction and Analysis of Systems Katoen 2002 Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Lakhnech 2004 Computer Aided Verification Larsen 1992 Verification, Model Checking, and Abstract Interpretation Logozzo 2008 Modal and Temporal Properties of Processes Stirling 2001 Verification, Model Checking, and Abstract Interpretation Zuck 2003 Project Management Checklist: A Complete Guide For Exterior and Interior Construction Stitt 1992 CONCUR 2003 - Concurrency Theory Amadio 2003 FME 2003: Formal Methods Araki 2003 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 387 knižných titulov « < 1 2 3 4 > »