Transitions and Trees: An Introduction to Structural Operational Semantics - Huttel, Hans (Aalborg University, Denmark) - 書籍 - Cambridge University Press - 9780521147095 - 2010年4月29日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Huttel, Hans (Aalborg University, Denmark)
Transitions and Trees: An Introduction to Structural Operational Semantics

価格
¥ 17.511
税抜

遠隔倉庫からの取り寄せ

発送予定日 年9月28日 - 年10月14日
Huttel, Hans (Aalborg University, Denmark) の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

A rigorous, self-contained introduction to structural operational semantics and how to use it to describe, reason about and assist the implementation of features found in common programming languages. The author assumes no experience with any specific programming language, making the book easily accessible to students and computing professionals.

290 pages, 25 b/w illus. 75 tables 85 exercises

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2010年4月29日
ISBN13 9780521147095
出版社 Cambridge University Press
ページ数 290
寸法 177 × 246 × 15 mm   ·   530 g
言語 英語  

同じ出版社からのその他の記事

Huttel, Hans (Aalborg University, Denmark)のすべてを見る