Jump to main content

yr 〜
yr

Search results 13

FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings

FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings
Paper図書
Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.)Springerc2008
Other Libraries in Japan
  • Author Heading...Cuellar, Jorge Maibaum, Thomas S. E. Sere, K. (Kaisa)

TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum, eds. (Lecture notes in computer science ; 493-94)

TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum, eds. (Lecture notes in computer science ; 493-94)
Paper図書
Springer-Verlagc1991.<M15-A7706>
National Diet Library
  • Author Heading...) Abramsky, S. Maibaum, Thomas S. E. International Joint Conferenc...

FM 2008: formal methods : 15th international symposium on formal methods : Turku, Finland, May 26-30, 2008 : proceedings. : formal methods conferences : May 2008, Turku, Finland. (Lecture Notes in Computer Science ; 5014)

FM 2008: formal methods : 15th international symposium on formal methods : Turku, Finland, May 26-30, 2008 : proceedings. : formal methods conferences : May 2008, Turku, Finland. (Lecture Notes in Computer Science ; 5014)
Paper図書
Springerc2008.<M17-08-1784>
National Diet Library
  • Author Heading...uellar, Jorge. Maibaum, Thomas S. E., 1947- Sere, K. (Kaisa) , 195...

Logic and algebraic methods

Logic and algebraic methods
Paper図書
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. GabbayClarendon Press2000
Other Libraries in Japan
  • Author HeadingAbramsky, Samson Gabbay, Dov M. Maibaum, Thomas S. E.

Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST : the International Institute for Software Technology of the United Nations University : Lisbon, Portugal, March 18-20, 2002 : revised papers. : Mar 2002, Lisbon, Portugal. (Lecture Notes in Computer Science ; 2757. Festschrift)

Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST : the International Institute for Software Technology of the United Nations University : Lisbon, Portugal, March 18-20, 2002 : revised papers. : Mar 2002, Lisbon, Portugal. (Lecture Notes in Computer Science ; 2757. Festschrift)
Paper図書
Springer-Verlagc2003.<M17-04-2563>
National Diet Library
  • Author Heading...hard K., 1969- Maibaum, Thomas S. E., 1947- UNU/IIST 2002 (2002 : ...

Formal methods and software engineering : 10th international conference on formal engineering methods, ICFEM 2008 : Kitakyushu-City, Japan, October 27-31, 2008 : proceedings. : Oct 2008, Kitakyushu-City, Japan. (Lecture Notes in Computer Science ; 5256)

Formal methods and software engineering : 10th international conference on formal engineering methods, ICFEM 2008 : Kitakyushu-City, Japan, October 27-31, 2008 : proceedings. : Oct 2008, Kitakyushu-City, Japan. (Lecture Notes in Computer Science ; 5256)
Paper図書
New Yorkc2008.<M17-09-1169>
National Diet Library
  • Author HeadingLiu, Shaoying, 1960- Maibaum, Thomas S. E., 1947- Araki, Keijirō, 1954- ...

Semantic modelling

Semantic modelling
Paper図書
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. AbramskyClarendon Press1995
Other Libraries in Japan
  • Author HeadingAbramsky, Samson Gabbay, Dov M. Maibaum, Thomas S. E.

Semantic structures

Semantic structures
Paper図書
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. AbramskyClarendon Press1994
Other Libraries in Japan
  • Author HeadingAbramsky, Samson Gabbay, Dov M. Maibaum, Thomas S. E.

Background : mathematical structures

Background : mathematical structures
Paper図書
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. GabbayClarendon Press1992
Other Libraries in Japan
  • Author HeadingAbramsky, Samson Gabbay, Dov M. Maibaum, Thomas S. E.

Background : computational structures

Background : computational structures
Paper図書
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. GabbayClarendon Press1992
Other Libraries in Japan
  • Author HeadingAbramsky, Samson Gabbay, Dov M. Maibaum, Thomas S. E.

Colloquium on Trees in Algebra and Programming (CAAP '91) : gw : us

Colloquium on Trees in Algebra and Programming (CAAP '91) : gw : us
Paper図書
S. Abramsky, T.S.E. Maibaum, (eds.)Springer-Verlagc1991
Other Libraries in Japan
  • Author Heading...ramsky, Samson Maibaum, Thomas S. E.

Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) : gw : us

Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) : gw : us
Paper図書
S. Abramsky, T.S.E. Maibaum, (eds.)Springer-Verlagc1991
Other Libraries in Japan
  • Author Heading...ramsky, Samson Maibaum, Thomas S. E. Colloquium on Trees in Algebr...

Specification of computer programs

Specification of computer programs
Paper図書
Władysław M. Turski, Thomas S.E. MaibaumAddison-Wesleyc1987
Other Libraries in Japan
  • Author HeadingTurski, Władysław Maibaum, Thomas S. E.

Reached to the end of result.

RSS