7 Ebooks par Rupak Majumdar
Javier Esparza & Rupak Majumdar: Tools and Algorithms for the Construction and Analysis of Systems
…
PDF
Anglais
DRM
€95.19
Viktor Kuncak & Rupak Majumdar: Computer Aided Verification
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2 …
EPUB
Anglais
DRM
€57.78
Viktor Kuncak & Rupak Majumdar: Computer Aided Verification
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2 …
EPUB
Anglais
DRM
€57.60
Klaus Havelund & Rupak Majumdar: Model Checking Software
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers …
PDF
Anglais
DRM
€57.81
Rupak Majumdar & Paulo Tabuada: Hybrid Systems: Computation and Control
This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009. The 30 revise …
PDF
Anglais
DRM
€57.91
Chryssis Georgiou & Rupak Majumdar: Networked Systems
This book constitutes the revised selected papers of the 8th International Conference on Networked Systems, NETYS 2020, held in Marrakech, Morocco, in June 2020.*The 18 revised full papers and 4 shor …
EPUB
Anglais
DRM
€57.78
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
Anglais
DRM
€102.27
