Specifying Systems

The TLA+ Language and Tools for Hardware and Software Engineers

Lamport, Leslie | Autoři

Vše od Pearson Education (US)
ISBN: 9780321143068

TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers.

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

984 Kč

1 - 2 ks
984 Kč
3 - 10 ks
974 Kč
11 a více ks
965 Kč

Naše cena 984 Kč je o 6 % nižší než
doporučená cena výrobce 1 047 Kč.

Předpoklad doručení do 27. května *

* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.

984 Kč

Nepřehlédněte od Pearson Education (US)

Více o produktu

TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers.

Výrobce
Pearson Education (US)
Jazyk
United States
Autor
Lamport, Leslie
Rozměry
186 x 233 x 28
Rok vydání
2002
Počet stran
384
Obsah
Paperback / softback
Hmotnost
688
Počet stran
384 pages

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Specifying Systems a pomůžete tak ostatním zákazníkům při výběru.

Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!