分享给好友:
Formal Specification using Z David Lightfoot 2nd ed. 2000 edition
Formal Specification using Z
David Lightfoot
Z is a leading notation for formal specification. Formal Specification Using Z is an introductory book intended for the many software engineers and students who will benefit from learning about this important topic in software engineering.
176 pages, index
| 介质类型 | 其他 N/A (未知格式) |
| 已发行 | 2000年12月6日 |
| ISBN13 | 9780333763278 |
| 厂牌 | Macmillan Education UK |
| 页数 | 176 |
| 商品尺寸 | 188 × 244 × 10 mm · 350 g (预估重量) |
![Cover for Ronald Kramer · Culture Crime and Punishment (N/A) [1st ed. 2021 edition] (2020)](https://imusic.com.cn/local-image/images/item/original/824/9781352010824.jpg?ronald-kramer-2020-culture-crime-and-punishment&class=scaled&v=1615887419)
![Cover for Ronald Kramer · Culture Crime and Punishment (Hardcover Book) [1st ed. 2021 edition] (2020)](https://imusic.com.cn/local-image/images/item/original/862/9781352010862.jpg?ronald-kramer-2020-culture-crime-and-punishment-hardcover-book&class=scaled&v=1615887419)
![Cover for W. M. Spellman · A Concise History of the World Since 1945 States and Peoples (Hardcover Book) [2nd ed. 2020 edition] (2020)](https://imusic.com.cn/local-image/images/item/original/220/9781352010220.jpg?w-m-spellman-2020-a-concise-history-of-the-world-since-1945-states-and-peoples-hardcover-book&class=scaled&v=1620535875)
![Cover for Katie Barclay · The History of Emotions A Student Guide to Methods and Sources (Hardcover Book) [1st ed. 2020 edition] (2020)](https://imusic.com.cn/local-image/images/item/original/374/9781352010374.jpg?katie-barclay-2020-the-history-of-emotions-a-student-guide-to-methods-and-sources-hardcover-book&class=scaled&v=1694333976)
![Cover for Hubert Buch-Hansen · Critical Realism Basics and Beyond (Hardcover Book) [1st ed. 2020 edition] (2020)](https://imusic.com.cn/local-image/images/item/original/671/9781352010671.jpg?hubert-buch-hansen-2020-critical-realism-basics-and-beyond-hardcover-book&class=scaled&v=1694334489)
![Cover for Sue Turnbull · Media Audiences: Is Anybody Watching? (Hardcover Book) [1st ed. 2020 edition] (2020)](https://imusic.com.cn/local-image/images/item/original/583/9781352009583.jpg?sue-turnbull-2020-media-audiences-is-anybody-watching-hardcover-book&class=scaled&v=1722290765)
![Cover for Kevin Deane · Recharting the History of Economic Thought (Paperback Book) [1st ed. 2020 edition] (2020)](https://imusic.com.cn/local-image/images/item/original/245/9781137605245.jpg?kevin-deane-2020-recharting-the-history-of-economic-thought-paperback-book&class=scaled&v=1624021966)
![Cover for Jon Pierre · Governance Politics and the State (Book) [2nd ed. 2020 edition] (2020)](https://imusic.com.cn/local-image/images/item/original/454/9780230220454.jpg?jon-pierre-2020-governance-politics-and-the-state-book&class=scaled&v=1616750056)
![Cover for Paul Williams · Novel Ideas Writing Innovative Fiction (Hardcover Book) [1st ed. 2020 edition] (2019)](https://imusic.com.cn/local-image/images/item/original/487/9781352008487.jpg?paul-williams-2019-novel-ideas-writing-innovative-fiction-hardcover-book&class=scaled&v=1599855797)
![Cover for Claire Hind · Embodying the Dead Writing Playing Performing - Writing Playing Performing (N/A) [1st ed. 2020 edition] (2019)](https://imusic.com.cn/local-image/images/item/original/916/9781137602916.jpg?claire-hind-2019-embodying-the-dead-writing-playing-performing-writing-playing-performing&class=scaled&v=1695361801)
![Cover for Jose Luis Ferreira · Game Theory: An Applied Introduction (Paperback Book) [1st ed. 2020 edition] (2019)](https://imusic.com.cn/local-image/images/item/original/916/9781352007916.jpg?jose-luis-ferreira-2019-game-theory-an-applied-introduction-paperback-book&class=scaled&v=1605412229)
![Cover for Willemijn Ruberg · History of the Body - Theory and History (Hardcover Book) [1st ed. 2020 edition] (2019)](https://imusic.com.cn/local-image/images/item/original/718/9781352007718.jpg?willemijn-ruberg-2019-history-of-the-body-theory-and-history-hardcover-book&class=scaled&v=1564574585)
![Cover for Ian Roper · Critical Issues in Human Resource Management Contemporary Perspec - A Contemporary Perspective (N/A) [2nd ed. 2020 edition] (2019)](https://imusic.com.cn/local-image/images/item/original/412/9781137605412.jpg?ian-roper-2019-critical-issues-in-human-resource-management-contemporary-perspec-a-contemporary-perspective&class=scaled&v=1622284873)
![Cover for Curry A. · The Hundred Years War Revisited (Hardcover Book) [1st ed. 2019 edition] (2019)](https://imusic.com.cn/local-image/images/item/original/862/9781137389862.jpg?curry-a-2019-the-hundred-years-war-revisited-hardcover-book&class=scaled&v=1560784013)
![Cover for New and Experimental Approaches to Writing Lives (Hardcover Book) [1st ed. 2019 edition] (2019)](https://imusic.com.cn/local-image/images/item/original/213/9781352007213.jpg?2019-new-and-experimental-approaches-to-writing-lives-hardcover-book&class=scaled&v=1603434271)
![Cover for Donaldson L.; Walters J. · Television Performance (N/A) [1st ed. 2019 edition] (2019)](https://imusic.com.cn/local-image/images/item/original/192/9781137608192.jpg?donaldson-l-walters-j-2019-television-performance&class=scaled&v=1558222734)
![Cover for Josie Barnard · The Multimodal Writer: Creative Writing Across Genres and Media (Hardcover Book) [1st ed. 2019 edition] (2019)](https://imusic.com.cn/local-image/images/item/original/928/9781137607928.jpg?josie-barnard-2019-the-multimodal-writer-creative-writing-across-genres-and-media-hardcover-book&class=scaled&v=1617368883)
![Cover for Rhona Smith · Core Statutes on Public Law & Civil Liberties 2019-20 (N/A) [4th ed. 2019 edition] (2019)](https://imusic.com.cn/local-image/images/item/original/605/9781352006605.jpg?rhona-smith-2019-core-statutes-on-public-law-civil-liberties-2019-20&class=scaled&v=1583984103)
![Cover for Eleanor Gordon · Conflict Security and Justice Practice and Challenges in Peacebu - Current Practice and Strategic Challenges in Peacebuilding (N/A) [1st ed. 2019 edition] (2019)](https://imusic.com.cn/local-image/images/item/original/683/9781137610683.jpg?eleanor-gordon-2019-conflict-security-and-justice-practice-and-challenges-in-peacebu-current-practice-and-strategic-challenges-in-peacebuilding&class=scaled&v=1598519410)
![Cover for Janet Carter Anand · Global Mindedness in International Social Work Practice (N/A) [1st ed. 2019 edition] (2019)](https://imusic.com.cn/local-image/images/item/original/087/9781137362087.jpg?janet-carter-anand-2019-global-mindedness-in-international-social-work-practice&class=scaled&v=1648176153)
![Cover for Victoria Jones · Working with People with Learning Disabilities Systemic Approache (N/A) [1st ed. 2019 edition] (2019)](https://imusic.com.cn/local-image/images/item/original/363/9781352005363.jpg?victoria-jones-2019-working-with-people-with-learning-disabilities-systemic-approache&class=scaled&v=1605104641)
![Cover for Richard Sakwa · Developments In Russian Politics 9 (Developments In Politics) (Book) [9th ed. 2019 edition] (2018)](https://imusic.com.cn/local-image/images/item/original/755/9781352004755.jpg?richard-sakwa-2018-developments-in-russian-politics-9-developments-in-politics-book&class=scaled&v=1617962053)
![Cover for Anders Hansen · Media and Communication Research Methods (Hardcover Book) [2nd ed. 2019 edition] (2018)](https://imusic.com.cn/local-image/images/item/original/637/9781137589637.jpg?anders-hansen-2018-media-and-communication-research-methods-hardcover-book&class=scaled&v=1549098935)
![Cover for Alvin Finkel · Compassion: A Global History of Social Policy (Hardcover Book) [1st ed. 2019 edition] (2018)](https://imusic.com.cn/local-image/images/item/original/093/9781352003093.jpg?alvin-finkel-2018-compassion-a-global-history-of-social-policy-hardcover-book&class=scaled&v=1535977792)
![Cover for Vera Slavtcheva-Petkova · Global Journalism An Introduction - An Introduction (Hardcover Book) [1st ed. 2019 edition] (2018)](https://imusic.com.cn/local-image/images/item/original/040/9781137604040.jpg?vera-slavtcheva-petkova-2018-global-journalism-an-introduction-an-introduction-hardcover-book&class=scaled&v=1542040479)
![Cover for Ian Miller · Medical History - Theory and History (Hardcover Book) [1st ed. 2018 edition] (2018)](https://imusic.com.cn/local-image/images/item/original/911/9781352002911.jpg?ian-miller-2018-medical-history-theory-and-history-hardcover-book&class=scaled&v=1526168907)