Jump to main content

yr 〜
yr

Search results 4

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems
Digital電子書籍・電子雑誌図書
2022
Available onlineNational Diet Library
  • Author HeadingFisman, Dana Rosu, Grigore

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems
Digital電子書籍・電子雑誌図書
2022
Available onlineNational Diet Library
  • Author HeadingFisman, Dana Rosu, Grigore

Formal techniques for distributed systems : joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012 : Stockholm, Sweden, June 13-16, 2012 : proceedings : 7th international federated conferences on distributed computing techniques (DisCoTec) : 14th IFIP international conference on formal methods for open object-based distributed systems : 32nd IFIP international conference on formal techniques for networked and distributed systems : federated conference event DisCoTec 2012 : Jun 2012, Stockholm, Sweden. (Lecture Notes in Computer Science ; 7273)

Formal techniques for distributed systems : joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012 : Stockholm, Sweden, June 13-16, 2012 : proceedings : 7th international federated conferences on distributed computing techniques (DisCoTec) : 14th IFIP international conference on formal methods for open object-based distributed systems : 32nd IFIP international conference on formal techniques for networked and distributed systems : federated conference event DisCoTec 2012 : Jun 2012, Stockholm, Sweden. (Lecture Notes in Computer Science ; 7273)
Paper図書
Springerc2012.<M17-13-524>
National Diet Library
  • Author Heading...Giese, Holger. Roşu, Grigore. Royal Institute of Technolog...

Algebraic methodology and software technology : 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008 : proceedings

Algebraic methodology and software technology : 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008 : proceedings
Paper図書
José Meseguer, Grigore Roşu (eds.)Springerc2008
Other Libraries in Japan
  • Author Heading...Meseguer, José Roşu, Grigore

Reached to the end of result.

RSS