From object-orientation to formal methods : essays in memory of Ole-Johan Dahl /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Dahl, Ole-Johan, 1931-, Owe, Olaf, Krogdahl, Stein, Lyche, Tom
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [2004]
Series:	Lecture notes in computer science ; 2635.
Subjects:	Object-oriented methods (Computer science) Formal methods (Computer science) System design. Approche orientée objet (Informatique) Méthodes formelles (Informatique) Systèmes, Conception de. Object-georiënteerd programmeren. Programação orientada a objetos (métodos) Approche orientée objet. Méthode formelle. Conception de systèmes. Electronic books.
Online Access:	Connect to the full text of this electronic book http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2635

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource (x, 388 pages) : illustrations, portrait
Bibliography:	Includes bibliographical references and index.
ISBN:	354021366X 9783540213666
ISSN:	0302-9743 ;