Jump to main content

yr 〜
yr

Search results 4

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures
Digital電子書籍・電子雑誌図書
2022
Available onlineNational Diet Library
  • Author HeadingBouyer, Patricia Schröder, Lutz

Foundations of software science and computation structures : 25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings

Foundations of software science and computation structures : 25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings
Paper図書
Patricia Bouyer, Lutz Schröder (eds.)Springerc2022
Other Libraries in Japan
  • Author HeadingFOSSACS Bouyer, Patricia Schröder, Lutz European Confe...

Formal modeling and analysis of timed systems : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, proceedings

Formal modeling and analysis of timed systems : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, proceedings
Paper図書
Eugene Asarin, Patricia Bouyer (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingFORMATS Asarin, Eugene Bouyer, Patricia

Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006 : Paris, France, September 25-27, 2006 : proceedings. : 4th international conference on formal modelling and analysis of timed systems : Sep 2006, Paris, France. (Lecture Notes in Computer Science ; 4202)

Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006 : Paris, France, September 25-27, 2006 : proceedings. : 4th international conference on formal modelling and analysis of timed systems : Sep 2006, Paris, France. (Lecture Notes in Computer Science ; 4202)
Paper図書
Springerc2006.<M17-07-157>
National Diet Library
  • Author Heading...leksandrovich) Bouyer, Patricia, 1976- LIAFA (CNRS and Univer...

Reached to the end of result.

RSS