分享给好友:
Nondeterminism in Algebraic Specifications and Algebraic Programs - Progress in Theoretical Computer Science Hussmann
Nondeterminism in Algebraic Specifications and Algebraic Programs - Progress in Theoretical Computer Science
Hussmann
254 pages, black & white illustrations, bibliography
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 2012年3月22日 |
| ISBN13 | 9781468468366 |
| 出版商 | Birkhauser |
| 页数 | 254 |
| 商品尺寸 | 156 × 234 × 14 mm · 381 g |
| 语言 | 英语 |
![Cover for Adriana Pablos · Housing Adaptation: Transforming Modernist Housing (Hardcover Book) [Format 22 x 28 cm edition] (2026)](https://imusic.com.cn/local-image/images/item/original/714/9783035625714.jpg?adriana-pablos-2026-housing-adaptation-transforming-modernist-housing-hardcover-book&class=scaled&v=1768618257)
![Cover for Stephan Truby · Right-Wing Spaces: Political Essays - Bauwelt Fundamente (Paperback Book) [New edition] (2026)](https://imusic.com.cn/local-image/images/item/original/439/9783035629439.jpg?stephan-truby-2026-right-wing-spaces-political-essays-bauwelt-fundamente-paperback-book&class=scaled&v=1736977117)
![Cover for Kerstin Bußmann · Women Building Modernism: Iconic Buildings and Their Female Initiators (Hardcover Book) [New edition] (2026)](https://imusic.com.cn/local-image/images/item/original/813/9783035625813.jpg?kerstin-bu-mann-2026-women-building-modernism-iconic-buildings-and-their-female-initiators-hardcover-book&class=scaled&v=1692488833)
![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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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.com.cn/local-image/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 Lessons on Change: 15 Creative Minds Share Their Stories (Paperback Book) [New edition] (2025)](https://imusic.com.cn/local-image/images/item/original/804/9783035629804.jpg?2025-lessons-on-change-15-creative-minds-share-their-stories-paperback-book&class=scaled&v=1745416890)
![Cover for Anatomie einer Metropole: Bauen mit Eisenbeton in Wien 1890–1914 (Hardcover Book) [New edition] (2025)](https://imusic.com.cn/local-image/images/item/original/477/9783035629477.jpg?2025-anatomie-einer-metropole-bauen-mit-eisenbeton-in-wien-1890-1914-hardcover-book&class=scaled&v=1739137150)
![Cover for Struggles in the Concrete: Architecture and the Marxist Tradition - Bauwelt Fundamente (Paperback Book) [New edition] (2025)](https://imusic.com.cn/local-image/images/item/original/937/9783035628937.jpg?2025-struggles-in-the-concrete-architecture-and-the-marxist-tradition-bauwelt-fundamente-paperback-book&class=scaled&v=1737027890)
