Formal Description Techniques and Protocol Specification, Testing and Verification di Teruo Higashino, Tadanori Mizuno, Norio Shiratori, Atsushi Togashi edito da Springer US
Alta reperibilità

Formal Description Techniques and Protocol Specification, Testing and Verification

Forte X / Pstv Xvii '97

Editore:

Springer US

EAN:

9780412820601

ISBN:

0412820609

Pagine:
580
Formato:
Hardback
Lingua:
Inglese
Acquistabile con o la

Descrizione Formal Description Techniques and Protocol Specification, Testing and Verification

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.

Spedizione gratuita
€ 227.18
o 3 rate da € 75.73 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Formal Description Techniques and Protocol Specification, Testing and Verification
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti