Systems and Software Verification

Systems and Software Verification

B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen
a najít nejvýhodnější cenu za celou objednávku
Knihu koupíte v 1 e-shopu
Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku. Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.
Systems and Software Verification koupíte na Bookshop.cz
Bookshop.cz
3 525 Kč
Není skladem
Krátký popis
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…

Zobrazit celý popis
Výběr knih vydavatele Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Kniha Topology I

Topology I

  Chci koupit
Kniha Data you need to know about China

Data you need to know about China

  Chci koupit
Kniha 10 Don'ts on Your Digital Devices

10 Don'ts on Your Digital Devices

  Chci koupit
Kniha "New Culture"

"New Culture"

  Chci koupit
Kniha New Windows into the Universe

New Windows into the Universe

Cena od 1 089 Kč

  Chci koupit
Kniha 58. KongreĂź

58. KongreĂź

  Chci koupit
Kniha 3-D Structural Geology

3-D Structural Geology

  Chci koupit
Kniha Zephyr RTOS Embedded C Programming

Zephyr RTOS Embedded C Programming

Cena od 1 650 Kč

  Chci koupit
Zobrazit všechny knihy vydavatele Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Naše tipy
Kniha Její poslední výdech

Její poslední výdech

Cena od 306 Kč

  Chci koupit
Kniha Světelná poselství z Plejád 3

Světelná poselství z Plejád 3

Cena od 306 Kč

  Chci koupit
Kniha Návrh

Návrh

Cena od 318 Kč

  Chci koupit
Kniha Zlatá krev (Speciální edice)

Zlatá krev (Speciální edice)

Cena od 708 Kč

  Chci koupit
Žalozpěv
Žalozpěv
Camilla Läckberg
  Chci koupit
Žalozpěv - Camilla Läckberg

Před třiceti lety beze stopy zmizela středoškolačka Sofie Rudbergová. Spisovatelka Erica Falcková si ji dobře pamatuje ze školy, na rozdíl od ní však Sofie byla jednou z těch „cool“ oblíbených holek. Když jsou ve Fjällbacce nalezeny lidské ostatky, starý případ je znovu otevřen. Vyšetřovatel Patrik Hedström společně s Erikou skládají dohromady střípky minulosti a snaží se odhalit, co se tehdy stalo. V malém městečku má ale každý své tajemství – a někteří udělají cokoli, aby zůstalo skryto.