3 Ebook di Krishnendu Chatterjee
Krishnendu Chatterjee & Thomas A. Henzinger: Formal Modeling and Analysis of Timed Systems
This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8-10, 2010, at IST (Institute …
PDF
Inglese
DRM
€57.45
Krishnendu Chatterjee & Jiri Sgall: Mathematical Foundations of Computer Science 2013
This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, …
PDF
Inglese
DRM
€57.61
Krishnendu Chatterjee & Laurent Doyen: Principles of Systems Design
This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022. This Festschrift volume celebrates his many contributions in the field of computer science, with 31 …
EPUB
Inglese
DRM
€102.10
