2 Ebooks par Constantin Enea
Constantin Enea & Ruzica Piskac: Verification, Model Checking, and Abstract Interpretation
This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 201 …
EPUB
Anglais
DRM
€57.88
Armando Castaneda & Constantin Enea: Networked Systems
This book constitutes the refereed proceedings of the 12th International Conference on Networked Systems, NETYS 2024, held in Rabat, Morocco, during May 29-31, 2024.The 14 full papers and 3 short pap …
EPUB
Anglais
DRM
€127.99
