Kód: 19285025

Model Checking

Name: Model Checking
Brand: MIT Press Ltd
SKU: 19285025
Price: 2468.00 CZK
Availability: BackOrder

Autor Clarke, Edmund M., Jr. (Carnegie Mellon University), Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled,

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.

Jazyk: Angličtina
Vazba: Pevná
Počet stran: 424
Nakladatelství: MIT Press Ltd, 2018
Více informací o knize

2468 Kč

Dostupnost:

50 % šance

Máme informaci, že by titul mohl být dostupný. Na základě vaší objednávky se ho pokusíme do 6 týdnů zajistit.
Prohledáme celý svět

Informovat o naskladnění

Přidat mezi přání

Mohlo by se vám také líbit

World Heritage and Sustainable Development
1469 Kč
Koupit
Jahrb cher Oder Chronik Johannes Von Pusilie, Offizials Zu Riesenburg
759 Kč
Koupit
Raising Girls into Extraordinary Young Women
360 Kč
Koupit
17 songs
649 Kč
Koupit
Chinese International Students' Stressors and Coping Strategies in the United States
1442 Kč
Koupit
Fox the Tiger
144 Kč
Koupit
Left, Right
765 Kč
Koupit
Flow
213 Kč
Koupit
Silicon Nanowire Transistors
2987 Kč
Koupit
Knowledge Illusion
407 Kč
Koupit
The Lies We Tell Ourselves: How to Face the Truth, Accept Yourself, and Create a Better Life
324 Kč
Koupit
Portae cum turribus
2867 Kč
Koupit
A Summer Spell
189 Kč
Koupit
HIDDEN
516 Kč
Koupit
The Art of How to Train Your Dragon
1102 Kč
Koupit
Propaganda
398 Kč
Koupit
Traditional Architecture
1218 Kč
Koupit
Verlaque i Bonnet na tropie Tom 1 Śmierć w Chateau Bremont
172 Kč
Koupit
Poručník Lady Fiony
198 Kč
Koupit
Oeuvres De Condorcet: Biographie De Condorcet, Correspondance, Et Oeuvres Divreses
1064 Kč
Koupit
Moje pierwsze pięć lat wspomnienie dzieciństwa
408 Kč
Koupit

Dárkový poukaz: Radost zaručena

Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
Poukaz se vztahuje na celou naši nabídku.
Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
Platnost poukazu je 12 měsíců od data vystavení.

Objednat dárkový poukaz Více informací

Informovat o naskladnění knihy

Zašleme vám zprávu jakmile knihu naskladníme

Zadejte do formuláře e-mailovou adresu a jakmile knihu naskladníme, zašleme vám o tom zprávu. Pohlídáme vše za vás.

Nákupem získáte 247 bodů

Anotace knihy

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science

2468 Kč

Plný název: Model Checking
Autor: Clarke, Edmund M., Jr. (Carnegie Mellon University), Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled,
Jazyk: Angličtina
Vazba: Pevná
Počet stran: 424
EAN: 9780262038836
ISBN: 9780262038836
ID: 19285025
Nakladatelství: MIT Press Ltd
Hmotnost: 820 g
Rozměry: 236 × 187 × 25 mm
Datum vydání: 04. December 2018