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

Formal Methods and Software Engineering

Formal Methods and Software Engineering
7 %

2008  Kč 2 152 Kč

Sleva až 70% u třetiny knih
Formal methods.- Verification.- Network systems.- Type theory.- Theorem proving.- Logic and semantics.- Refinement and transition systems.- Emerging applications of formal methods.- Doctoral symposium.
Autor:
Nakladatel: Springer, Berlin
Rok vydání: 2018
Jazyk : Angličtina
Vazba: Paperback / softback
Počet stran: 440
Mohlo by se vám také líbit..