학술논문
'학술논문'
에서 검색결과 32건 | 목록
1~10
Academic Journal
In Electronic Notes in Theoretical Computer Science 13 July 2007 185:47-62
Academic Journal
In Electronic Notes in Theoretical Computer Science 11 July 2007 183:39-55
Academic Journal
In Theoretical Computer Science 2006 364(3):318-337
Conference
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on. :329-338 Sep, 2007
Book
Rigorous Methods for Software Construction & Analysis; 2009, p78-92, 15p
Book
Rigorous Methods for Software Construction & Analysis; 2009, p17-32, 16p
Book
Brauer, Wilfried; Hromkovič, Juraj; Rozenberg, Grzegorz; Salomaa, Arto; Bjørner, Dines; Henson, Martin C.; Cansell, Dominique; Méry, Dominique
Logics of Specification Languages; 2008, p47-152, 106p
Book
Hutchison, David; Kanade, Takeo; Kittler, Josef; Kleinberg, Jon M.; Mattern, Friedemann; Mitchell, John C.; Naor, Moni; Nierstrasz, Oscar; Pandu Rangan, C.; Steffen, Bernhard; Sudan, Madhu; Terzopoulos, Demetri; Tygar, Doug; Vardi, Moshe Y.; Weikum, Gerhard; Diekert, Volker; Volkov, Mikhail V.; Voronkov, Andrei; Cansell, Dominique; Méry, Dominique
Computer Science - Theory & Applications (9783540745099); 2007, p104-114, 11p
Book
B 2007: Formal Specification & Development in B; 2006, p232-247, 16p
Book
B 2007: Formal Specification & Development in B; 2006, p155-170, 16p
검색 결과 제한하기
제한된 항목
[AR] Cansell, Dominique
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어