Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

A Theory and Practice of Program Development

Taal EngelsEngels
Boek Gebonden (paperback)
Boek A Theory and Practice of Program Development Derek J. Andrews
Libristo-code: 06810125
Uitgeverij Springer, Berlin, juni 1997
A Theory and Practice of Program Development provides a comprehensive introduction to a software dev... Volledige beschrijving
? points 125 b
51.53 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Cirugía mínimamente invasiva en periodoncia Lalitha T. Arunachalam / Boek Gebonden (paperback)
common.buy 39.13 €
Věchýtek Kasandřin Pavel Josefovič Hejátko / Boek Gebonden (paperback)
common.buy 5.13 €
Visage retrouvé Mouawad / Boek Gebonden (paperback)
common.buy 22.08 €
Educar con el cine : 22 películas María Ángeles Almacellas Bernadó / Boek Gebonden (paperback)
common.buy 16.63 €
Pielegniarstwo pediatryczne / Boek Gebonden (paperback)
common.buy 46.39 €
Traite Des Resistances Du Cheval Ou Methode Raisonnee de Dressage Des Chevaux Difficiles (Ed.1877) Adolphe-Gustave Gerhardt / Boek Gebonden (paperback)
common.buy 28.13 €
Mouy Et Ses Environs: Angy, Bury, Ansacq, Cambronne, Heilles, Hondainville, (Ed.1873) Antoine-Joseph Warme / Boek Gebonden (paperback)
common.buy 33.07 €
Aus den Zeiten des deutschen Fürstenbundes. Akademische Rede zum Geburtsfest des höchstseligen Grossherzogs Karl Friedrich, etc. Bernhard Erdmannsdoerffer / Boek Gebonden (paperback)
common.buy 14.11 €

A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the formal semantics of a simple, but powerful, wide-spectrum programming language and gives a formal definition of both algorithmic and data refinement. Unlike other texts, it covers both the theory and practice of program development. Although based on VDM-SL, no knowledge of this language is assumed, thus making it widely accessible. A Theory and Practice of Program Development is intended for 3rd/4th year undergraduate and postgraduate students taking formal methods and software engineering; software developers involved in the production of provably correct computer systems and reusa ble design and the problems of reusable code.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam A Theory and Practice of Program Development
Auteur Derek J. Andrews
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1997
Aantal pagina's 405
EAN 9783540761624
ISBN 3540761624
Libristo-code 06810125
Uitgeverij Springer, Berlin
Gewicht 638
Afmetingen 156 x 234 x 21

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Encyclodpedia of Old Fishing Lures Robert A. Slade / Boek Gebonden (paperback)
common.buy 27.22 €
Lioness: Cygnus Five Book One: A Galaxy Spanning Space Opera Alex Oliver / Boek Gebonden (paperback)
common.buy 13.00 €
AQA German A Level Year 1 and AS Audio CDs Erika Klingler / Audio Audio cd
common.buy 132.73 €
Steps to Christ Ellen G. White 1908 Iacob Adrian / Boek Gebonden (paperback)
common.buy 7.66 €
ACTING 2/E Joe Alberti / Boek Gebonden (paperback)
common.buy 35.49 €
Specter of Global China Ching Kwan Lee / Boek Gebonden (paperback)
common.buy 36.50 €
Master Your Disaster: Family Edition: Your Readiness, Response and Recovery Prep Guide Leann Hackman-Carty / Boek Gebonden (paperback)
common.buy 8.56 €
TRAIT TH OLOGIQUE ET PHILOSOPHIQUE DE L LOUIS ELLIES DU PIN / Boek Gebonden (harde band)
common.buy 38.12 €
Licking County's Gallant Soldiers Newark / Boek Gebonden (paperback)
common.buy 14.51 €
Dissertations on the Genuineness of the Pentateuch E. W. Hengstenberg / Boek Gebonden (paperback)
common.buy 85.52 €
Crime and Compensation in North Africa Christine Sagar / Boek Gebonden (harde band)
common.buy 74.33 €
The World Almanac and Book of Facts 2024 Janssen / Boek Gebonden (harde band)
common.buy 33.68 €
From a Nobody to Somebody The Heavenly Journey / Boek Gebonden (paperback)
common.buy 11.79 €
Eagle's Heart Hamlin Garland / Boek Gebonden (paperback)
common.buy 16.53 €
Guide to Carisbrooke Castle, Isle of Wight ... Rearranged by Captain J. Markland, with Notes by Percy G. Stone ... Revised Edition. Percy Goddard Stone / Boek Gebonden (paperback)
common.buy 16.23 €
For an Hour, We Lived from Flowers Owi I Nandi / Boek Gebonden (harde band)
common.buy 17.84 €
A COMMUNICATION ARCHITECTURE FOR MOBILE AD HOC NETWORKS Orhan Dagdeviren / Boek Gebonden (paperback)
common.buy 52.44 €
Control Theory Methods in Economics Jati Sengupta / Boek Gebonden (paperback)
common.buy 153.91 €
Boundaries of Adult Learning Richard Edwards / Boek Gebonden (paperback)
common.buy 75.03 €
Wireless Multimedia Communication Systems Bojan M. Bakmaz / Boek Gebonden (harde band)
common.buy 389.53 €
Enabling Reflective Learning in Lifelong Career Guidance Francesco Consoli / Boek Gebonden (harde band)
common.buy 92.28 €
Escape JEFF POVEY / Boek Gebonden (paperback)
common.buy 9.17 €
Days We Remember / Boek Gebonden (harde band)
common.buy 28.43 €
Oxford Reading Tree TreeTops Fiction: Level 9: Dexter's Dinosaurs Michaela Morgan / Boek Gebonden (paperback)
common.buy 13.71 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?