本文に飛ぶ

年 〜
年

検索結果 3 件

Tests and proofs : 6th international conference, TAP 2012 : Prague, Czech Republic, May 31-June 1, 2012 : proceedings : TOOLS federated conferences : May 2012, Prague, Czech Republic. (Lecture Notes in Computer Science ; 7305)

Tests and proofs : 6th international conference, TAP 2012 : Prague, Czech Republic, May 31-June 1, 2012 : proceedings : TOOLS federated conferences : May 2012, Prague, Czech Republic. (Lecture Notes in Computer Science ; 7305)
紙図書
Springerc2012.<M17-12-4086>
国立国会図書館
  • 著者標目TAP (Conference) (6th : 2012 : Prague, Czech Republic) Brucker, Achim D. Julliand, Jacques.

B 2007: formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 proceedings

B 2007: formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 proceedings
紙図書
Jacques Julliand, Olga Kouchnarenko (eds.)Springer2006
全国の図書館

EXPRESSION DES COMMUNICATIONS ENTRE PROCESSUS D'UN PROGRAMME PARALLELLE PAR DES TYPES ABSTRAITS

EXPRESSION DES COMMUNICATIONS ENTRE PROCESSUS D'UN PROGRAMME PARALLELLE PAR DES TYPES ABSTRAITS
紙博士論文
Julliand, Jacques.Université de Besançon1981.<M-DIFR-7424>
国立国会図書館
  • 著者標目Julliand, Jacques.

検索結果は以上です。

RSS