CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification
ناشر:
شابک: 9810235135,9789810235130
زبان:
English
کالکشن
:
-
آمار بازدید
CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification
Show full item record
contributor author | Răzvan Diaconescu | |
contributor author | Kokichi Futatsugi | |
date accessioned | 2020-04-21T19:31:50Z | |
date available | 2020-04-21T19:31:50Z | |
date copyright | 1998 | |
identifier isbn | 9810235135,9789810235130 | |
identifier other | /pad-books/801000-900000/872000/b67b932c65c95f93491287a8a2c359a3.djvu | |
identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/3031741 | |
format mimetype | application/djvu | |
language | English | |
publisher | World Scientific | |
title | CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification | |
type | Ebook | |
contenttype | Fulltext | |
identifier padid | 934209 | |
coverage | general | |
pages | 196 | |
filesize | 1112000 | |
identifier link | https://pad.um.ac.ir/file/view/934209 | |
series | AMAST series in computing, vol. 6 |