Cafeobj Report. The Language, Proof Techniques, And Methodologies For Object-Oriented Algebraic Specification

Par : Kokichi Futatsugi, Razvan Diaconescu
Formats :
44,00 €
  • Nombre de pages174
  • PrésentationRelié
  • ISBN981-02-3513-5
  • EAN9789810235130
  • Date de parution01/01/1998
  • Collectionamast series in computing
  • ÉditeurWorld Scientific Publishing