Ucebnice.cz Odborná • naučnáTechnické vědyInformační technologieSoftwareProgramování
Termín obdržení zásilky
Česká pošta Čtvrtek 28.08
PPL Čtvrtek 28.08
Osobní odběr Pátek 29.08
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

Systems and Software Verification

Systems and Software Verification

3686  Kč

Sleva až 70% u třetiny knih
\n

Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms.

\n
Autor:
Nakladatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642074783
Rok vydání: 2010
Jazyk : Angličtina
Vazba: Měkká
Počet stran: 190
Mohlo by se vám také líbit..