Výsledky hledání pro autora

1

Obálka

Fundamental approaches to software engineering : third International Conference, FASE 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 : Berlin, Germany, March 25-April 2, 2000 : proceedings /

Vydáno 2000

Další autoři: '; “...Maibaum, Thomas S. E., 1947-...”

Kniha

2

Obálka

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

Vydáno 2008

Další autoři: '; “...Maibaum, Thomas S. E., 1947-...”

Kniha

3

Obálka

Formal methods and software engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008 : Kitakyushu-City, Japan, October 27-31, 2008 : proceedings /

Vydáno 2008

Další autoři: '; “...Maibaum, Thomas S. E., 1947-...”

Kniha

4

Obálka

Handbook of logic in computer science. Vol. 2., Background: computational structures /

Vydáno 1992

Další autoři: '; “...Maibaum, Thomas S. E., 1947-...”

Kniha

5

Obálka

Handbook of logic in computer science. Vol. 3., Background: semantics structures /

Vydáno 1994

Další autoři: '; “...Maibaum, Thomas S. E., 1947-...”

Kniha

6

Obálka

Handbook of logic in computer science. Vol. 1, Background: mathematical structures /

Vydáno 1992

Další autoři: '; “...Maibaum, Thomas S. E., 1947-...”

Kniha

7

Obálka

Handbook of logic in computer science. Vol. 4, Semantic modelling /

Vydáno 1995

Další autoři: '; “...Maibaum, Thomas S. E., 1947-...”

Kniha