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.

Specification and Transformation of Programs

A Formal Approach to Software Development

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Specification and Transformation of Programs Helmut A. Partsch
Libristo-code: 01565301
Uitgeverij Springer, Berlin, juli 1990
"Specification and transformation of programs" is short for a methodology of software development wh... Volledige beschrijving
? points 148 b
60.91 €
In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Svitavsko 1:50 000 neuvedený autor / Drukwerk Kaart
common.buy 5.54 €
SINGT DEM HERRN EIN NEUES LIED CHANT PETER PLANYAVSKY Boek binding.
common.buy 11.59 €
L'île des lapins : ils sont dingos en Australie Delaven / Boek Gebonden (paperback)
common.buy 9.57 €
Aux sources de l'utopie numérique Turner / Boek Gebonden (paperback)
common.buy 34.38 €
Proč jsem si nekoupil jinou knížku? Martin N. Seif; Sally M. Winston / Boek Gebonden (paperback)
common.buy 3.82 €
Queer Monika Niehaus / Boek Gebonden (harde band)
common.buy 17.84 €
Petites et moyennes entreprises et numérisation de l'économie Engr. Jazuli S. Kazaure / Boek Gebonden (paperback)
common.buy 75.34 €
Kurze Auszeit (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz Calvendo / Kalender/agenda Kalender
common.buy 73.62 €
DIABLO HOUSE ADAMS / Boek Gebonden (harde band)
common.buy 20.36 €
Jireenyaa Fi Tajaajila Yesuus Kiristoos: Akka Macaafni Qulqulluun Jedhutti Obbo Dirribaa Ayyelee Saaqqataa / Boek Gebonden (paperback)
common.buy 10.28 €
Ma Mere. Dedicace d'Un Fils A Son Pere JOURDAIN-L / Boek Gebonden (paperback)
common.buy 13.61 €
Wordt verwacht
Baby Animals Michael Poliza / Boek Gebonden (harde band)
common.buy 15.83 €
7 Divů světa/DUEL - Společenská hra Bruno Cathala / Spel/speelgoed Spel
common.buy 34.69 €
Estructura y procesos sociales en el País Vasco Vol. II GURRUCHAGA ABAD / Boek Gebonden (paperback)
common.buy 14.92 €
Voyage Autour Du Monde: Australie Beauvoir-L / Boek Gebonden (paperback)
common.buy 29.04 €
Myší hlídka Zima 1152 David Petersen / Boek Gebonden (harde band)
common.buy 22.79 €
World Cup Soccer in the Middle East Stephen E Sealy / Boek Gebonden (paperback)
common.buy 18.25 €
Diskursiver Wandel Achim Landwehr / Boek Gebonden (paperback)
common.buy 51.73 €
Religion Und Religiosit t Im Vereinigten Deutschland Gert Pickel / Boek Gebonden (paperback)
common.buy 56.47 €
Mehrkomponentenvertrage nach IFRS Daniel T. Fischer / Boek Gebonden (paperback)
common.buy 44.57 €
Amira - Prinzessin der Wüste Salim Alafenisch / Boek Gebonden (paperback)
common.buy 10.28 €
Příběhy z temné komory Günter Grass / Boek Gebonden (harde band)
common.buy 9.47 €

"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. The approach considers programming as a formal activity. Consequently, it requires some mathematical maturity and, above all, the will to try something new. A somewhat experienced programmer or a third- or fourth-year student in computer science should be able to master most of this material - at least, this is the level I have aimed at. This book is primarily intended as a general introductory textbook on transformational methodology. As with any methodology, reading and understanding is necessary but not sufficient. Therefore, most of the chapters contain a set of exercises for practising as homework. Solutions to these exercises exist and can, in principle, be obtained at nominal cost from the author upon request on appropriate letterhead. In addition, the book also can be seen as a comprehensive account of the particular transformational methodology developed within the Munich CIP project.

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 Specification and Transformation of Programs
Auteur Helmut A. Partsch
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1990
Aantal pagina's 493
EAN 9783540525899
ISBN 3540525890
Libristo-code 01565301
Uitgeverij Springer, Berlin
Gewicht 786
Afmetingen 170 x 242 x 26

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Besturingssystemen
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

Complexity of Lattice Problems Daniele Micciancio / Boek Gebonden (harde band)
common.buy 275.15 €
A Story for Kira: The 12 Months of the Year Janet Lynn Smith / Boek Gebonden (paperback)
common.buy 11.19 €
Extracting Appalachia Geoffrey L. Buckley / Boek Gebonden (paperback)
common.buy 29.64 €
Adventure Of The Dying Detective Sir Arthur Conan Doyle / Boek Gebonden (paperback)
common.buy 18.35 €
Deadline Michael Stack / Boek Gebonden (paperback)
common.buy 16.73 €
100 Ideas to Market Your Childcare Business Taffy Gallagher / Boek Gebonden (paperback)
common.buy 11.99 €
Eight Years Wandering In The High Mountains Of Sinai Peninsula Ahmed Shams / Boek Gebonden (paperback)
common.buy 117.09 €
Johannine Grammar Edwin A. Abbott / Boek Gebonden (paperback)
common.buy 56.07 €
Farewell the Trumpets: An Imperial Retreat James Morris / Boek Gebonden (paperback)
common.buy 33.07 €
Portland's Pearl District Christopher S. Gorsek / Boek Gebonden (paperback)
common.buy 21.98 €
Free Will and Human Agency: 50 Puzzles, Paradoxes, and Thought Experiments Garrett Pendergraft / Boek Gebonden (harde band)
common.buy 250.94 €
Reason I Jump: one boy's voice from the silence of autism Naoki Higashida / Boek Gebonden (paperback)
common.buy 10.38 €
Never Marry the Femme Fatale Miriam F Martin / Boek Gebonden (paperback)
common.buy 10.28 €
Cost of Climate Policy Bryn Sadownik / Boek Gebonden (harde band)
common.buy 116.49 €
The Thinking Man's 12 Week Guide to Gaining Size Dr R Conrad Bingham / Boek Gebonden (paperback)
common.buy 7.66 €
Planting Churches among the City's Poor: An Anthology of Urban Church Planting R: Volume 2: Resources and Tools for Coaches and Teams Dr Don L Davis / Boek Gebonden (paperback)
common.buy 49.82 €
Langevin And Fokker-planck Equations And Their Generalizations: Descriptions And Solutions Kwok / Boek Gebonden (harde band)
common.buy 102.97 €
Jack and the Körner Princess A L Collins / Boek Gebonden (paperback)
common.buy 14.82 €
Essay Upon Civil Government CHEVALIER RAMSAY / Boek Gebonden (harde band)
common.buy 32.47 €
Numerical Modeling and Computer Simulation Gunvant Birajdar / Boek Gebonden (harde band)
common.buy 114.37 €
Old Times. Reminiscences of the Early Days of Michigan John Judson Bagley / Boek Gebonden (paperback)
common.buy 14.51 €
Regional Actors in Multilateral Negotiations DIANA PANKE / Boek Gebonden (paperback)
common.buy 42.86 €
Lectures in Classical Mechanics Victor Ilisie / Boek Gebonden (paperback)
common.buy 75.44 €
Queer People of Color in Higher Education Joshua Moon Johnson / Boek Gebonden (harde band)
common.buy 109.63 €

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?