Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers - Leslie Lamport - 書籍 - Pearson Education (US) - 9780321143068 - 2002年8月20日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Leslie Lamport
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers 第1 版

価格
¥ 7.937
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月24日 - 年9月9日
Leslie Lamport の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers.

384 pages

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2002年8月20日
ISBN13 9780321143068
出版社 Pearson Education (US)
ページ数 384
寸法 233 × 186 × 28 mm   ·   688 g
言語 英語  

Leslie Lamportの他の作品を見る

すべて表示

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

Leslie Lamportのすべてを見る ( 例： Paperback Book および Hardcover Book )