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 €.

Specification and Transformation of Programs

A Formal Approach to Software Development

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Specification and Transformation of Programs Helmut A. Partsch
Libristo kod: 01565285
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpanj 1990
Specification and Transformation of Programs is short for a methodology of software development wher... Cijeli opis
? points 122 b
50.57 €
Vanjske zalihe Šaljemo za 10-13 dana

Do 30 dana za povrat

Kupci su kupili i

Pripremamo
Funko POP Animation: Demon Slayer - Mitsuri Kanroji #1852 Igra/Igračka Igračka
common.buy 21.64 €
Nucléaire : les chemins de l'uranium Morvan / Knjiga Meki uvez
common.buy 26.39 €
MEMOIRES ETHIOPIENNES Bessette / Knjiga Meki uvez
common.buy 41.26 €
Las tres vidas del pintor de la luz Alandes / Knjiga Meki uvez
common.buy 18.70 €
@TheBlogFrom Barcelona Silva de Villena / Knjiga Tvrdi uvez
common.buy 12.13 €
Top Pripremamo
Psychologie buddhistické tantry Rob Preece / Knjiga Knjiga
common.buy 12.74 €
Das >Bellum Iudaicum< des Ambrosius Otto Zwierlein / Knjiga Tvrdi uvez
common.buy 146.36 €
Měsíční čarodějky - Vlci zvěrokruhu Elizabeth Briggsová / Knjiga Meki uvez
common.buy 16.18 €
Tierisch süße Häkelfreunde - Waldtiere und Feen Erinna Lee / Knjiga Meki uvez
common.buy 12.74 €
La Vulgarisation médicale. Allocution, 17 avril 1893 Ernest Monin / Knjiga Meki uvez
common.buy 12.74 €
Cómo funcionan las startups en los países en desarrollo Marcus Goncalves / Knjiga Meki uvez
common.buy 54.31 €
Yonsei Hangugeo : maîtriser le coréen en 3 semaines (niveau 2)(CD inclu) / Knjiga Meki uvez
common.buy 40.55 €
Am kürzeren Ende der Sonnenallee von Thomas Brussig: Lektüreschlüssel mit Inhaltsangabe, Interpretation, Prüfungsaufgaben mit Lösungen, Lernglossar. ( Mathias Kieß / Knjiga Meki uvez
common.buy 6.67 €
Chemie 8 - nová generace Škoda Jiří / Knjiga Meki uvez
common.buy 8.59 €
Minakata Kumagusu Satoshi Ohara / Knjiga Meki uvez
common.buy 21.13 €
Pripremamo
Květinová zkouška Jay Lake / Knjiga Meki uvez
common.buy 8.79 €
Lambacher Schweizer Mathematik Abitur- und Klausurtraining Leistungskurs. Ausgabe Rheinland-Pfalz / Knjiga Meki uvez
common.buy 20.32 €
Erzählungen 1933-1947 Anna Seghers / Knjiga Tvrdi uvez
common.buy 34.48 €
Die Kündigung von Betriebsvereinbarungen über betriebliche Sozialleistungen. Marcus Sommer / Knjiga Meki uvez
common.buy 65.74 €
So machen Kitas Demokratiebildung Elisabeth Richter / Knjiga Meki uvez
common.buy 28.41 €
Lo Social Como Institucion Imaginaria Cristiano Javier / Knjiga Meki uvez
common.buy 43.79 €
Relatos de los Mares del Sur Jack London / Knjiga Meki uvez
common.buy 12.13 €
Tu pots salvar el planeta Jaume Mu?oz Cunill / Knjiga Meki uvez
common.buy 13.95 €
DOFUS MANGA DOUBLE T02+CARTE Z Ancestral / Knjiga Meki uvez
common.buy 12.84 €

Specification and Transformation of Programs is short for a methodology of software development where, from a formal specification of a problem, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. This book is primarily intended as a general introductory textbook. It can also be seen as a comprehensive account of the transformational methodology developed within the Munich CIP project. The contents of the book reflect the essential steps in a sequential process of software development from an informally stated problem, via a formal problem specification, to a final, efficient program. Aspects considered include linguistic means for describing the various intermediate stages in the process, individual techniques for the transition between these stages, and strategies for applying these techniques. All aspects are illustrated by representative examples.

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 Specification and Transformation of Programs
Autor Helmut A. Partsch
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 1990
Broj stranica 493
EAN 9783540523567
ISBN 3540523561
Libristo kod 01565285
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 2630
Dimenzije 178 x 254 x 32

Kategorija

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Operating systems
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

Ecophysiology of Economic Plants in Arid and Semi-Arid Lands Gerald E. Wickens / Knjiga Tvrdi uvez
common.buy 167.71 €
For Valour: The Air VCs of World War II Murray McLeod / Knjiga Meki uvez
common.buy 21.13 €
Too Clever by Half; Or, the Harroways. by the Mofussilite [I.E. J. L.]. John Lang / Knjiga Meki uvez
common.buy 22.04 €
Thane of Wessex Charles Watts Whistler / Knjiga Meki uvez
common.buy 20.32 €
Niamh and the Viking Prince Robert (University of Missouri) Collins / Knjiga Meki uvez
common.buy 21.03 €
Amused to Death, 1 Audio-CD Roger Waters / Audio Audio CD
common.buy 16.78 €
John Buchan and the Idea of Modernity Kate Macdonald / Knjiga Meki uvez
common.buy 75.25 €
Second Address to the Inhabitants of the Two Great Cities of London and Westminster Matthew Tindal / Knjiga Tvrdi uvez
common.buy 30.74 €
YuYu Hakusho, Vol. 18 Yoshihiro Togashi / Knjiga Meki uvez
common.buy 10.21 €
Designer & Client: Eight Boat Design Commissions, from Kayak to Cruiser Antonio Dias / Knjiga Meki uvez
common.buy 20.93 €
Christina's Pocket Posh Journal, Mum Andrews McMeel Publishing / Knjiga Meki uvez
common.buy 7.68 €
Casino Royale FLEMING IAN / Knjiga Meki uvez
common.buy 15.06 €
Shark Attacks Blake Chapman / E-knjiga Adobe ePub DRM
common.buy 26.19 €
Wondrous: 25 True UFO Encounters Christine Kesara Dennett / Knjiga Meki uvez
common.buy 14.76 €
That Old Familiar Pain Sandison Edward / Knjiga Meki uvez
common.buy 15.57 €
Top
Caraval Stephanie Garber / Knjiga Meki uvez
common.buy 9.90 €
Dr. Fegg's Encyclopaedia of All World Knowledge Terry Jones / Knjiga Meki uvez
common.buy 20.52 €
Cool, Sexy & Dead Clifford Thurlow / Knjiga Meki uvez
common.buy 10.31 €
Writing Prompts Journal: How Successful People Think and the Rules for Happy Life Jack Brown / Knjiga Meki uvez
common.buy 13.65 €
The silent South, together with The freedman's case in equity and the convict lease system. By: George W. Cable: George Washington Cable (October 12, George W Cable / Knjiga Meki uvez
common.buy 9.30 €
Harrigan Max Brand / Knjiga Meki uvez
common.buy 13.04 €
Further Adventures of Sherlock Holmes - The Improbable Prisoner Stuart Douglas / Knjiga Meki uvez
common.buy 10.41 €
Correspondence of Assurbanipal, Part I Simo Parpola / Knjiga Meki uvez
common.buy 58.05 €
Modern Science and the Orthodox Tradition: An Uneasy Relationship Vasilios Makrides / Knjiga Tvrdi uvez
common.buy 129.17 €

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?