Razvan Diaconescu

Books by Razvan Diaconescu

Total count: 3

• Cafeobj ReportThe Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification

  World Scientific Publishing Co Pte Ltd1998-01-01
• 
  Institution-Independent Model Theory

  Springer2008-05-06
• 
  Institution-independent Model Theory (Studies in Universal Logic)

  Birkhäuser2008-08-01