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
元 1.509
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