Full Description
Furthermore, extensive libraries of CASL specifications of basic data types are provided as well as a comprehensive annotated bibliography of CoFI publications.As a separate, complementary book LNCS 2900 presents a tutorial introduction to CASL, the CASL User Manual.
-
- 電子書籍
- ゴールデンエスケープ【マイクロ】(22…
-
- 電子書籍
- 最強の鑑定士って誰のこと? ~満腹ごは…
-
- 電子書籍
- パワーアップ吹奏楽! 心とチームワーク…
-
- 電子書籍
- Shelter(シェルター) 祥伝社文庫
-
- 電子書籍
- 男の子ってなんでできてる? -泣いちゃ…



