Fortæl dine venner om denne vare:
Formal Software Development From VDM to Java - From VDM to Java Quentin Charatan
Har du en konto? Log ind
Modtag notifikation om nye Quentin Charatan udgivelser
Tilføj til din iMusic ønskeseddel
eller
Formal Software Development From VDM to Java - From VDM to Java
Quentin Charatan
This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software.
256 pages, index
| Medie | Andet N/A (Ukendt medie) |
| Udgivet | 9. september 2003 |
| ISBN13 | 9780333992814 |
| Udgiver | Macmillan Education UK |
| Antal sider | 256 |
| Mål | 246 × 191 × 15 mm · 385 g |
![Cover for Ronald Kramer · Culture Crime and Punishment (N/A) [1st ed. 2021 edition] (2020)](https://imusic.b-cdn.net/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 bog) [1st ed. 2021 edition] (2020)](https://imusic.b-cdn.net/images/item/original/862/9781352010862.jpg?ronald-kramer-2020-culture-crime-and-punishment-hardcover-bog&class=scaled&v=1615887419)
![Cover for W. M. Spellman · A Concise History of the World Since 1945 States and Peoples (Hardcover bog) [2nd ed. 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/220/9781352010220.jpg?w-m-spellman-2020-a-concise-history-of-the-world-since-1945-states-and-peoples-hardcover-bog&class=scaled&v=1620535875)
![Cover for Katie Barclay · The History of Emotions A Student Guide to Methods and Sources (Hardcover bog) [1st ed. 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/374/9781352010374.jpg?katie-barclay-2020-the-history-of-emotions-a-student-guide-to-methods-and-sources-hardcover-bog&class=scaled&v=1694333976)
![Cover for Hubert Buch-Hansen · Critical Realism Basics and Beyond (Hardcover bog) [1st ed. 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/671/9781352010671.jpg?hubert-buch-hansen-2020-critical-realism-basics-and-beyond-hardcover-bog&class=scaled&v=1694334489)
![Cover for Sue Turnbull · Media Audiences: Is Anybody Watching? (Hardcover bog) [1st ed. 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/583/9781352009583.jpg?sue-turnbull-2020-media-audiences-is-anybody-watching-hardcover-bog&class=scaled&v=1722290765)
![Cover for Kevin Deane · Recharting the History of Economic Thought (Paperback Bog) [1st ed. 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/245/9781137605245.jpg?kevin-deane-2020-recharting-the-history-of-economic-thought-paperback-bog&class=scaled&v=1624021966)
![Cover for Jon Pierre · Governance Politics and the State (Bog) [2nd ed. 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/454/9780230220454.jpg?jon-pierre-2020-governance-politics-and-the-state-bog&class=scaled&v=1616750056)
![Cover for Paul Williams · Novel Ideas Writing Innovative Fiction (Hardcover bog) [1st ed. 2020 edition] (2019)](https://imusic.b-cdn.net/images/item/original/487/9781352008487.jpg?paul-williams-2019-novel-ideas-writing-innovative-fiction-hardcover-bog&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.b-cdn.net/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 Bog) [1st ed. 2020 edition] (2019)](https://imusic.b-cdn.net/images/item/original/916/9781352007916.jpg?jose-luis-ferreira-2019-game-theory-an-applied-introduction-paperback-bog&class=scaled&v=1605412229)
![Cover for Willemijn Ruberg · History of the Body - Theory and History (Hardcover bog) [1st ed. 2020 edition] (2019)](https://imusic.b-cdn.net/images/item/original/718/9781352007718.jpg?willemijn-ruberg-2019-history-of-the-body-theory-and-history-hardcover-bog&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.b-cdn.net/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 bog) [1st ed. 2019 edition] (2019)](https://imusic.b-cdn.net/images/item/original/862/9781137389862.jpg?curry-a-2019-the-hundred-years-war-revisited-hardcover-bog&class=scaled&v=1560784013)
![Cover for New and Experimental Approaches to Writing Lives (Hardcover bog) [1st ed. 2019 edition] (2019)](https://imusic.b-cdn.net/images/item/original/213/9781352007213.jpg?2019-new-and-experimental-approaches-to-writing-lives-hardcover-bog&class=scaled&v=1603434271)
![Cover for Donaldson L.; Walters J. · Television Performance (N/A) [1st ed. 2019 edition] (2019)](https://imusic.b-cdn.net/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 bog) [1st ed. 2019 edition] (2019)](https://imusic.b-cdn.net/images/item/original/928/9781137607928.jpg?josie-barnard-2019-the-multimodal-writer-creative-writing-across-genres-and-media-hardcover-bog&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.b-cdn.net/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.b-cdn.net/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.b-cdn.net/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.b-cdn.net/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) (Bog) [9th ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/755/9781352004755.jpg?richard-sakwa-2018-developments-in-russian-politics-9-developments-in-politics-bog&class=scaled&v=1617962053)
![Cover for Anders Hansen · Media and Communication Research Methods (Hardcover bog) [2nd ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/637/9781137589637.jpg?anders-hansen-2018-media-and-communication-research-methods-hardcover-bog&class=scaled&v=1549098935)
![Cover for Alvin Finkel · Compassion: A Global History of Social Policy (Hardcover bog) [1st ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/093/9781352003093.jpg?alvin-finkel-2018-compassion-a-global-history-of-social-policy-hardcover-bog&class=scaled&v=1535977792)
![Cover for Vera Slavtcheva-Petkova · Global Journalism An Introduction - An Introduction (Hardcover bog) [1st ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/040/9781137604040.jpg?vera-slavtcheva-petkova-2018-global-journalism-an-introduction-an-introduction-hardcover-bog&class=scaled&v=1542040479)
![Cover for Ian Miller · Medical History - Theory and History (Hardcover bog) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/911/9781352002911.jpg?ian-miller-2018-medical-history-theory-and-history-hardcover-bog&class=scaled&v=1526168907)