年 〜
年

検索結果 3 件

Formal techniques for networked and distributed systems -- FORTE 2006 : 26th IFIP WG 6.1 international conference : Paris, France, September 26-29, 2006 : proceedings. : 26th IFIP WG 6.1 international conference on formal methods for networked and distributed systems : Sep 2006, Paris, France. (Lecture Notes in Computer Science ; 4229)

Formal techniques for networked and distributed systems -- FORTE 2006 : 26th IFIP WG 6.1 international conference : Paris, France, September 26-29, 2006 : proceedings. : 26th IFIP WG 6.1 international conference on formal methods for networked and distributed systems : Sep 2006, Paris, France. (Lecture Notes in Computer Science ; 4229)
紙図書
Springerc2006.<M17-07-191>
国立国会図書館
  • 著者標目...Jean-François. Donzeau-Gouge, Véronique. Methodes Formelles pour les S...

Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java

Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java
紙図書
Thérèse Hardin ... [et al.]ISTE Ltd2021
全国の図書館

Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings

Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
紙図書
Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge (eds.)Springerc2006
全国の図書館

検索結果は以上です。