Fortell venner om denne varen:
Formal Software Development From VDM to Java - From VDM to Java Quentin Charatan
Har du en profil? Logg inn
Få varsel om nye utgivelser fra Quentin Charatan
Legg til iMusic ønskeliste
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
| Media | Annen N/A (Ukjent medium) |
| Utgitt | 9. september 2003 |
| ISBN13 | 9780333992814 |
| Label | Macmillan Education UK |
| Antall sider | 256 |
| Mål | 246 × 191 × 15 mm · 385 g |
![Cover for Richard Sakwa · Developments In Russian Politics 9 (Developments In Politics) (Bok) [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-bok&class=scaled&v=1617962053)
![Cover for Martin Wasik · Core Statutes on Criminal Justice & Sentencing 2018-19 - Macmillan Core Statutes (Pocketbok) [3rd ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/628/9781352003628.jpg?martin-wasik-2018-core-statutes-on-criminal-justice-sentencing-2018-19-macmillan-core-statutes-pocketbok&class=scaled&v=1599571161)
![Cover for Simon Cooper · Core Statutes on Evidence 2018-19 - Macmillan Core Statutes (Pocketbok) [7th ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/680/9781352003680.jpg?simon-cooper-2018-core-statutes-on-evidence-2018-19-macmillan-core-statutes-pocketbok&class=scaled&v=1558224851)
![Cover for Stones R. · Key Sociological Thinkers (Innbunden bok) [3rd ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/208/9781137611208.jpg?stones-r-2017-key-sociological-thinkers-innbunden-bok&class=scaled&v=1609927554)
![Cover for Steven Lukes · Durkheim and the Law (Innbunden bok) [2nd ed. 2013 edition] (2017)](https://imusic.b-cdn.net/images/item/original/408/9781137352408.jpg?steven-lukes-2017-durkheim-and-the-law-innbunden-bok&class=scaled&v=1648176086)
![Cover for Maria Lauret · Alice Walker (Innbunden bok) [2nd ed. 2011 edition] (2017)](https://imusic.b-cdn.net/images/item/original/882/9780230575882.jpg?maria-lauret-2017-alice-walker-innbunden-bok&class=scaled&v=1510766233)
![Cover for John Horton · Political Obligation - Issues in Political Theory (Innbunden bok) [2nd ed. 2010 edition] (2017)](https://imusic.b-cdn.net/images/item/original/506/9780230576506.jpg?john-horton-2017-political-obligation-issues-in-political-theory-innbunden-bok&class=scaled&v=1412171342)
![Cover for Ronaldo Munck · Contemporary Latin America - Contemporary States and Societies (Pocketbok) [3rd ed. 2012 edition] (2017)](https://imusic.b-cdn.net/images/item/original/197/9780230354197.jpg?ronaldo-munck-2017-contemporary-latin-america-contemporary-states-and-societies-pocketbok&class=scaled&v=1399621738)
![Cover for Steven Fischer · A History of the Pacific Islands - Macmillan Essential Histories (Pocketbok) [2nd ed. 2013 edition] (2017)](https://imusic.b-cdn.net/images/item/original/697/9780230362697.jpg?steven-fischer-2017-a-history-of-the-pacific-islands-macmillan-essential-histories-pocketbok&class=scaled&v=1615567640)
![Cover for Barbra Teater · Quantitative Research Methods for Social Work: Making Social Work Count (Pocketbok) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/260/9781137400260.jpg?barbra-teater-2017-quantitative-research-methods-for-social-work-making-social-work-count-pocketbok&class=scaled&v=1486718434)
![Cover for Graeme Atherton · Access to Higher Education: Understanding Global Inequalities - Teaching and Learning (Pocketbok) [1st ed. 2017 edition] (2016)](https://imusic.b-cdn.net/images/item/original/891/9781137411891.jpg?graeme-atherton-2016-access-to-higher-education-understanding-global-inequalities-teaching-and-learning-pocketbok&class=scaled&v=1511376630)
![Cover for Will Leggett · Politics and Social Theory: The Inescapably Social, the Irreducibly Political - Themes in Social Theory (Pocketbok) [1st ed. 2017 edition] (2016)](https://imusic.b-cdn.net/images/item/original/810/9780230576810.jpg?will-leggett-2016-politics-and-social-theory-the-inescapably-social-the-irreducibly-political-themes-in-social-theory-pocketbok&class=scaled&v=1655983366)
![Cover for J. Christopher Westland · Global Innovation Management (Bok) [2nd ed. 2017 edition] (2016)](https://imusic.b-cdn.net/images/item/original/180/9781137520180.jpg?j-christopher-westland-2016-global-innovation-management-bok&class=scaled&v=1483651819)
![Cover for Jonathan Swift · Understanding Business in the Global Economy (Bok) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/572/9780230241572.jpg?jonathan-swift-2016-understanding-business-in-the-global-economy-bok&class=scaled&v=1481226290)
![Cover for Eleanor Spencer-Regan · American Poetry since 1945 - New Casebooks (Pocketbok) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/450/9781137324450.jpg?eleanor-spencer-regan-2016-american-poetry-since-1945-new-casebooks-pocketbok&class=scaled&v=1648175877)