Jump to main content

yr 〜
yr

Search results 3

Correct system design : symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday : Oldenburg, Germany, September 8-9, 2015 : proceedings : Sep 2015, Oldenburg, Germany. (Lecture Notes in Computer Science ; 9360. Festschrift)

Correct system design : symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday : Oldenburg, Germany, September 8-9, 2015 : proceedings : Sep 2015, Oldenburg, Germany. (Lecture Notes in Computer Science ; 9360. Festschrift)
Paper図書
Springer[2015]<M17-16-774>
National Diet Library
  • Author Heading...atzer, André. Wehrheim, Heike. University of Oldenburg. Gro...

Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006 : Bologna, Italy, June 14-16, 2006 : proceedings. : federated multiconference DisCoTec (distributed computing techniques) : Jun 2006, Bologna, Italy. (Lecture Notes in Computer Science ; 4037)

Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006 : Bologna, Italy, June 14-16, 2006 : proceedings. : federated multiconference DisCoTec (distributed computing techniques) : Jun 2006, Bologna, Italy. (Lecture Notes in Computer Science ; 4037)
Paper図書
Springerc2006.<M17-06-2599>
National Diet Library
  • Author Heading...ieri, Roberto. Wehrheim, Heike. International Conference on ...

Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings

Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings
Paper図書
Roberto Gorrieri, Heike Wehrheim (eds.)Springerc2006
Other Libraries in Japan
  • Author Heading...rieri, Roberto Wehrheim, Heike

Reached to the end of result.

RSS