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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

The Design of Well-Structured and Correct Programs

Name: The Design of Well-Structured and Correct Programs
Brand: Springer, Berlin
SKU: 01383516
Price: 76.49 EUR
Availability: InStock
Author: Suad Alagic
ISBN: 9780387902999

Suad Alagic

Michael A. Arbib

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01383516

Verlag Springer, Berlin

This text synthesizes ten years of research in top-down program design and verification of program c... Vollständige Beschreibung

Libristo-Code: 01383516

187 b

76.49 € inkl. MwSt.

50% Chance Wir werden die ganze Welt durchsuchen Wann bekomme ich das Buch?

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Alphonse Allais et Honfleur DELAUNE

Broschur

10.89 €

Matematika pro střední školy 5.díl Zkrácená verze Jiří Ort

Broschur

6.69 €

Pasion Por Las Ventas! Alan L Alford

Broschur

16.39 €

Kind Und Welt: Vatern Muttern Und Kinderfruenden Berthold Sigismund

Broschur

21.99 €

BABADADA black-and-white, Papiamento (Aruba) - Swahili, diccionario visual - kamusi ya michoro Babadada Gmbh

Broschur

7.79 €

Contra los gourmets VAZQUEZ MONTALBAN

Broschur

20.09 €

Elämyksiä ja muistoja Barcelonasta vuonna 2011 Lea Tuulikki Niskala

Hardcover

83.89 €

Bildungsarbeit mit älteren Menschen Julia Steinfort-Diedenhofen

Adobe ePub DRM

19.39 €

Journal de chimie médicale, de pharmacie, et de toxicologie

Broschur

17.99 €

Antoine de Saint-Exupéry Jafflin-Mill

Broschur

11.99 €

Stress lavorativo tra i professionisti indiani del software Sugunambal Venkatachalam

Broschur

82.59 €

Tichomoří Leoš Šimánek

Hardcover

11.19 €

Insan Olmak Zor Rüzgar Erkan

Broschur

15.79 €

Versteigerungen als Regulierungsinstrument. Alexander Leist

Broschur

79.90 €

Valorisation des plantes aromatiques en Afrique Kouassi Roselin Cyrille Goly

Broschur

63.29 €

Bozena Peter Härtling

Broschur

13.00 €

Macbeth, Englisch-Deutsch William Shakespeare

Broschur

14.00 €

Diapason Du Dessin, Ou Le Lecteur Et Le Correcteur de Tous Les Genres de Dessin d'Apres Nature. SANS AUTEUR

Broschur

11.49 €

Zentralismus und Föderalismus im 19. und 20. Jahrhundert. Oliver Janz

Broschur

89.90 €

Nouvelle Methode. Traction Instrumentale Et Manuelle Combinee Dans l'Accouchement ""

Broschur

12.29 €

Qualitatsmanagement im Rettungsdienst und Massnahmen zur Qualitatsverbesserung Klaus Schliz

Broschur

17.95 €

Medienmanagement Otto Altendorfer

Broschur

37.99 €

Die Wirkungen Der Geldpolitik in Deutschland Barbara Jennes

Broschur

64.99 €

Einmal reich und zuruck W. K. Steinkamp

Broschur

16.80 €

This text synthesizes ten years of research in top-down program design and verification of program correctness. It shows how these techniques may be used in day-to-day programming with the PASCAL language. Many examples of programs and proof development, as well as an explanation of control and data structures, are pro- vided. As a PASCAL programming text, it not only provides a self-contained introduction to the language, but also offers algorithms which operate on sophisticated data structures, and provides the full axiomatic definition of PASCAL in terms of proof rules. Although an introductory course in programmming is required, no particular mathematical background is nec- essary beyond the basic idea of a mathematical proof. A carefully chosen sample of algorithms, including some examples from business data processing, is presented. This collection is supplemented by an extensive set of exercises.

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 The Design of Well-Structured and Correct Programs

Autor Suad Alagic, Michael A. Arbib

Sprache

Englisch

Einband Buch - Hardcover

Anzahl der Seiten 292

EAN 9780387902999

Libristo-Code 01383516

Verlag Springer, Berlin

Gewicht 615

Abmessungen 160 x 241 x 20

Kategorie

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

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

Das könnte Sie auch interessieren

Eyewitness Travel Phrase Book Spanish DK

Broschur

4.79 €

Opinions of Eminent Lawyers, on various points of English Jurisprudence, chiefly concerning the Colonies, Fisheries, and Commerce, of Great Britain George Chalmers

Broschur

33.09 €

Interculturalism Gerard Bouchard

Hardcover

68.39 €

The GDR Jens Schöne

Broschur

17.69 €

100 Write-And-Learn Sight Word Practice Pages Scholastic Teaching Resources

Broschur

10.29 €

Jamestown Education: Reading Fluency: Level B Camille L. Z. Blachowicz

Digital

111.19 €

The Ninth Amendment and the Politics of Creative Jurisprudence: Disparaging the Fundamental Right of Popular Control Marshall L. DeRosa

Hardcover

209.49 €

Exit Right: The People Who Left the Left and Reshaped the American Century Daniel Oppenheimer

Broschur

15.59 €

Works; Including All His Contributions to Periodical Literature Volume 15 Thomas de Quincey

Hardcover

29.09 €

CAT NAMED CLYDE Ellen Shelton

Broschur

10.69 €

Anastasia's Book Of Short Stories K P Lee

Broschur

7.19 €

The Reign of Henry VIII James Gairdner

Broschur

31.69 €

Jung's Psychoid Concept Contextualised ADDISON

Hardcover

213.29 €

Biking and Kayaking through Tribal Florida: 2nd Edition Richard Craig Hughes

Broschur

9.79 €

The Alchemy of Happiness Abu Hamid Al-Ghazali

Broschur

6.49 €

Breaking Free of Child Anxiety and OCD Eli R. Lebowitz

Broschur

12.69 €

Developing Critical Literacy for 2nd and 3rd Graders in the EFL Class

Broschur

64.19 €

Eleventh Commandment C. J. Carr

Broschur

15.49 €

Genetics and Genomics for Nursing Carole Kenner

Broschur

99.79 €

Dubliners James Joyce

Broschur

21.89 €

Management Training in High-Tech and R&D C. M. Rob Verkoeyen

Hardcover

101.79 €

Interesting Narrative of the Life of Olaudah Equiano, or Gustavus Vassa, the African. Written by Himself. Second Edition. Volume 1 of 2 Olaudah Equiano

Broschur

23.69 €