skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search prefilters

Modular Specification and Verification of Object-Oriented Programs

Peter Müller

Springer Berlin Heidelberg 2002

Acesso online. A biblioteca também possui exemplares impressos.

Identifique-se para postar sua resenha

Identifique-se para adicionar novas tags

Buscando em bases de dados remotas. Favor aguardar.