Yazar
Akash Lal
4 cilt bulundu.
Cilt sonuçları
Verification, Model Checking, and Abstract Interpretation
Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen · Springer
477 sayfa · 2014
Computer programs / Computer science / Computer Communication Networks / Software engineering / Logic design
Computer Aided Verification
Constantin Enea, Akash Lal · Springer
Sayfa sayısı yok · 2023
Artificial intelligence / Computer algorithms / Computer networks / Computer software, development
Verified Software. Theories, Tools and Experiments
Akash Lal, Stefano Tonetta · Springer International Publishing AG
Sayfa sayısı yok · 2023
Kategori yok