
Fortell venner om denne varen:
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
¥ 31.292
Bestillingsvarer
Forventes levert 6. - 14. aug
Legg til iMusic ønskeliste
Eller
Finnes 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
Atsushi Togashi
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
Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
Utgitt | 31. oktober 1997 |
ISBN13 | 9780412820601 |
Utgivere | Chapman and Hall |
Antall sider | 550 |
Mål | 156 × 234 × 31 mm · 984 g |
Språk | Engelsk |
Se alt med Atsushi Togashi ( f.eks. Innbunden bok og Pocketbok )