Hoppa till sidans huvudinnehåll

Răzvan Diaconescu – författare

Visar alla böcker från författaren Răzvan Diaconescu.
5 produkter
Răzvan Diaconescu - Institution-independent Model Theory, Inbunden

Institution-independent Model Theory

AvRăzvan Diaconescu

Inbunden, Engelska, 2025

1 969 kr

Skickas inom 10-15 vardagar

Răzvan Diaconescu - Institution-independent Model Theory, Häftad

Institution-independent Model Theory

AvRăzvan Diaconescu

Häftad, Engelska, 2026

1 969 kr

Skickas inom 10-15 vardagar

Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu - Recent Trends in Algebraic Development Techniques, Häftad
Del 9463 - Lecture Notes in Computer Science

Recent Trends in Algebraic Development Techniques

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

AvMihai Codescu,Răzvan Diaconescum. fl.

Häftad, Engelska, 2015

569 kr

Skickas inom 10-15 vardagar

Razvan Diaconescu - Institution-independent Model Theory, Häftad

Institution-independent Model Theory

AvRazvan Diaconescu

Häftad, Engelska, 2008

1 669 kr

Skickas inom 5-8 vardagar

Razvan Diaconescu, Kokichi Futatsugi - Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification, Inbunden
Del 6 - Amast Series In Computing

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

AvRazvan Diaconescu,Kokichi Futatsugi

Inbunden, Engelska, 1998

919 kr

Tillfälligt slut