John Derrick
Refinement: Semantics, Languages and Applications John Derrick 1st ed. 2018 edition

Name: Refinement: Semantics, Languages and Applications
Price: 8672 JPY
Availability: OutOfStock
Author: John Derrick

価格

¥ 8.672

税抜

遠隔倉庫からの取り寄せ

発送予定日年6月16日 - 年6月26日

お客様の声：

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

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

Trustpilotで高評価

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

他の形態でも入手可能：

Paperback Book

Softcover Reprint of the Original 1st 2018 edition

(2019) ¥ 8.672

Refinement: Semantics, Languages and Applications

John Derrick

1st ed. 2018 edition

It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.

269 pages, 20 Tables, black and white; 39 Illustrations, black and white; XIX, 269 p. 39 illus.

メディア	書籍 Hardcover Book (ハードカバー付きの本)
リリース済み	2018年9月14日
ISBN13	9783319927091
出版社	Springer International Publishing AG
ページ数	269
寸法	150 × 220 × 20 mm · 585 g
言語	ドイツ語