From object-orientation to formal methods : Essays in Memory of Ole-Johan Dahl / Olaf Owe, Stein Krogdahl, Tom Lyche (Eds.)

Date :

Editeur / Publisher : Berlin : Springer , cop. 2004

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 3-540-21366-X

EAN : 9783540213666

Dahl -- Ole-Johan -- 1931-2002 -- Mélanges et hommages

Conception orientée objets (informatique) -- Mélanges et hommages

Méthodes formelles (informatique) -- Mélanges et hommages

Owe, Olaf (19..-....) (Editeur scientifique / editor)

Krogdahl, Stein (Editeur scientifique / editor)

Lyche, Tom (Editeur scientifique / editor)

Collection : Lecture notes in computer science / Berlin : Springer , 1973-

Relation : From object-orientation to formal methods : essays in memory of Ole-Johan Dahl / [edited by] Olaf Owe, Stein Krogdahl, Tom Lyche / Berlin [etc.] : Springer