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: 844.99 PLN
Availability: InStock

FORTE X / PSTV XVII '97

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

Język:

Oprawa: Miękka

Wydawca: Springer-Verlag New York Inc.

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

844.99 zł

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

Informacje o książce

Autor

Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2013

strony

550

EAN

9781475752601

ISBN

1475752601

Enbook ID

05258416

Wydawca

Springer-Verlag New York Inc.

Waga

860

Wymiary

155 x 235 x 31

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII '97

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również