Freunden von diesem Artikel berichten:
Formal Software Development From VDM to Java - From VDM to Java Quentin Charatan
Hast du ein Profil? Anmelden
Benachrichtigungen über neue Veröffentlichungen von Quentin Charatan erhalten
Zu deiner iMusic Wunschliste hinzufügen
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
| Medien | Andere N/A (Unbekannte Medien) |
| Erscheinungsdatum | 9. September 2003 |
| ISBN13 | 9780333992814 |
| Label | Macmillan Education UK |
| Seitenanzahl | 256 |
| Maße | 246 × 191 × 15 mm · 385 g |
Mehr vom selben Verlag
![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 (Gebundenes Buch) [1st ed. 2021 edition] (2020)](https://imusic.b-cdn.net/images/item/original/862/9781352010862.jpg?ronald-kramer-2020-culture-crime-and-punishment-gebundenes-buch&class=scaled&v=1615887419)
![Cover for W. M. Spellman · A Concise History of the World Since 1945 States and Peoples (Gebundenes Buch) [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-gebundenes-buch&class=scaled&v=1620535875)
![Cover for Katie Barclay · The History of Emotions A Student Guide to Methods and Sources (Gebundenes Buch) [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-gebundenes-buch&class=scaled&v=1694333976)
![Cover for Hubert Buch-Hansen · Critical Realism Basics and Beyond (Gebundenes Buch) [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-gebundenes-buch&class=scaled&v=1694334489)
![Cover for Sue Turnbull · Media Audiences: Is Anybody Watching? (Gebundenes Buch) [1st ed. 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/583/9781352009583.jpg?sue-turnbull-2020-media-audiences-is-anybody-watching-gebundenes-buch&class=scaled&v=1722290765)
![Cover for Kevin Deane · Recharting the History of Economic Thought (Taschenbuch) [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-taschenbuch&class=scaled&v=1624021966)
![Cover for Jon Pierre · Governance Politics and the State (Buch) [2nd ed. 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/454/9780230220454.jpg?jon-pierre-2020-governance-politics-and-the-state-buch&class=scaled&v=1616750056)
![Cover for Paul Williams · Novel Ideas Writing Innovative Fiction (Gebundenes Buch) [1st ed. 2020 edition] (2019)](https://imusic.b-cdn.net/images/item/original/487/9781352008487.jpg?paul-williams-2019-novel-ideas-writing-innovative-fiction-gebundenes-buch&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 (Taschenbuch) [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-taschenbuch&class=scaled&v=1605412229)
![Cover for Willemijn Ruberg · History of the Body - Theory and History (Gebundenes Buch) [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-gebundenes-buch&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 (Gebundenes Buch) [1st ed. 2019 edition] (2019)](https://imusic.b-cdn.net/images/item/original/862/9781137389862.jpg?curry-a-2019-the-hundred-years-war-revisited-gebundenes-buch&class=scaled&v=1560784013)
![Cover for New and Experimental Approaches to Writing Lives (Gebundenes Buch) [1st ed. 2019 edition] (2019)](https://imusic.b-cdn.net/images/item/original/213/9781352007213.jpg?2019-new-and-experimental-approaches-to-writing-lives-gebundenes-buch&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 (Gebundenes Buch) [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-gebundenes-buch&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) (Buch) [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-buch&class=scaled&v=1617962053)
![Cover for Anders Hansen · Media and Communication Research Methods (Gebundenes Buch) [2nd ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/637/9781137589637.jpg?anders-hansen-2018-media-and-communication-research-methods-gebundenes-buch&class=scaled&v=1549098935)
![Cover for Alvin Finkel · Compassion: A Global History of Social Policy (Gebundenes Buch) [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-gebundenes-buch&class=scaled&v=1535977792)
![Cover for Vera Slavtcheva-Petkova · Global Journalism An Introduction - An Introduction (Gebundenes Buch) [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-gebundenes-buch&class=scaled&v=1542040479)
![Cover for Ian Miller · Medical History - Theory and History (Gebundenes Buch) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/911/9781352002911.jpg?ian-miller-2018-medical-history-theory-and-history-gebundenes-buch&class=scaled&v=1526168907)
Alle Titel von Quentin Charatan ansehen ( u. a. Taschenbuch und Gebundenes Buch )