Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Razvan Diaconescu | lit.salon

Author

Razvan Diaconescu

3 works

1998–2008 across 3 dated works

No biography is available yet.

Start with

Cafe Obj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification (Amast Series in Computing, Vol 6)1998
With Kokichi Futatsugi
Institution-Independent Model Theory2008
Institution-independent Model Theory (Studies in Universal Logic)2008

Books

3 works

Featured (3)Featured (3)All (3)All (3)

Search booksSort books

Cafe Obj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification (Amast Series in Computing, Vol 6)1998
With Kokichi Futatsugi
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Institution-independent Model Theory (Studies in Universal Logic)2008
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Institution-Independent Model Theory2008
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Razvan Diaconescu.

The conversation is still open.

There is no public salon activity to show for Razvan Diaconescu yet.