CafeOBJ report : The language, proof techniques, and methodologies for object-oriented algebraic specification

Uložené v:
Podrobná bibliografia
Hlavní autori: Diaconescu, Razvan (Autor), Futatsugi, Kokichi (Autor)
Médium: Kniha
Jazyk:English
Vydavateľské údaje: Singapore : World Scientific, 1998
Predmet:
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!