Razvan Diaconescu und Algebraic - Info zur Person

(1 - 6 von 11

)

razvan diaconescu: 3 Books available | chapters.indigo.ca

www.chapters.indigo.ca

Buy razvan diaconescu Books at Indigo.ca. Shop amongst our popular books, including 3, Recent Trends In Algebraic Development Techniques,...

SS > book reviews > Razvan Diaconescu

www-users.cs.york.ac.uk

Razvan Diaconescu. Google > Razvan Diaconescu. author : Razvan Diaconescu. Short works. Component-Based Algebraic Specification and Verification in ...

AbeBooks: razvan diaconescu - AbeBooks

CafeOBJ Report : The Language, Proof Techniques and Methodologies for Object-Oriented Algebraic Specification von Diaconescu, Razvan, Futatsugi, Kokichi und...

Diaconescu-razvan - AbeBooks

www.abebooks.com

CafeOBJ Report : The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification by Razvan Diaconescu; Kokichi Futatsugi and a...

CAFE: An Industrial-Strength Algebraic Formal Method - Google Books

books.google.de

Razvan Diaconescu. Category-based semantics for equational and constraint logic programming, DPhil thesis, University of Oxford. Razvan Diaconescu.

CafeOBJ Report: The Language, Proof Techniques, and Methodologies for...

books.google.de

This is a report on the formal definition of the CafeOBJ algebraic specification language, which is a modern successor to the famous algebraic language OBJ....

Verwandte Suchanfragen zu Razvan Diaconescu

Personen
Vorname "Razvan" (530)
Name "Diaconescu" (51)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z