Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday /

This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022. After studies at Kepler University in Linz and the University of Delaware, Tom's Ph.D. work in Stanford led to the foundations of models and analysis techniques for real-time systems. The thesis i...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Raskin, Jean-François (Editor), Chatterjee, Krishnendu (Editor), Doyen, Laurent (Editor), Majumdar, Rupak (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer Nature Switzerland : Imprint: Springer, 2022.
Edition:	1st ed. 2022.
Series:	Lecture Notes in Computer Science, 13660
Subjects:	Computer science. Machine theory. Artificial intelligence. Software engineering. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory. Artificial Intelligence. Software Engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book