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: 199.2 EUR
Availability: InStock

FORTE X / PSTV XVII 97

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

Jazyk:

Väzba: Pevná

Vydavateľ: Chapman and Hall

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-13 dní

199.20 €

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

Informácie o knihe

Autor

Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

1997

Stránok

550

EAN

9780412820601

ISBN

0412820609

Enbook ID

01983571

Vydavateľ

Chapman and Hall

Hmotnosť

2170

Rozmery

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 zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII 97

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež