|
Login | Sign Up | Settings | Sell Books | Wish List |
Searching ... |
0 % | |||
Formal Description Techniques and Protocol Specification, Testing and Verification(Reprint) FORTE X / PSTV XVII '97 (IFIP Advances in Information and Communication Technology) by Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino Paperback, 550 Pages, Published 2013 by Springer ISBN-13: 978-1-4757-5260-1, ISBN: 1-4757-5260-1 |
Protocol Test Systems(Reprint) 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems (IFIP Advances in Information and Communication Technology) by Tadanori Mizuno, Teruo Higashino, Norio Shiratori Paperback, 348 Pages, Published 2013 by Springer ISBN-13: 978-1-4757-6310-2, ISBN: 1-4757-6310-7 |
Protocol Test Systems 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems (IFIP Advances in Information and Communication Technology) by Tadanori Mizuno, Teruo Higashino, Norio Shiratori Hardcover, 348 Pages, Published 1995 by Springer ISBN-13: 978-0-412-71160-2, ISBN: 0-412-71160-5 |
Protocol Test Systems 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems by Tadanori Mizuno, Teruo Higashino, Norio Shiratori 348 Pages, Published 2013 by Springer ISBN-13: 978-0-387-34883-4, ISBN: 0-387-34883-2 |
The human nervous system(5th Edition) an anatomical viewpoint by John A. Kiernan, Mauuay Barr, Murray Llewellyn Barr, Teruo Higashino Hardcover, 433 Pages, Published 1988 by Lippincott Williams And Wilkins ISBN-13: 978-0-397-50883-9, ISBN: 0-397-50883-2 |
Formal Description Techniques and Protocol Specification, Testing and Verification FORTE X / PSTV XVII ’97 (IFIP Advances in Information and Communication Technology) by Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino, Various Contributors Hardcover, 550 Pages, Published 1997 by Springer ISBN-13: 978-0-412-82060-1, ISBN: 0-412-82060-9 |
Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings (Lecture Notes in Computer Science) by Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita Paperback, 380 Pages, Published 2013 by Springer ISBN-13: 978-3-319-03088-3, ISBN: 3-319-03088-4 |
Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings (Lecture Notes in Computer Science) by Kenji Suzuki, Teruo Higashino, Khaled El-Fakih, Keiichi Suzuki Yasumoto, Keiichi Yasumoto, Sylvie Nail Paperback, 344 Pages, Published 2008 by Springer ISBN-13: 978-3-540-68854-9, ISBN: 3-540-68854-4 |
Principles of Distributed Systems 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers (Lecture ... Computer Science and General Issues) by Teruo Higashino, P. Siffert Paperback, 472 Pages, Published 2005 by Springer ISBN-13: 978-3-540-27324-0, ISBN: 3-540-27324-7 |
Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings (Lecture ... / Programming and Software Engineering) by Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura Paperback, 570 Pages, Published 2007 by Springer Bargain Price ISBN-13: 978-3-540-75595-1, ISBN: 3-540-75595-0 |
Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, ... (Lecture Notes in Computer Science) by Kenji Suzuki, Andreas Suzuki Ulrich, Teruo Higashino, Toru Hasegawa Paperback, 303 Pages, Published 2008 by Springer ISBN-13: 978-3-540-68514-2, ISBN: 3-540-68514-6 |
Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings by Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita 380 Pages, Published 2013 by Springer ISBN-13: 978-3-319-03089-0, ISBN: 3-319-03089-2 |
Lecture Notes in Computer Science Ser. Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings 4762 by Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura 570 Pages, Published 2007 by Springer ISBN-13: 978-3-540-75596-8, ISBN: 3-540-75596-9 |
ƒRƒ"ƒsƒ... [ƒ^ƒlƒbƒgƒ[ƒN 'æ5"Å by アンドリュー・S. タネンバウム, デイビッド・J. ウエザロール, Andrew S. Tanenbaum, David Wetherall, Tadanori Mizuno, Hitoshi Aida, Teruo Higashino Hardcover, 900 Pages, Published 2013 by 日経bp社 ISBN-13: 978-4-8222-8476-3, ISBN: 4-8222-8476-X |
Lecture Notes in Computer Science Ser. Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008: Proceedings by Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa 303 Pages, Published 2008 by Springer ISBN-13: 978-3-540-68524-1, ISBN: 3-540-68524-3 |
Lecture Notes in Computer Science Ser. Principles of Distributed Systems : 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004: Revised Selected Papers 3544 by Teruo Higashino 472 Pages, Published 2005 by Springer ISBN-13: 978-3-540-31584-1, ISBN: 3-540-31584-5 |
Principles of Distributed Systems by Teruo Higashino Paperback ISBN-13: 978-3-540-81291-3, ISBN: 3-540-81291-1 |
Teruo Higashino