Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII ’97

Togashi, Atsushi;Mizuno, Tadanori;Shiratori, Norio;Higashino, Teruo | Autoři

Vše od Springer-Verlag New York Inc.
ISBN: 9781475752601

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).

Více o produktu


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

5 287 Kč

1 - 2 ks
5 287 Kč
3 - 10 ks
5 235 Kč
11 a více ks
5 183 Kč

Naše cena 5 287 Kč je o 6 % nižší než
doporučená cena výrobce 5 625 Kč.

Předpoklad doručení do 29. 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.

5 287 Kč 5 625 Kč

Nepřehlédněte od Springer-Verlag New York Inc.

Více o produktu

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).

Výrobce
Springer-Verlag New York Inc.
Jazyk
United States
Autor
Togashi, Atsushi;Mizuno, Tadanori;Shiratori, Norio;Higashino, Teruo
Rozměry
235 x 155
Rok vydání
2013
Počet stran
550
Obsah
Paperback / softback
Počet stran
550 pages, XI, 550 p.

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Formal Description Techniques and Protocol Specification, Testing and Verification 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!