Ergebnisse filtern
-
- 9
- 7
-
- 6
- 4
- 2
- 2
- 1
- 1
-
- 4
- 4
- 2
- 1
- 5
-
- 10
- 6
-
- 16
-
- 16
-
- 16
-
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
-
Higashino Principles of Distributed Systems
8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers2005Verlag: SpringerISBN: 978-3-540-31584-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
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 / Higashino / Shiratori Protocol Test Systems
7th workshop 7th IFIP WG 6.1 international workshop on protocol text systemsErscheinungsjahr 2013Verlag: Springer USISBN: 978-0-387-34883-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar
-
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
-
Suzuki / Higashino / Ulrich 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: SpringerISBN: 978-3-540-68524-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
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
-
Namjoshi / Yoneda / Higashino Automated Technology for Verification and Analysis
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings2007Verlag: SpringerISBN: 978-3-540-75596-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
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
-
Togashi / Mizuno / Shiratori Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE X / PSTV XVII ’97Erscheinungsjahr 2013Verlag: Springer USISBN: 978-0-387-35271-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark213,99 € (inkl. MwSt.)
sofort verfügbar
-
Suzuki / Higashino / Yasumoto Formal Techniques for Networked and Distributed Systems – FORTE 2008
28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings2008Verlag: SpringerISBN: 978-3-540-68855-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
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
-
Higashino / Katayama / Masuzawa Stabilization, Safety, and Security of Distributed Systems
15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. ProceedingsErscheinungsjahr 2013Verlag: Springer International PublishingISBN: 978-3-319-03089-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
