Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology - Atsushi Togashi - Bøger - Chapman and Hall - 9780412820601 - 31. oktober 1997
Ved uoverensstemmelse mellem cover og titel gælder titel

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology 1997 edition

Atsushi Togashi

Pris
₩ 364.000

Bestilles fra fjernlager

Forventes klar til forsendelse 1. - 7. aug.
Tilføj til din iMusic ønskeseddel
Eller

Findes også som:

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology 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).


550 pages, biography

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 31. oktober 1997
ISBN13 9780412820601
Forlag Chapman and Hall
Antal sider 550
Mål 156 × 234 × 31 mm   ·   984 g
Sprog Engelsk