Modal and Temporal Properties of Processes (anglicky)

· Springer-Verlag New York Inc. · 2011 · brožovaná · 191 stran

Modal and Temporal Properties of Processes (anglicky)

2 025 Kč
2 025 Kč
DMOC 2 231 Kč
Produkt momentálně není dostupný.
Podívejte se na dostupné alternativy.
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. číst celé 
Modal and Temporal Properties of Processes (anglicky)
Produkt momentálně není dostupný.
2 025 Kč
  • Mohlo by Vás také zaujmout
  • Další knihy autora
  • Další zboží nakladatele
  • Naposledy prohlédnuté
  • Podobní autoři

Podobní autoři

Návrh štítků k produktu

Navrhněte maximálně 5 klíčových slov (štítků) k tomuto produktu.

Za každý přidaný štítek musíte poté 5x ohodnotit štítky ostatních.

Nezapomeňte navrhnuté štítky uložit stisknutím tlačítka „Uložit přidané štítky“.

K této knize jste navrhli štítky:

    Hodnocení štítků

    Klikněte na štítek, který se více hodí k produktu.

    Nyní následuje 5x hodnocení štítků ostatních.


    Proč nakupovat u nás?

    • Největší skladové zásoby sortiment všeho druhu
    • Levná doprava doslova za pár kaček
    • Spokojení zákazníci známka kvality
    • Vyzvednutí kdekoliv místo vybíráte vy
    • Skvělá zákaznická podpora neváhejte zavolat
    Ověřené recenze jsou tak výslovně označené, ostatní jsou neověřené.
    Nejsou zde žádné recenze. Buďte první a napište svoji!
    Váš avatar
    Vybrat si
    Jméno
    Vaše recenze
    0

    Kniha návstěv

    Ověřené příspěvky jsou tak označené, ostatní jsou neověřené.

    Alkohol mohou nakupovat pouze osoby starší 18 let.

    Prosím potvrďte, že Vám již bylo 18 let.