Jump to main content

yr 〜
yr

Search results 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)
Paper図書
Springerc2012.<M17-12-4086>
National Diet Library
  • Author HeadingTAP (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
Paper図書
Jacques Julliand, Olga Kouchnarenko (eds.)Springer2006
Other Libraries in Japan

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
Paper博士論文
Julliand, Jacques.Université de Besançon1981.<M-DIFR-7424>
National Diet Library
  • Author HeadingJulliand, Jacques.

Reached to the end of result.

RSS