Hoppa till sidans huvudinnehåll

Răzvan Diaconescu - Böcker

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

Institution-independent Model Theory

Av Răzvan Diaconescu, Razvan Diaconescu m. fl

Inbunden, Engelska, 2025

2 249 kr

Skickas inom 10-15 vardagar

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, Engelska, 2015

569 kr

Skickas inom 10-15 vardagar

Institution-independent Model Theory

Av Razvan Diaconescu

Häftad, Engelska, 2008

1 409 kr

Skickas inom 10-15 vardagar
Del 6 - Amast Series In Computing

Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification

Av Razvan Diaconescu, Kokichi Futatsugi m. fl

Inbunden, Engelska, 1998

869 kr

Tillfälligt slut