From object-orientation to formal methods : essays in memory of Ole-Johan Dahl :: ISBN 354021366x :: Springer 2004 :: OBNB, the Open British National Bibliography

Publication Data

Title From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
Contributors Ole-Johan Dahl, Olaf Owe, Stein Krogdahl, Tom Lyche
Publisher Springer
Publication date 2004
Publication location Berlin
Language English

Topics

Object-oriented programming (Computer science)
Formal methods (Computer science)
System design

Catalogue Data

OBNB ID GBA446482
ISBN 10 354021366x
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.117

ISBD

P1053 x, 388 p
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

From object-orientation to formal methods : essays in memory of Ole-Johan Dahl. ISBN 354021366x. Published by Springer in 2004. Publication and catalogue information, links to buy online and reader comments.