この商品を友人に教える:
The Testability of Distributed Real-Time Systems - The Springer International Series in Engineering and Computer Science Werner Schutz 1993 edition
価格
¥ 16.287
税抜
遠隔倉庫からの取り寄せ
発送予定日 年11月24日 - 年12月4日
クリスマスプレゼントは1月31日まで返品可能です
Werner Schutz の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
他の形態でも入手可能：
The Testability of Distributed Real-Time Systems - The Springer International Series in Engineering and Computer Science
Werner Schutz
Since the formal verification techniques of temporal properties have not yet matured to the point where these techniques can be used in practical system development, systematic design and testing are the only alternatives for the development of dependable real-time systems.
144 pages, biography
![Cover for Werner Schutz · Geschichte der christlichen Predigt - Sammlung Goschen (Hardcover Book) [Reprint 2019 edition] (1972)](https://imusic.b-cdn.net/images/item/original/749/9783110036749.jpg?werner-schutz-1972-geschichte-der-christlichen-predigt-sammlung-goschen-hardcover-book&class=scaled&v=1694207289)
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Konrad Schmudgen · Unbounded Self-Adjoint Operators on Hilbert Space - Graduate Texts in Mathematics (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/822/9789402423822.jpg?konrad-schmudgen-2027-unbounded-self-adjoint-operators-on-hilbert-space-graduate-texts-in-mathematics-hardcover-book&class=scaled&v=1786374320)
![Cover for Handbuch Organisationssoziologie (Hardcover Book) [1. Aufl. 2021 edition] (2026)](https://imusic.b-cdn.net/images/item/original/191/9783658159191.jpg?2026-handbuch-organisationssoziologie-hardcover-book&class=scaled&v=1605099239)
