Razvan Diaconescu
Cafeobj Report: the Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification - Amast Series in Computing Razvan Diaconescu

プロフィールはありますか？ログイン

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

Cafeobj Report: the Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification - Amast Series in Computing

Razvan Diaconescu

CafeOBJ is an industrial-strength modern algebraic specification language. This book presents not only a formal definition of the language and its semantics, but also methodologies for specification and verification in CafeOBJ, with emphasis on concurrent object composition and modularity.

196 pages, Illustrations

メディア	書籍 Hardcover Book (ハードカバー付きの本)
リリース済み	1998年7月2日
ISBN13	9789810235130
出版社	World Scientific Publishing Co Pte Ltd
ページ数	196
寸法	150 × 220 × 20 mm · 476 g