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 > » A Unified Approach for Timing Verification and Delay Fault Testing Sivaraman 1998 Lucia a zázraky Hofman, Ota 1988 Použitá: 2,99 € Zázraky každodenného života Bérešová, Daniela 2011 Použitá: 5,99 € Pět Tibeťanů Kelder, Peter 1994 Použitá: 2,99 € 10% Slovensko Vojček, Alexander Nová: 13,46 € Temné touhy 1: Podvol se Banks, Maya 2014 Použitá: 4,99 € Kdo je ten chlap? Dalton, David 2014 Použitá: 10,99 € Verification of Object-Oriented Software. The KeY Approach Beckert 2007 Computer Aided Verification Berry 2001 The Calculus of Computation Bradley 2007 Formal Description Techniques and Protocol Specification, Testing and Verification Budkowski 1998 Hierarchical Annotated Action Diagrams Cerny 1998 Computer Aided Verification Gupta 2008 Computer Aided Verification Halbwachs 1999 Computer Aided Verification Hu 1998 Symbolic Simulation Methods for Industrial Formal Verification Jones 2002 Compositional Verification of Concurrent and Real-Time Systems Juan 2002 Automatic Verification Methods for Finite State Systems Sifakis 1990 3348 knižných titulov « < 1 2 3 4 5 > »