Vertel uw vrienden over dit artikel:
Formal Software Development From VDM to Java - From VDM to Java Quentin Charatan
Heb je een profiel? Inloggen
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Ontvang meldingen over nieuwe releases van Quentin Charatan
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
of
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
| Media | Andere N/A (Onbekend formaat) |
| Vrijgegeven | 9 september 2003 |
| ISBN13 | 9780333992814 |
| Label | Macmillan Education UK |
| Pagina's | 256 |
| Afmetingen | 246 × 191 × 15 mm · 385 g |
![Cover for Ronald Kramer · Culture, Crime And Punishment (Book) [1st ed. 2021 edition] (2020)](https://imusic.b-cdn.net/images/item/original/824/9781352010824.jpg?ronald-kramer-2020-culture-crime-and-punishment-book&class=scaled&v=1615887419)
![Cover for Ronald Kramer · Culture Crime and Punishment (Hardcover Book) [1st ed. 2021 edition] (2020)](https://imusic.b-cdn.net/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.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-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.b-cdn.net/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 Kevin Deane · Recharting the History of Economic Thought (Paperback Book) [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-book&class=scaled&v=1624021966)
![Cover for Jon Pierre · Governance Politics and the State (Book) [2nd ed. 2020 edition] (2020)](https://imusic.b-cdn.net/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.b-cdn.net/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.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 Book) [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-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.b-cdn.net/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.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 Book) [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-book&class=scaled&v=1560784013)
![Cover for New and Experimental Approaches to Writing Lives (Hardcover Book) [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-book&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 Book) [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-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.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) (Book) [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-book&class=scaled&v=1617962053)
![Cover for Anders Hansen · Media and Communication Research Methods (Hardcover Book) [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-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.b-cdn.net/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.b-cdn.net/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.b-cdn.net/images/item/original/911/9781352002911.jpg?ian-miller-2018-medical-history-theory-and-history-hardcover-book&class=scaled&v=1526168907)
![Cover for Jane Boston · Voice - Readings in Theatre Practice (Hardcover Book) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/956/9781137301956.jpg?jane-boston-2018-voice-readings-in-theatre-practice-hardcover-book&class=scaled&v=1648175777)
![Cover for Emma Griffin · A Short History of the British Industrial Revolution (Hardcover Book) [2nd ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/246/9781352003246.jpg?emma-griffin-2018-a-short-history-of-the-british-industrial-revolution-hardcover-book&class=scaled&v=1530083661)