Yazar
Stefania Gnesi
9 cilt bulundu.
Cilt sonuçları
Formal methods
Keijiro Araki, Stefania Gnesi · Springer
942 sayfa · 2003
Computer software / Congresses / Development / Formal methods (Computer science) / System design
FM 2016 : Formal Methods
John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou · Springer
812 sayfa · 2016
Computer software, development / System design
Formal methods for industrial critical systems
Stefania Gnesi · John Wiley & Sons Inc.
Sayfa sayısı yok · 2012
COMPUTERS / Computer Engineering / Formal methods (Computer science)
Critical Systems : Formal Methods and Automated Verification
Maurice H. Ter Beek, Stefania Gnesi, Alexander Knapp · Springer International Publishing AG
247 sayfa · 2016
Computer science