- 10% rabatt på allt
Principles of Systems Design
Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
AvRupak Majumdar,Laurent Doyen
E-bok
Engelska, 20221 306 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
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 papers covering various research and application directions, authored by scientists inspired by his efforts and example over many years.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 13660
Principles of Systems Design
Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar
Häftad, 2022
1 024 kr
Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
Jean-François Raskin, Krishnendu Chatterjee
665 kr
Automated Technology for Verification and Analysis
Jean-Francois Raskin, Franck Cassez
E-bok
2014739 kr
Del 8837
Automated Technology for Verification and Analysis
Franck Cassez, Jean-Francois Raskin
Häftad, 2014
572 kr
Tools and Algorithms for the Construction and Analysis of Systems
Jean-Francois Raskin, Marsha Chechik
E-bok
2016739 kr
Formal Modeling and Analysis of Timed Systems
Jean-Francois Raskin, P.S. Thiagarajan
Häftad, 2007
555 kr
Formal Modeling and Analysis of Timed Systems
Krishnendu Chatterjee, Thomas A. Henzinger
Häftad, 2010
572 kr
Mathematical Foundations of Computer Science 2013
Krishnendu Chatterjee, Jirí Sgall
Häftad, 2013
555 kr