Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Practical Theory of Programming

Name: Practical Theory of Programming
Brand: Springer-Verlag New York Inc.
SKU: 02179586
Price: 50.45 EUR
Availability: InStock
Author: Eric C.R. Hehner
ISBN: 9781461264446

Eric C.R. Hehner

Sprache

Englisch

Buch Broschur

Libristo-Code: 02179586

Verlag Springer-Verlag New York Inc., September 2012

Understanding programming and programming languages requires knowledge of the underlying theoretical... Vollständige Beschreibung

Libristo-Code: 02179586

122 b

50.45 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Les débuts de Gossip Girl - Nous étions faits pour nous entendre Cecily Von Ziegesar

Broschur

11.90 €

Comme un mendiant sur les quais de marbre Penblanc

Broschur

25.22 €

LIEBESLIED LUIGI NONO Drucksachen

Noten

17.96 €

Fais ton cinéma avec Mortelle Adèle figurines M. TAN

Spiel

24.52 €

BILINGUE Maths au CE2 Cahier de l'élève (unité) Duprey

Broschur

13.72 €

Liebe geht durch alle Zeiten (1). Rubinrot Kerstin Gier

Hardcover

20.28 €

cerimonie magiche Cornelio Enrico Agrippa

Buch

15.43 €

Rois et reines de France Laureen Bouyssou

Hardcover

12.40 €

CUENTOS COMO NUNCA LOS HEMOS CONTADO MAR BENEGAS

Buch

19.67 €

Stalin eine Biographie - Band 205e in der gelben Buchreihe - bei Jürgen Ruszkowski Leo Trotzki

Broschur

38.95 €

Histoire de la Revolution Francaise, Consulat, Empire, Restauration, Revolution de Juillet. Tome 3 Ferrand-J

Broschur

33.50 €

LE VENTRE DE PARIS Emilie Zola

Broschur

8.97 €

Die pädagogische Bewegung in Deutschland und ihre Theorie Herman Nohl

Broschur

18.26 €

Vergleich von linearer, Tagesgebrauchtwert‐ und RRC‐Abschreibung bei konstanten und veranderlichen Preisen Georg Dyck

Broschur

17.05 €

Das Tierreich geordnet nach seiner Organisation Baron von Cuvier

Broschur

43.49 €

Padagogische Generationsbeziehungen Susann Busse

Broschur

62.46 €

Bibliographie Biographique Universelle.T. II (N-Z) (Ed.1854) Eduard Maria Oettinger

Broschur

32.59 €

Polnische Volkssagen und Marchen K W Woycicki

Hardcover

26.74 €

Do - Der Weg zur inneren MeisterIn Dr Saskia Schottelius

Hardcover

19.67 €

Neuropsychologia współczesne kierunki badań Opracowanie Zbiorowe

Broschur

27.24 €

Berichte an den Gutachter schreiben Gerald Mackenthun

Broschur

16.14 €

La Fortaleza Luis Carlos Molina Acevedo

Broschur

11.19 €

Strawberry - omalovánky

Broschur

3.12 €

Causes Celebres Et Interessantes, Avec Les Jugements Qui Les Ont Decidees. Tome 7 François Gayot de Pitaval

Broschur

37.74 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Practical Theory of Programming

Autor Eric C.R. Hehner

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 247

EAN 9781461264446

ISBN 1461264448

Libristo-Code 02179586

Verlag Springer-Verlag New York Inc.

Gewicht 500

Abmessungen 178 x 254 x 15

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Betriebssysteme

EDV und Informationstechnologie > Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert