Răzvan Diaconescu – författare

Visar alla böcker från författaren Răzvan Diaconescu.

5 produkter

1. 

   Institution-independent Model Theory

   Av Răzvan Diaconescu

   Inbunden, 2025

   1989 kr

   Lägg i varukorg

2. 

   Institution-independent Model Theory

   Av Răzvan Diaconescu

   Häftad, 2026

   1989 kr

   Lägg i varukorg

3. 

   Recent Trends in Algebraic Development Techniques

   22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

   Av Mihai Codescu, Răzvan Diaconescu m. fl.

   Häftad, 2015

   579 kr

   Lägg i varukorg

4. 

   Institution-independent Model Theory

   Av Razvan Diaconescu

   Häftad, 2008

   1709 kr

   Tillfälligt slut

5. 

   CAFEOBJ REPORT: THE LANGUAGE, PROOF TECHNIQUES, AND METHODOLOGIES FOR OBJECT-ORIENTED ALGEBRAIC SPECIFICATION

   Av Razvan Diaconescu, Kokichi Futatsugi

   Inbunden, 1998

   919 kr

   Tillfälligt slut