Książka Formal Description Techniques and Protocol Specification, Testing and Verification Atsushi Togashi

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII '97

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
844.99
FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2013
strony
550
EAN
9781475752601
ISBN
1475752601
Enbook ID
05258416
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

423.12
634.01
52.32
103.10
180.43
868.92

Flight School

Lita Judge
61.76
489.85
36.66

Rocks and Minerals

Kathleen Weidner Zoehfeld
44.15
75.57

Demon Days

MOMOKO PEACH
83.06

Daily Might

Simon Peterson
16.43
156.89
175.86

Conduits, Culverts, and Pipes

US Army Corps of Engineers
199.98
446.37
550.65

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

Alfàbia

Calleja
42.11
84.03
489.66