Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Stimați clienți, din motive tehnice, suportul pentru clienți nu este disponibil astăzi. Vom răspunde solicitărilor dumneavoastră în următoarea zi lucrătoare. Vă mulțumim pentru înțelegere.

A Theory and Practice of Program Development

Limba englezăengleză
Carte Carte broșată
Carte A Theory and Practice of Program Development Derek J. Andrews
Codul Libristo: 06810125
Editura Springer, Berlin, iunie 1997
A Theory and Practice of Program Development provides a comprehensive introduction to a software dev... Descrierea completă
? points 132 b
284.42 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

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

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet A Theory and Practice of Program Development
Autor Derek J. Andrews
Limba engleză
Legare Carte - Carte broșată
Data publicării 1997
Număr pagini 405
EAN 9783540761624
ISBN 3540761624
Codul Libristo 06810125
Editura Springer, Berlin
Greutatea 638
Dimensiuni 156 x 234 x 21

Categorii

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Encyclodpedia of Old Fishing Lures Robert A. Slade / Carte Carte broșată
common.buy 135.83 lei
Lioness: Cygnus Five Book One: A Galaxy Spanning Space Opera Alex Oliver / Carte Carte broșată
common.buy 71.64 lei
AQA German A Level Year 1 and AS Audio CDs Erika Klingler / Audio Audio CD
common.buy 695.04 lei
Steps to Christ Ellen G. White 1908 Iacob Adrian / Carte Carte broșată
common.buy 42.09 lei
ACTING 2/E Joe Alberti / Carte Carte broșată
common.buy 193.48 lei
Specter of Global China Ching Kwan Lee / Carte Carte broșată
common.buy 182.90 lei
Master Your Disaster: Family Edition: Your Readiness, Response and Recovery Prep Guide Leann Hackman-Carty / Carte Carte broșată
common.buy 46.86 lei
TRAIT TH OLOGIQUE ET PHILOSOPHIQUE DE L LOUIS ELLIES DU PIN / Carte Copertă tare
common.buy 209.66 lei
Licking County's Gallant Soldiers Newark / Carte Carte broșată
common.buy 79.94 lei
Dissertations on the Genuineness of the Pentateuch E. W. Hengstenberg / Carte Carte broșată
common.buy 468.58 lei
Crime and Compensation in North Africa Christine Sagar / Carte Copertă tare
common.buy 409.89 lei
The World Almanac and Book of Facts 2024 Janssen / Carte Copertă tare
common.buy 176.58 lei
From a Nobody to Somebody The Heavenly Journey / Carte Carte broșată
common.buy 65.01 lei
Eagle's Heart Hamlin Garland / Carte Carte broșată
common.buy 90.72 lei
Guide to Carisbrooke Castle, Isle of Wight ... Rearranged by Captain J. Markland, with Notes by Percy G. Stone ... Revised Edition. Percy Goddard Stone / Carte Carte broșată
common.buy 89.37 lei
For an Hour, We Lived from Flowers Owi I Nandi / Carte Copertă tare
common.buy 99.74 lei
A COMMUNICATION ARCHITECTURE FOR MOBILE AD HOC NETWORKS Orhan Dagdeviren / Carte Carte broșată
common.buy 261.30 lei
Control Theory Methods in Economics Jati Sengupta / Carte Carte broșată
common.buy 850.16 lei
Boundaries of Adult Learning Richard Edwards / Carte Carte broșată
common.buy 410.51 lei
Wireless Multimedia Communication Systems Bojan M. Bakmaz / Carte Copertă tare
common.buy 2 462.06 lei
Enabling Reflective Learning in Lifelong Career Guidance Francesco Consoli / Carte Copertă tare
common.buy 483.51 lei
Escape JEFF POVEY / Carte Carte broșată
common.buy 50.70 lei
Days We Remember / Carte Copertă tare
common.buy 156.98 lei
Oxford Reading Tree TreeTops Fiction: Level 9: Dexter's Dinosaurs Michaela Morgan / Carte Carte broșată
common.buy 71.64 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?