Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

A Theory and Practice of Program Development

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga A Theory and Practice of Program Development Derek J. Andrews
Libristo kod: 06810125
Nakladnici Springer, Berlin, lipanj 1997
A Theory and Practice of Program Development provides a comprehensive introduction to a software dev... Cijeli opis
? points 125 b
51.53 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

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

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv A Theory and Practice of Program Development
Autor Derek J. Andrews
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1997
Broj stranica 405
EAN 9783540761624
ISBN 3540761624
Libristo kod 06810125
Nakladnici Springer, Berlin
Težina 638
Dimenzije 156 x 234 x 21

Kategorija

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Encyclodpedia of Old Fishing Lures Robert A. Slade / Knjiga Meki uvez
common.buy 25.91 €
Lioness: Cygnus Five Book One: A Galaxy Spanning Space Opera Alex Oliver / Knjiga Meki uvez
common.buy 13.00 €
AQA German A Level Year 1 and AS Audio CDs Erika Klingler / Audio Audio CD
common.buy 125.97 €
Steps to Christ Ellen G. White 1908 Iacob Adrian / Knjiga Meki uvez
common.buy 7.66 €
ACTING 2/E Joe Alberti / Knjiga Meki uvez
common.buy 35.49 €
Specter of Global China Ching Kwan Lee / Knjiga Meki uvez
common.buy 33.38 €
Master Your Disaster: Family Edition: Your Readiness, Response and Recovery Prep Guide Leann Hackman-Carty / Knjiga Meki uvez
common.buy 8.56 €
TRAIT TH OLOGIQUE ET PHILOSOPHIQUE DE L LOUIS ELLIES DU PIN / Knjiga Tvrdi uvez
common.buy 38.12 €
Licking County's Gallant Soldiers Newark / Knjiga Meki uvez
common.buy 14.51 €
Dissertations on the Genuineness of the Pentateuch E. W. Hengstenberg / Knjiga Meki uvez
common.buy 85.52 €
Crime and Compensation in North Africa Christine Sagar / Knjiga Tvrdi uvez
common.buy 74.33 €
The World Almanac and Book of Facts 2024 Janssen / Knjiga Tvrdi uvez
common.buy 31.56 €
From a Nobody to Somebody The Heavenly Journey / Knjiga Meki uvez
common.buy 11.79 €
Eagle's Heart Hamlin Garland / Knjiga Meki uvez
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 / Knjiga Meki uvez
common.buy 16.23 €
For an Hour, We Lived from Flowers Owi I Nandi / Knjiga Tvrdi uvez
common.buy 17.84 €
A COMMUNICATION ARCHITECTURE FOR MOBILE AD HOC NETWORKS Orhan Dagdeviren / Knjiga Meki uvez
common.buy 47.30 €
Control Theory Methods in Economics Jati Sengupta / Knjiga Meki uvez
common.buy 153.91 €
Boundaries of Adult Learning Richard Edwards / Knjiga Meki uvez
common.buy 75.03 €
Wireless Multimedia Communication Systems Bojan M. Bakmaz / Knjiga Tvrdi uvez
common.buy 389.53 €
Enabling Reflective Learning in Lifelong Career Guidance Francesco Consoli / Knjiga Tvrdi uvez
common.buy 87.84 €
Escape JEFF POVEY / Knjiga Meki uvez
common.buy 9.17 €
Days We Remember / Knjiga Tvrdi uvez
common.buy 28.43 €
Oxford Reading Tree TreeTops Fiction: Level 9: Dexter's Dinosaurs Michaela Morgan / Knjiga Meki uvez
common.buy 13.00 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?