Recomienda este artículo a tus amigos:
Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science J C Bradfield
Precio
$ 65,99
sin IVA
Pedido desde almacén remoto
Entrega prevista 2 - 21 de sep.
Recibe notificaciones sobre nuevos lanzamientos de J C Bradfield
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science
J C Bradfield
116 pages, black & white illustrations, bibliography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 25 de febrero de 2012 |
| ISBN13 | 9781468468212 |
| Editores | Birkhauser |
| Páginas | 116 |
| Dimensiones | 156 × 234 × 7 mm · 185 g |
| Lengua | Inglés |
![Cover for Adriana Pablos · Housing Adaptation: Transforming Modernist Housing (Hardcover Book) [Format 22 x 28 cm edition] (2026)](https://imusic.b-cdn.net/images/item/original/714/9783035625714.jpg?adriana-pablos-2026-housing-adaptation-transforming-modernist-housing-hardcover-book&class=scaled&v=1768618257)
![Cover for Anna Heringer · Architecture Is a Tool to Improve Lives: Anna Heringer's Buildings Photographed by Iwan Baan (Hardcover Book) [New edition] (2026)](https://imusic.b-cdn.net/images/item/original/647/9783035628647.jpg?anna-heringer-2026-architecture-is-a-tool-to-improve-lives-anna-heringer-s-buildings-photographed-by-iwan-baan-hardcover-book&class=scaled&v=1746337304)
![Cover for JOINTING THINGS - ON FRITZ HALLER (2 Vols.): Vol. one: JOINTING ... things Vol. two: jointing ... THINGS - Applied Virtuality Book Series (Hardcover Book) [Vol 1: 448 pp Vol 2: 304 pp edition] (2026)](https://imusic.b-cdn.net/images/item/original/552/9783035629552.jpg?2026-jointing-things-on-fritz-haller-2-vols-vol-one-jointing-things-vol-two-jointing-things-applied-virtuality-book-series-hardcover-book&class=scaled&v=1752378477)
![Cover for Michael Green · Tall Wood Buildings: Design, Construction and Performance Third and expanded edition (Hardcover Book) [3 Revised edition] (2025)](https://imusic.b-cdn.net/images/item/original/326/9783035628326.jpg?michael-green-2025-tall-wood-buildings-design-construction-and-performance-third-and-expanded-edition-hardcover-book&class=scaled&v=1736883131)
![Cover for Jean-Francois Lejeune · The Other Rome: Building the Modern Metropolis 1870–1960 (Hardcover Book) [New edition] (2025)](https://imusic.b-cdn.net/images/item/original/363/9783035625363.jpg?jean-francois-lejeune-2025-the-other-rome-building-the-modern-metropolis-1870-1960-hardcover-book&class=scaled&v=1750872285)
![Cover for Hubertus Adam · Structure and Type (Hardcover Book) [New edition] (2025)](https://imusic.b-cdn.net/images/item/original/118/9783035629118.jpg?hubertus-adam-2025-structure-and-type-hardcover-book&class=scaled&v=1748666744)
![Cover for Katrin Trautwein · Working with Color: Library of 400 Combinations (Paperback Book) [New edition] (2025)](https://imusic.b-cdn.net/images/item/original/521/9783035629521.jpg?katrin-trautwein-2025-working-with-color-library-of-400-combinations-paperback-book&class=scaled&v=1746776880)
![Cover for Victor Munoz Sanz · Reconnecting Cities, People, and Nature: Exercises in Urban Design (Paperback Book) [New edition] (2025)](https://imusic.b-cdn.net/images/item/original/043/9783035628043.jpg?victor-munoz-sanz-2025-reconnecting-cities-people-and-nature-exercises-in-urban-design-paperback-book&class=scaled&v=1745498859)
![Cover for Sonal Mithal · Living Together: More-Than-Human Ecologies for Architectural Thinking (Paperback Book) [New edition] (2025)](https://imusic.b-cdn.net/images/item/original/159/9783035628159.jpg?sonal-mithal-2025-living-together-more-than-human-ecologies-for-architectural-thinking-paperback-book&class=scaled&v=1736990932)
![Cover for Stephan Truby · Right-Wing Spaces: Political Essays - Bauwelt Fundamente (Paperback Book) [New edition] (2025)](https://imusic.b-cdn.net/images/item/original/439/9783035629439.jpg?stephan-truby-2025-right-wing-spaces-political-essays-bauwelt-fundamente-paperback-book&class=scaled&v=1736977117)