Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (17 chapters)
Keywords
About this book
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