Showing 1 - 2 results of 2 for search 'Futatsugi, Kokichi', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Cafe : an industrial-strength algebraic formal method /

    Cafe : an industrial-strength algebraic formal method /

    Published 2000
    Other Authors: “…Futatsugi, Kokichi…”
    Get full text
    Electronic eBook


    Saved in:
  2. 2
    CafeOBJ report the language, proof techniques, and methodologies for object-oriented algebraic specification

    CafeOBJ report the language, proof techniques, and methodologies for object-oriented algebraic specification by Diaconescu, Răzvan, Futatsugi, Kokichi

    Published 1998
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: