Vinkkaa tuotetta kavereillesi:
Formal Techniques for Networked and Distributed Systems: Forte 2001 - Ifip Advances in Information and Communication Technology
Myungchul Kim
Hinta
Fr. 214,99
Tilattu etävarastosta
Arvioitu toimitus pe 23. touko - ke 4. kesä
Lisää iMusic-toivelistallesi
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
| Media | Kirjat Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella) |
| Julkaisupäivämäärä | perjantai 31. elokuuta 2001 |
| ISBN13 | 9780792374701 |
| Tuottaja | Kluwer Academic Publishers |
| Sivujen määrä | 460 |
| Mitta | 156 × 234 × 26 mm · 839 g |
| Toimittaja | Chin, Byoungmoon |
| Toimittaja | Kang, Sungwon |
| Toimittaja | Lee, Danhyung |
Näytä kaikki
Lisää tuotteita Myungchul Kim
![Cover for Myungchul Kim · Formal Techniques for Networked and Distributed Systems: Forte 2001 (Paperback Book) [Softcover Reprint of the Original 1st Ed. 2002 edition] (2013)](https://imusic.b-cdn.net/images/item/original/259/9781475788259.jpg?myungchul-kim-2013-formal-techniques-for-networked-and-distributed-systems-forte-2001-paperback-book&class=scaled&v=1575546316)
![Cover for Myungchul Kim · Testing of Communicating Systems: IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8-10 September 1997, Cheju Island, Korea - IFIP Advances in Information and Communication Technology (Paperback Book) [Softcover reprint of the original 1st ed. 1997 edition] (2013)](https://imusic.b-cdn.net/images/item/original/018/9781475767018.jpg?myungchul-kim-2013-testing-of-communicating-systems-ifip-tc6-10th-international-workshop-on-testing-of-communicating-systems-8-10-september-1997-cheju-island-korea-ifip-advances-in-information-and-communication-technology-paperback-book&class=scaled&v=1410340253)
![Cover for Myungchul Kim · Testing of Communicating Systems: IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8-10 September 1997, Cheju Island, Korea - IFIP Advances in Information and Communication Technology (Hardcover Book) [1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/304/9780412817304.jpg?myungchul-kim-1997-testing-of-communicating-systems-ifip-tc6-10th-international-workshop-on-testing-of-communicating-systems-8-10-september-1997-cheju-island-korea-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1604033436)
Katso kaikki joka sisältää Myungchul Kim ( Esim. Paperback Book Ja Hardcover Book )