Yazar
Razvan Diaconescu
5 cilt bulundu.
Cilt sonuçları
Institution-independent model theory
Răzvan Diaconescu · Birkhäuser
376 sayfa · 2008
Logic, Symbolic and mathematical / Model theory / Symbolic and mathematical Logic / Logic, symbolic and mathematical
Institution-independent Model Theory (Studies in Universal Logic)
Razvan Diaconescu · Birkhäuser
376 sayfa · 2008
Model theory / Logic, symbolic and mathematical / Logic / Mathematics / Computer science
CafeOBJ report
Razvan Diaconescu, Kokichi Futatsugi · World Scientific Publishing Co Pte Ltd
174 sayfa · 1998
Réécriture / Théorie démonstration / Spécification algébrique / CafeOBJ / Object-oriented methods (computer science)
Recent Trends in Algebraic Development Techniques
Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu · Springer London, Limited
171 sayfa · 2015
Computer software, development / Computer science, mathematics / Abstract data types (computer science)