Reading Length
Home
Speed Tests
Login
Diaconescu Razvan
Identifiers
Open Library
OL13096905A
Books by Diaconescu Razvan
Total count: 1
Cafeobj Report
The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
World Scientific Publishing Co Pte Ltd
1998-01-01
