Resultados da pesquisa por Autor

1

Integrated formal methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009 : proceedings /

Integrated formal methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009 : proceedings /

Por International Conference on Integrated Formal Methods, Leuschel, Michael., Wehrheim, Heike.
Publicado em 2009

Obter o texto integral

Livro

2

Formal methods for open object-based distributed systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006: proceedings /

Formal methods for open object-based distributed systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006: proceedings /

Por International Conference on Formal Methods for Open Object-Based Distributed Systems, Gorrieri, Roberto., Wehrheim, Heike.
Publicado em 2006

Obter o texto integral

Livro

3

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Publicado no Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

“...Wehrheim, Heike...”
Obter o texto integral

Livro