この商品を友人に教える:
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings - Lecture Notes in Computer Science John Derrick 2007 edition
価格
R$ 311,90
税抜
遠隔倉庫からの取り寄せ
発送予定日 年12月16日 - 年12月26日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings - Lecture Notes in Computer Science
John Derrick
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-located with TestCom/FATES 2007.
389 pages, biography
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2007年6月12日 |
| ISBN13 | 9783540731955 |
| 出版社 | Springer-Verlag Berlin and Heidelberg Gm |
| ページ数 | 378 |
| 寸法 | 155 × 235 × 20 mm · 548 g |
| 言語 | フランス語 |
| 編集者 | Derrick, John |
| 編集者 | Vain, Juri |
![Cover for John Derrick · Refinement: Semantics, Languages and Applications (Paperback Book) [Softcover Reprint of the Original 1st 2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/976/9783030064976.jpg?john-derrick-2019-refinement-semantics-languages-and-applications-paperback-book&class=scaled&v=1593606661)
![Cover for John Derrick · Refinement: Semantics, Languages and Applications (Hardcover Book) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/091/9783319927091.jpg?john-derrick-2018-refinement-semantics-languages-and-applications-hardcover-book&class=scaled&v=1541590630)
![Cover for John Derrick · Refinement in Z and Object-Z: Foundations and Advanced Applications (Paperback Book) [Softcover reprint of the original 2nd ed. 2014 edition] (2015)](https://imusic.b-cdn.net/images/item/original/677/9781447161677.jpg?john-derrick-2015-refinement-in-z-and-object-z-foundations-and-advanced-applications-paperback-book&class=scaled&v=1556165679)
![Cover for John Derrick · Refinement in Z and Object-Z: Foundations and Advanced Applications (Hardcover Book) [2nd ed. 2014 edition] (2013)](https://imusic.b-cdn.net/images/item/original/542/9781447153542.jpg?john-derrick-2013-refinement-in-z-and-object-z-foundations-and-advanced-applications-hardcover-book&class=scaled&v=1411063625)
![Cover for John Derrick · Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/840/9783642308840.jpg?john-derrick-2012-abstract-state-machines-alloy-b-vdm-and-z-third-international-conference-abz-2012-pisa-italy-june-18-21-2012-proceedings-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1556165666)