Catálogo Bibliográfico FCT/UNL catalog

Normal view MARC view ISBD view

Formal methods and object technology / editors S. J. Goldsack and S. J. H. Kent. - London : Springer-Verlag , cop. 1996 . - XVIII, 368 p. : il. ; 24 cm. - (FACIT- Formal Approaches to Computing and Information Technology)

ISBN 3-540-19977-2

Programação orientada por objectos

LCC QA76.64