Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, access via your institution.
Table of contents (31 chapters)
-
Front Matter
-
Hybrid, Timed, Cyber-Physical and Dynamical Systems
-
Front Matter
-
-
Automata, Logic and Games
-
Front Matter
-
-
Probabilistic and Quantitative Verification
-
Front Matter
-
About this book
This Festschrift volume celebrates his many contributions in the field of computer science, with 31 papers covering various research and application directions, authored by scientists inspired by his efforts and example over many years.
Keywords
- architecting
- architecture verification and validation
- artificial intelligence
- automata theory
- computer programming
- computer systems
- embedded systems
- engineering
- formal languages
- formal logic
- linguistics
- mathematics
- model checking
- software architecture
- software design
- software engineering
- software quality
- theoretical computer science
- verification
- verification and validation
Editors and Affiliations
-
Université Libre de Bruxelles, Brussels, Belgium
Jean-François Raskin
-
Institute of Science and Technology Austria, Klosterneuburg, Austria
Krishnendu Chatterjee
-
École Normale Supérieure Paris-Saclay, Gif-sur-Yvette, France
Laurent Doyen
-
MPI for Software Systems, Kaiserslautern, Germany
Rupak Majumdar
Bibliographic Information
Book Title: Principles of Systems Design
Book Subtitle: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
Editors: Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-22337-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2022
Softcover ISBN: 978-3-031-22336-5Published: 29 December 2022
eBook ISBN: 978-3-031-22337-2Published: 28 December 2022
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XV, 666
Number of Illustrations: 78 b/w illustrations, 84 illustrations in colour
Topics: Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Artificial Intelligence, Software Engineering/Programming and Operating Systems