Fortæl dine venner om denne vare:
Formal Techniques for Networked and Distributed Systems: Forte 2001 - Ifip Advances in Information and Communication Technology
Myungchul Kim
Pris
DKK 2.029
Bestilles fra fjernlager
Forventes klar til forsendelse 25. jun. - 3. jul.
Tilføj til din iMusic ønskeseddel
Eller
Formal Techniques for Networked and Distributed Systems: Forte 2001 - Ifip Advances in Information and Communication Technology
Myungchul Kim
Presents worldwide results in theory and practice of formal techniques for networked and distributed systems. This book covers formal methods in software development, process algebra, timed automata, theories and applications of verification, distributed systems testing, and test sequence derivation.
460 pages, biography
Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
Udgivet | 31. august 2001 |
ISBN13 | 9780792374701 |
Forlag | Kluwer Academic Publishers |
Antal sider | 460 |
Mål | 156 × 234 × 26 mm · 839 g |
Klipper/redaktør | Chin, Byoungmoon |
Klipper/redaktør | Kang, Sungwon |
Klipper/redaktør | Lee, Danhyung |