David De Frutos-escrig
Formal Techniques for Networked and Distributed Systems - FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings - Lecture Notes in Computer Science David De Frutos-escrig 2004 Edition

Name: Formal Techniques for Networked and Distributed Systems - FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings - Lecture Notes in Computer Science
Price: 8459 JPY
Availability: OutOfStock
Author: David De Frutos-escrig

価格

¥ 8.459

税抜

遠隔倉庫からの取り寄せ

発送予定日年12月7日 - 年12月17日

クリスマスプレゼントは1月31日まで返品可能です

David De Frutos-escrig の新しいリリースのお知らせを受け取る

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Formal Techniques for Networked and Distributed Systems - FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings - Lecture Notes in Computer Science

David De Frutos-escrig

2004 Edition

Among the topics addressed are state-based specification, distributed Java objects, UML and SDL, algorithm verification, communicating automata, design recovery, formal protocol testing, testing and model checking, distributed real-time systems, formal composition, distributed testing, automata for ACTL, symbolic state space.

382 pages, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2004年9月21日
ISBN13	9783540232520
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	382
寸法	155 × 235 × 20 mm · 548 g
言語	ドイツ語
編集者	Frutos-Escrig, David de
編集者	Nunez, Manuel