Overview
- Honorary volume dedicated to Bernhard Steffen on occasion to his 60 birthday
- Written by well-known experts
- Features the broad range of Bernhard Steffen research topics
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11200)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
- artificial intelligence
- computer architecture
- formal logic
- formal methods
- logic programming
- model checking
- problem solving
- processors
- program compilers
- programming languages
- semantics
- set theory
- software engineering
- software evaluation
- specifications
- static analysis
- temporal logic
- theorem proving
- verification
- algorithm analysis and problem complexity
Table of contents (24 chapters)
-
Introduction
-
Kiel 1983–1987
-
Aachen 1990–1993
Editors and Affiliations
Bibliographic Information
Book Title: Models, Mindsets, Meta: The What, the How, and the Why Not?
Book Subtitle: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Editors: Tiziana Margaria, Susanne Graf, Kim G. Larsen
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-22348-9
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2019
Softcover ISBN: 978-3-030-22347-2Published: 26 June 2019
eBook ISBN: 978-3-030-22348-9Published: 25 June 2019
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XV, 431
Number of Illustrations: 735 b/w illustrations, 52 illustrations in colour
Topics: Models and Principles, Software Engineering, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity