David Gray
Introduction to the Formal Design of Real Time Systems - Applied Computing David Gray Softcover Reprint of the Original 1st Ed. 1999 edition

Name: Introduction to the Formal Design of Real Time Systems - Applied Computing
Price: 10374 JPY
Availability: OutOfStock
Author: David Gray

価格

¥ 10.374

税抜

遠隔倉庫からの取り寄せ

発送予定日年8月24日 - 年9月9日

David Gray の新しいリリースのお知らせを受け取る

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Introduction to the Formal Design of Real Time Systems - Applied Computing

David Gray

Softcover Reprint of the Original 1st Ed. 1999 edition

The design of concurrent and real-time systems is difficult. It is even more difficult to design them correctly. Introduction to the Formal Design of Real Time Systems is based on the premise that in order to design things correctly it is necessary to thoroughly understand the design as it evolves from problem definition through to solution validation and, though the simplest way to maintain such an understanding is from within a formal mathematical framework, this will only be effective if the framework is simple to understand and easy to use. This book is based on courses given to undergraduate and masters students in Electrical Engineering, Information Technology and Computer Science, and backed by copious worked examples.

461 pages, 18 black & white illustrations, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	1998年11月1日
発売日	1997
ISBN13	9783540761402
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	461
寸法	156 × 234 × 24 mm · 662 g
言語	英語