Formal Description Techniques and Protocol Specification, Testing and Verification

Name: Formal Description Techniques and Protocol Specification, Testing and Verification
Brand: Chapman and Hall
SKU: 9780412820601
Price: 4566 CZK
Availability: InStock

FORTE X / PSTV XVII 97

Autor: Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

Jazyk:

Vazba: Pevná

Vydavatel: Chapman and Hall

Dostupnost: Skladem u dodavatele

Odesíláme za 10-13 dnů

4 566 Kč

Addresses the Formal Description Techniques (FDTs) applicable to Distributed Systems and Communicati...

Informace o knize

Autor

Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

1997

Stránek

550

EAN

9780412820601

ISBN

0412820609

Enbook ID

01983571

Vydavatel

Chapman and Hall

Hmotnost

2170

Rozměry

156 x 234 x 35

Kompletní popis

Addresses the Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, and Logic).

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII 97

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také