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: 4566 CZK
Availability: InStock

FORTE X / PSTV XVII '97

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

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer-Verlag New York Inc.

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

4 566 Kč

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

Informace o knize

Autor

Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2013

Stránek

550

EAN

9781475752601

ISBN

1475752601

Enbook ID

05258416

Vydavatel

Springer-Verlag New York Inc.

Hmotnost

860

Rozměry

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 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é