skip to main content

Integrated formal methods 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 proceedings

International Conference on Integrated Formal Methods (4th 2004 Canterbury, England) Eerke Boiten 1966; John Derrick 1963; Graeme Smith 1966

Berlin Springer New York c2004

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

Buscando em bases de dados remotas. Favor aguardar.