logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

Razvan Diaconescu's Books back

language per page order
Institution Independent Model Theory (Studies In Universal Logic) - Razvan Diaconescu
Institution Independent Model Theory (Studies In Universal Logic)
by Razvan Diaconescu (author)
publisher: Birkhauser publish date: August 1st 2008
format: paperback pages: 376
language: English
ISBN: 3764387076 (9783764387075)
Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification - Razvan Diaconescu, Kokichi Futatsugi
Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
by Kokichi Futatsugi (author), Razvan Diaconescu (author)
format: hardcover pages: 174
language: English
ISBN: 9810235135 (9789810235130)
Institution-Independent Model Theory. Studies in Universal Logic. - Razvan Diaconescu
Institution-Independent Model Theory. Studies in Universal Logic.
by Razvan Diaconescu (author)
publisher: Springer publish date: May 16th 2008
format: ebook pages: 376
ISBN: 1281862592 (9781281862594)
Category Based Semantics For Equational And Constraint Logic Programming - Razvan Diaconescu, Rڷazvan Diaconescu
Category Based Semantics For Equational And Constraint Logic Programming
by Razvan Diaconescu (author), Rڷazvan Diaconescu (author)
ISBN: 0902928910 (9780902928916)
Need help?