Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

A Theory and Practice of Program Development

Sprache EnglischEnglisch
Buch Broschur
Buch A Theory and Practice of Program Development Derek J. Andrews
Libristo-Code: 06810125
Verlag Springer, Berlin, Juni 1997
A Theory and Practice of Program Development provides a comprehensive introduction to a software dev... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name A Theory and Practice of Program Development
Autor Derek J. Andrews
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1997
Anzahl der Seiten 405
EAN 9783540761624
ISBN 3540761624
Libristo-Code 06810125
Verlag Springer, Berlin
Gewicht 638
Abmessungen 156 x 234 x 21

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Encyclodpedia of Old Fishing Lures Robert A. Slade / Buch Broschur
common.buy 28.29 €
Lioness: Cygnus Five Book One: A Galaxy Spanning Space Opera Alex Oliver / Buch Broschur
common.buy 13.59 €
AQA German A Level Year 1 and AS Audio CDs Erika Klingler / Audio Audio CD
common.buy 138.09 €
Steps to Christ Ellen G. White 1908 Iacob Adrian / Buch Broschur
common.buy 7.99 €
ACTING 2/E Joe Alberti / Buch Broschur
common.buy 36.59 €
Specter of Global China Ching Kwan Lee / Buch Broschur
common.buy 36.19 €
Master Your Disaster: Family Edition: Your Readiness, Response and Recovery Prep Guide Leann Hackman-Carty / Buch Broschur
common.buy 8.89 €
TRAIT TH OLOGIQUE ET PHILOSOPHIQUE DE L LOUIS ELLIES DU PIN / Buch Hardcover
common.buy 39.69 €
Licking County's Gallant Soldiers Newark / Buch Broschur
common.buy 15.09 €
Dissertations on the Genuineness of the Pentateuch E. W. Hengstenberg / Buch Broschur
common.buy 88.69 €
Crime and Compensation in North Africa Christine Sagar / Buch Hardcover
common.buy 77.49 €
The World Almanac and Book of Facts 2024 Janssen / Buch Hardcover
common.buy 33.39 €
From a Nobody to Somebody The Heavenly Journey / Buch Broschur
common.buy 12.29 €
Eagle's Heart Hamlin Garland / Buch Broschur
common.buy 17.19 €
Guide to Carisbrooke Castle, Isle of Wight ... Rearranged by Captain J. Markland, with Notes by Percy G. Stone ... Revised Edition. Percy Goddard Stone / Buch Broschur
common.buy 16.89 €
For an Hour, We Lived from Flowers Owi I Nandi / Buch Hardcover
common.buy 18.89 €
A COMMUNICATION ARCHITECTURE FOR MOBILE AD HOC NETWORKS Orhan Dagdeviren / Buch Broschur
common.buy 51.99 €
Control Theory Methods in Economics Jati Sengupta / Buch Broschur
common.buy 160.89 €
Boundaries of Adult Learning Richard Edwards / Buch Broschur
common.buy 77.69 €
Wireless Multimedia Communication Systems Bojan M. Bakmaz / Buch Hardcover
common.buy 403.29 €
Enabling Reflective Learning in Lifelong Career Guidance Francesco Consoli / Buch Hardcover
common.buy 91.49 €
Escape JEFF POVEY / Buch Broschur
common.buy 9.59 €
Days We Remember / Buch Hardcover
common.buy 29.69 €
Oxford Reading Tree TreeTops Fiction: Level 9: Dexter's Dinosaurs Michaela Morgan / Buch Broschur
common.buy 14.29 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?