![From Active Data Management to Event-Based Systems and More]( "From Active Data Management to Event-Based Systems and More")
Book
Sachs, K. (Ed), Petrov, I. (Ed), Guerrero, P. (Ed) (2010)
Data management has evolved over the years from being strictly associated with database systems, through active databases, to become a topic that has grown beyond the scope of a …
Available Formats:
Softcover
eBook
![Verification, Induction, Termination Analysis]( "Verification, Induction, Termination Analysis")
Book
Siegler, S. (Ed), Wasser, N. (Ed) (2010)
No description available
Available Formats:
Softcover
eBook
![Concurrency, Compositionality, and Correctness]( "Concurrency, Compositionality, and Correctness")
Book
Dams, D. (Ed), Hannemann, U. (Ed), Steffen, M. (Ed) (2010)
Why would you read this preface? As we start thinking what to write here, we wonder who is going to read these words. …
Available Formats:
Softcover
eBook
![Semantics and Algebraic Specification]( "Semantics and Algebraic Specification")
Book
Palsberg, J. (Ed) (2009)
This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday, includes 17 invited chapters by many of Peter's coauthors, collaborators, close …
Available Formats:
Softcover
eBook
![Formal Methods and Hybrid Real-Time Systems]( "Formal Methods and Hybrid Real-Time Systems")
Book
Jones, C. B. (Ed), Liu, Z. (Ed), Woodcock, J. (Ed) (2007)
No description available
Available Formats:
Softcover
eBook
![From Object-Orientation to Formal Methods]( "From Object-Orientation to Formal Methods")
Book
Owe, O. (Ed), Krogdahl, S. (Ed), Lyche, T. (Ed) (2004)
After Ole-Johan’s retirement at the beginning of the new millennium, some of us had thought and talked about making a “Festschrift” in his honor. When Donald Knuth took the …
Available Formats:
Softcover
eBook
![Formal Methods at the Crossroads. From Panacea to Foundational Support]( "Formal Methods at the Crossroads. From Panacea to Foundational Support")
Book
Aichernig, B. K. (Ed), Maibaum, T. (Ed) (2003)
No description available
Available Formats:
Softcover
eBook
![Verification: Theory and Practice]( "Verification: Theory and Practice")
Book
Dershowitz, N. (Ed) (2003)
This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span …
Available Formats:
Softcover
eBook
![Software Pioneers]( "Software Pioneers")
Book
Broy, M. (Ed), Denert, E. (Ed) (2002)
A lucid statement of the philosophy of modular programming can be found in a 1970 textbook on the design of system programs by Gouthier and Pont [1, l Cfl0. 23], which we quote …
Available Formats:
Softcover
Book with DVD
eBook
![Computational Logic: Logic Programming and Beyond]( "Computational Logic: Logic Programming and Beyond")
Book
Kakas, A. (Ed), Sadri, F. (Ed) (2002)
Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an …
Available Formats:
Softcover
eBook
![Computational Logic: Logic Programming and Beyond]( "Computational Logic: Logic Programming and Beyond")
Book
Kakas, A. C. (Ed), Sadri, F. (Ed) (2002)
Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an …
Available Formats:
Softcover
eBook
