Formal Description Techniques and Protocol Specification, Testing and Verification

Name: Formal Description Techniques and Protocol Specification, Testing and Verification
Brand: Springer-Verlag New York Inc.
SKU: 9781475752601
Price: 199.82 EUR
Availability: InStock

FORTE X / PSTV XVII '97

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

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag New York Inc.

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

199.82 €

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and...

Informácie o knihe

Autor

Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2013

Stránok

550

EAN

9781475752601

ISBN

1475752601

Enbook ID

05258416

Vydavateľ

Springer-Verlag New York Inc.

Hmotnosť

860

Rozmery

155 x 235 x 31

Kompletný popis

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). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.

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ž