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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Practical Theory of Programming

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Practical Theory of Programming Eric C.R. Hehner
Libristo-code: 02179586
Uitgeverij Springer-Verlag New York Inc., september 2012
Understanding programming and programming languages requires knowledge of the underlying theoretical... Volledige beschrijving
? points 122 b
50.58 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Rois et reines de France Laureen Bouyssou / Boek Gebonden (harde band)
common.buy 12.23 €
Fais ton cinéma avec Mortelle Adèle figurines M. TAN / Spel/speelgoed Spel
common.buy 24.27 €
Wordt verwacht
Comme un mendiant sur les quais de marbre Penblanc / Boek Gebonden (paperback)
common.buy 25.08 €
Les débuts de Gossip Girl - Nous étions faits pour nous entendre Cecily Von Ziegesar / Boek Gebonden (paperback)
common.buy 11.73 €
BILINGUE Maths au CE2 Cahier de l'élève (unité) Duprey / Boek Gebonden (paperback)
common.buy 13.55 €
TOP
Liebe geht durch alle Zeiten (1). Rubinrot Kerstin Gier / Boek Gebonden (harde band)
common.buy 20.33 €
HANS HEMMERT HEMMERT / Boek Gebonden (paperback)
common.buy 11.73 €
cerimonie magiche Cornelio Enrico Agrippa / Boek Boek
common.buy 15.37 €
CUENTOS COMO NUNCA LOS HEMOS CONTADO MAR BENEGAS / Boek Boek
common.buy 19.72 €
Stalin eine Biographie - Band 205e in der gelben Buchreihe - bei Jürgen Ruszkowski Leo Trotzki / Boek Gebonden (paperback)
common.buy 38.94 €
Histoire de la Revolution Francaise, Consulat, Empire, Restauration, Revolution de Juillet. Tome 3 Ferrand-J / Boek Gebonden (paperback)
common.buy 32.06 €
LE VENTRE DE PARIS Emilie Zola / Boek Gebonden (paperback)
common.buy 8.79 €
Wordt verwacht
Die pädagogische Bewegung in Deutschland und ihre Theorie Herman Nohl / Boek Gebonden (paperback)
common.buy 18.30 €
Vergleich von linearer, Tagesgebrauchtwert‐ und RRC‐Abschreibung bei konstanten und veranderlichen Preisen Georg Dyck / Boek Gebonden (paperback)
common.buy 17.09 €
Das Tierreich geordnet nach seiner Organisation Baron von Cuvier / Boek Gebonden (paperback)
common.buy 43.60 €
Padagogische Generationsbeziehungen Susann Busse / Boek Gebonden (paperback)
common.buy 62.62 €
Bibliographie Biographique Universelle.T. II (N-Z) (Ed.1854) Eduard Maria Oettinger / Boek Gebonden (paperback)
common.buy 29.43 €
Polnische Volkssagen und Marchen K W Woycicki / Boek Gebonden (harde band)
common.buy 26.80 €
Do - Der Weg zur inneren MeisterIn Dr Saskia Schottelius / Boek Gebonden (harde band)
common.buy 19.72 €
Neuropsychologia współczesne kierunki badań Opracowanie Zbiorowe / Boek Gebonden (paperback)
common.buy 35.20 €
Sistemas de bienestar social en Navarra (1990-1999) : servicios sociales, salud, trabajo, vivienda y justicia GORRI GOÑI / Boek Gebonden (paperback)
common.buy 26.20 €
Berichte an den Gutachter schreiben Gerald Mackenthun / Boek Gebonden (paperback)
common.buy 16.18 €
La Fortaleza Luis Carlos Molina Acevedo / Boek Gebonden (paperback)
common.buy 10.71 €
Strawberry - omalovánky / Boek Gebonden (paperback)
common.buy 3.03 €

