Cărți de Teruo Higashino

Stabilization, Safety, and Security of Distributed Systems: 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Lecture Notes in Computer Science, nr. 8255

Editat de Teruo Higashino et al.

20 noi 2013

Preț: 335^.35 lei 419^.19 lei

6-8 săpt.

-20%

Protocol Test Systems: 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems

IFIP Advances in Information and Communication Technology

Editat de Tadanori Mizuno et al.

30 iun 1995

Preț: 953^.65 lei 1162^.99 lei

6-8 săpt.

-18%

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97

IFIP Advances in Information and Communication Technology

Autor Atsushi Togashi et al.

31 oct 1997

Preț: 1282^.67 lei 1603^.34 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 5047

Editat de Kenji Suzuki et al.

26 mai 2008

Preț: 332^.07 lei 415^.10 lei

6-8 săpt.

-20%

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, nr. 5048

Editat de Kenji Suzuki et al.

27 mai 2008

Preț: 333^.73 lei 417^.17 lei

6-8 săpt.

-20%

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Lecture Notes in Computer Science, nr. 4762

Editat de Kedar Namjoshi et al.

9 oct 2007

Preț: 346^.84 lei 433^.55 lei

6-8 săpt.

-20%

Principles of Distributed Systems: 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers

Lecture Notes in Computer Science, nr. 3544

Editat de Teruo Higashino

20 iul 2005

Preț: 338^.97 lei 423^.72 lei

6-8 săpt.

-20%