Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE X / PSTV XVII '97
af Atsushi Togashi, m.fl.
Bog, Paperback, Engelsk, 2013
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).
Priser fra 4 boghandlere
- BoghandlerPrisFragtLevering
- SAXO1.509,95 kr.Gratis fragtUkendtKøb for 1.509,95 kr.Køb
- Bogreolen2.168,95 kr.0,00 kr.2-4 ugerKøb for 2.168,95 kr.Køb
- Tales2.169,95 kr.34,95 kr.2-4 ugerKøb for 2.169,95 kr.Køb
- Pling BØGER2.169,95 kr.34,95 kr.2-4 ugerKøb for 2.169,95 kr.Køb
Bogdetaljer
- SprogEngelsk
- IndbindingPaperback
- ISBN9781475752601
- Udgivet11/01/2013
- Udgivet afSpringer-Verlag New York Inc.
- Længde550 sider
- ForfattereAtsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
- GenreBusiness og læring, Computer og IT