Understanding programming and programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. The author describes a programming theory which is much simpler and more comprehensive than the current theories to date. In the theoretical model, a specification is just a boolean expression and refinement is just an ordinary implication. The author develops a practical and broad method for writing precise specifications and designing programs whose executions probably satisfy the specifications. Beginning with preparatory material in logic, numbers, sets, lists, functions and relations, the book advances further into program theory, the heart of the book. Subsequent chapters may be selected or omitted according to course emphasis. The text will be useful to students in courses on programming methodology or verification at the advanced undergraduate or beginning graduate level, as well as for software engineers in the field. All technical terms are explained and then demonstrated in the book wherever possible. No advanced mathematical knowledge or programming language is assumed. The book contains numerous exercises and worked-out solutions for specific exercises. Transparency masters and solutions for the remaining exercises are available from the author.

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 Practical Theory of Programming
Auteur Eric C.R. Hehner
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2012
Aantal pagina's 247
EAN 9781461264446
ISBN 1461264448
Libristo-code 02179586
Uitgeverij Springer-Verlag New York Inc.
Gewicht 500
Afmetingen 178 x 254 x 15

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Besturingssystemen
Informatica en informatietechnologie > Informatica
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

Ava at the Beach Jc Burdine / Boek Gebonden (paperback)
common.buy 13.95 €
Wordt verwacht
Richard Serra: Notebooks Vol. 2 Richard Serra / Boek Gebonden (harde band)
common.buy 835.11 €
Annual Report New York (State) Bureau of Labor Statis / Boek Gebonden (harde band)
common.buy 45.82 €
Improving Relations with Your Partner Richardson Andrew Richardson / Luisterboek MP3
common.buy 3.03 €
Democracy and the Organization of Political Parties M. Ostrogorski / Boek Gebonden (paperback)
common.buy 71.42 €
Five Roundabouts to Heaven John Bingham / Boek Gebonden (paperback)
common.buy 13.95 €
Location-Based Services Jochen Schiller / Boek Gebonden (paperback)
common.buy 76.89 €
Programming Home Projects with Microsoft Small Basic Philip Conrod / Boek Gebonden (paperback)
common.buy 73.24 €
Pride and Prejudice Jane Austen / E-book Adobe ePub DRM
common.buy 3.83 €
TERESA ITASCA: AND OTHER STORIES AVERY MACALPINE / Boek Gebonden (harde band)
common.buy 34.49 €
ABOVE & BELOW Edward Gross / Boek Gebonden (harde band)
common.buy 29.13 €
Journeys into the Heart Drunvalo Melchizedek / Boek Gebonden (paperback)
common.buy 15.07 €
Practical Treatise on Boilers and Boiler-Making Nicholas Procter Burgh / Boek Gebonden (paperback)
common.buy 27.71 €
Create An Animation with Scratch Kevin Wood / Boek Gebonden (harde band)
common.buy 14.46 €
Six lectures on the Oxford movement CHARLES T CRUTTWELL / Boek Gebonden (paperback)
common.buy 16.18 €
Grammar Works 2 Teacher's book Michael Gammidge / Boek Gebonden (paperback)
common.buy 20.02 €
Love Satisfies Keepitup Johnson / Boek Gebonden (paperback)
common.buy 23.87 €
Common Come-Froms - Trade Version: Origins of Everyday Objects MR Douglas J Alford / Boek Gebonden (paperback)
common.buy 11.22 €
Mystery over the Mersey - Large Print Edition: A Bernie Fazakerley Mystery Judy Ford / Boek Gebonden (paperback)
common.buy 25.59 €
The Walls: Mia's Story Deirdre L Battle / Boek Gebonden (paperback)
common.buy 9.40 €
American Football Walter Camp / Boek Gebonden (paperback)
common.buy 15.27 €
Helen Keller Hourly History / Boek Gebonden (paperback)
common.buy 13.04 €
Bass Technique Finger Gym Simon Pratt / Boek Gebonden (paperback)
common.buy 15.57 €
Inside Mari, Volume 5 Shuzo Oshimi / Boek Gebonden (paperback)
common.buy 10.61 €

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?