Yazar
Kim Guldstrand Larsen
5 cilt bulundu.
Cilt sonuçları
Computer aided verification
Kim Guldstrand Larsen · Springer
487 sayfa · 1992
Computer software / Verification / Congresses / Electronic digital computers / Evaluation
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
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote, Kim Guldstrand Larsen · Springer International Publishing AG
Sayfa sayısı yok · 2021
Kategori yok