Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

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

Lingua

Inglese

Libro Rigido

Codice Libristo: 01383516

Casa editrice Springer, Berlin

This text synthesizes ten years of research in top-down program design and verification of program c... Descrizione completa

Codice Libristo: 01383516

187 b

76.49 €

50% di possibilità Cercheremo nel mondo Quando riceverò il libro?

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Alphonse Allais et Honfleur DELAUNE

In brossura

10.89 €

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

In brossura

7.29 €

Pasion Por Las Ventas! Alan L Alford

In brossura

16.39 €

Kind Und Welt: Vatern Muttern Und Kinderfruenden Berthold Sigismund

In brossura

21.99 €

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

In brossura

6.99 €

Contra los gourmets VAZQUEZ MONTALBAN

In brossura

24.59 €

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

Rigido

69.99 €

Bildungsarbeit mit älteren Menschen Julia Steinfort-Diedenhofen

Adobe ePub DRM

19.39 €

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

In brossura

17.99 €

Antoine de Saint-Exupéry Jafflin-Mill

In brossura

11.89 €

Stress lavorativo tra i professionisti indiani del software Sugunambal Venkatachalam

In brossura

72.89 €

Tichomoří Leoš Šimánek

Rigido

11.19 €

Insan Olmak Zor Rüzgar Erkan

In brossura

13.39 €

Versteigerungen als Regulierungsinstrument. Alexander Leist

In brossura

71.49 €

Valorisation des plantes aromatiques en Afrique Kouassi Roselin Cyrille Goly

In brossura

55.89 €

Bozena Peter Härtling

In brossura

10.29 €

Macbeth, Englisch-Deutsch William Shakespeare

In brossura

11.09 €

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

In brossura

11.49 €

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

In brossura

80.39 €

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

In brossura

12.29 €

Qualitatsmanagement im Rettungsdienst und Massnahmen zur Qualitatsverbesserung Klaus Schliz

In brossura

14.09 €

Medienmanagement Otto Altendorfer

In brossura

31.59 €

Die Wirkungen Der Geldpolitik in Deutschland Barbara Jennes

In brossura

55.19 €

Einmal reich und zuruck W. K. Steinkamp

In brossura

13.19 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo The Design of Well-Structured and Correct Programs

Autore Suad Alagic, Michael A. Arbib

Lingua

Inglese

Rilegatura Libro - Rigido

Numero di pagine 292

EAN 9780387902999

Codice Libristo 01383516

Casa editrice Springer, Berlin

Peso 615

Dimensioni 160 x 241 x 20

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Eyewitness Travel Phrase Book Spanish DK

In brossura

4.69 €

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

In brossura

33.09 €

Interculturalism Gerard Bouchard

Rigido

58.49 €

The GDR Jens Schöne

In brossura

14.49 €

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

In brossura

10.29 €

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

Digitale

99.19 €

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

Rigido

209.49 €

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

In brossura

15.59 €

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

Rigido

29.09 €

CAT NAMED CLYDE Ellen Shelton

In brossura

10.69 €

Anastasia's Book Of Short Stories K P Lee

In brossura

7.19 €

The Reign of Henry VIII James Gairdner

In brossura

27.99 €

Jung's Psychoid Concept Contextualised ADDISON

Rigido

213.29 €

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

In brossura

9.79 €

The Alchemy of Happiness Abu Hamid Al-Ghazali

In brossura

6.49 €

Breaking Free of Child Anxiety and OCD Eli R. Lebowitz

In brossura

12.69 €

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

In brossura

53.59 €

Eleventh Commandment C. J. Carr

In brossura

15.49 €

Genetics and Genomics for Nursing Carole Kenner

In brossura

88.09 €

Dubliners James Joyce

In brossura

21.89 €

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

Rigido

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

In brossura

23.69 €