
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (17 chapters)
Reviews
From the reviews:
"This festschrift is … a fitting posthumous tribute to Dahl by close colleagues and highly respected computer scientists from around the world. … This book will be of interest to any computer scientist who met Dahl or knows him by reputation. Anyone concerned with formal methods research will also find it a useful set of papers; all the contributors are of international calibre and many are well-known computer scientists. … All academic libraries covering software engineering would benefit from a copy." (Jonathan Bowen, The Times Higher Education Supplement, February, 2005)
Editors and Affiliations
Bibliographic Information
Book Title: From Object-Orientation to Formal Methods
Book Subtitle: Essays in Memory of Ole-Johan Dahl
Editors: Olaf Owe, Stein Krogdahl, Tom Lyche
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b96089
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2004
Softcover ISBN: 978-3-540-21366-6Published: 31 March 2004
eBook ISBN: 978-3-540-39993-3Published: 09 March 2004
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 392
Topics: Software Engineering/Programming and Operating Systems, Software Engineering, Programming Techniques, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Mathematical Logic and Formal Languages