Yazar
Ferruccio Damiani
4 cilt bulundu.
Cilt sonuçları
Formal Methods for Executable Software Models
Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer · Springer
347 sayfa · 2014
Computer software, development / System design / Software engineering / Computer science / Information theory
Coordination Models and Languages
Ferruccio Damiani, Ornela Dardha · Springer International Publishing AG
Sayfa sayısı yok · 2021
Kategori yok
Types for Proofs and Programs
Stefano Berardi, Mario Coppo, Ferruccio Damiani · Springer London, Limited
Sayfa sayısı yok · 2004
Automatic theorem proving / Computer programming