Ucebnice.cz Odborná • naučnáTechnické vědyInformační technologieSoftwareProgramování
Termín obdržení zásilky
Česká pošta Středa 27.05
PPL Středa 27.05
Osobní odběr Čtvrtek 28.05
Termíny jsou pouze orientační a mohou se lišit podle zvoleného typu platby. O Průběhu zásilky Vás budeme informovat e-mailem.
Při nákupu většího množství produktů negarantujeme dodání do zobrazeného data

Modal and Temporal Properties of Processes

9 %

2028  Kč 2 231 Kč

Sleva až 70% u třetiny knih
In recent years, model checking has become an essential technique for the formal verification of systems. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
Autor:
Nakladatel: Springer-Verlag New York Inc.
ISBN: 9781441931535
Rok vydání: CZE
Jazyk : Čeština
Vazba: CZE
Počet stran: CZE
Mohlo by se vám také líbit..