Ergebnisse filtern
-
- 9
-
- 3
- 2
- 1
- 1
- 1
- 1
-
- 4
- 1
- 1
- 3
-
- 5
- 4
-
- 9
-
- 9
-
- 9
Mathematik | Informatik
-
Higashino Principles of Distributed Systems
8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-27324-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mizuno / Higashino / Shiratori Protocol Test Systems
7th Workshop 7th Ifip Wg 6.1 International Workshop on Protocol Text Systems1995. Auflage 1995Verlag: Springer UsISBN: 978-0-412-71160-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mizuno / Shiratori / Higashino Protocol Test Systems
7th workshop 7th IFIP WG 6.1 international workshop on protocol text systemsSoftcover Nachdruck of the original 1. Auflage 1995Verlag: Springer USISBN: 978-1-4757-6310-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Togashi / Higashino / Mizuno Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE X / PSTV XVII '971997Verlag: Springer USISBN: 978-0-412-82060-1Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Namjoshi / Okamura / Yoneda Automated Technology for Verification and Analysis
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-75595-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Togashi / Higashino / Mizuno Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE X / PSTV XVII '97Softcover Nachdruck of the original 1. Auflage 1997Verlag: Springer USISBN: 978-1-4757-5260-1Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Suzuki / Hasegawa / Higashino 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 Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68514-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Suzuki / El-Fakih / Higashino Formal Techniques for Networked and Distributed Systems - FORTE 2008
28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68854-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Higashino / Katayama / Yamashita Stabilization, Safety, and Security of Distributed Systems
15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings2013Verlag: Springer International PublishingISBN: 978-3-319-03088-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort