Ergebnisse filtern
-
- 9
- 3
-
- 6
- 2
- 1
- 1
- 1
- 1
-
- 10
- 1
- 1
-
- 6
- 6
-
- 12
-
- 12
-
- 12
-
Higashino Principles of Distributed Systems
8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 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: Buch164,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Mizuno / Higashino / Shiratori Protocol Test Systems
7th workshop 7th IFIP WG 6.1 international workshop on protocol text systemsErscheinungsjahr 2013Verlag: SpringerISBN: 978-0-387-34883-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar -
Mizuno / Higashino / Shiratori Protocol Test Systems
7th workshop 7th IFIP WG 6.1 international workshop on protocol text systemsErscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4757-6310-2Medium: Buch160,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 ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75595-1Medium: 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 1997Verlag: SpringerISBN: 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 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 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: SpringerISBN: 978-1-4757-5260-1Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Togashi / Mizuno / Shiratori Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE X / PSTV XVII '97Erscheinungsjahr 2013Verlag: SpringerISBN: 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 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68854-9Medium: 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: SpringerISBN: 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