Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology - Atsushi Togashi - Livros - Springer-Verlag New York Inc. - 9781475752601 - 11 de janeiro de 2013
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology Softcover reprint of the original 1st ed. 1997 edition

Atsushi Togashi

Preço
NZD 352,50
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 5 - 11 de ago
Adicione à sua lista de desejos do iMusic

Também disponível como:

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology Softcover reprint of the original 1st ed. 1997 edition

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).


561 pages, 48 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 11 de janeiro de 2013
ISBN13 9781475752601
Editoras Springer-Verlag New York Inc.
Páginas 550
Dimensões 155 × 235 × 29 mm   ·   789 g
Idioma English