Könyv 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

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
76 883 Ft
FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2013
oldal
550
EAN
9781475752601
ISBN
1475752601
Enbook ID
05258416
Súly
860
Méretek
155 x 235 x 31

Teljes leírás

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.

Érdekelheti

38 497 Ft
57 690 Ft
4 721 Ft
9 298 Ft
16 292 Ft

Flight School

Lita Judge
5 685 Ft
40 972 Ft

Rocks and Minerals

Kathleen Weidner Zoehfeld
3 882 Ft
6 837 Ft

Demon Days

MOMOKO PEACH
7 420 Ft

Daily Might

Simon Peterson
1 381 Ft
14 091 Ft
15 794 Ft

Conduits, Culverts, and Pipes

US Army Corps of Engineers
18 054 Ft
41 299 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták