Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

The Design of Well-Structured and Correct Programs

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

Suad Alagic

Michael A. Arbib

Език

Английски език

Книга С твърди корици

Код Либристо: 01383516

Издателство Springer, Berlin

This text synthesizes ten years of research in top-down program design and verification of program c... Цялото описание

Код Либристо: 01383516

231 b

95.15 €

186.09 лв

50% вероятност Ще претърсим света Кога ще получа книгата?

До 30 дни за връщане на стоки

Клиентите са закупили също

Alphonse Allais et Honfleur DELAUNE

С меки корици

13.92 € 27.22 лв

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

С меки корици

9.28 € 18.15 лв

Pasion Por Las Ventas! Alan L Alford

С меки корици

19.28 € 37.71 лв

Kind Und Welt: Vatern Muttern Und Kinderfruenden Berthold Sigismund

С меки корици

21.19 € 41.45 лв

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

С меки корици

8.19 € 16.03 лв

Contra los gourmets VAZQUEZ MONTALBAN

С меки корици

29.44 € 57.58 лв

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

С твърди корици

84.62 € 165.51 лв

Bildungsarbeit mit älteren Menschen Julia Steinfort-Diedenhofen

Adobe ePub DRM

24.18 € 47.30 лв

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

С меки корици

22.94 € 44.88 лв

Antoine de Saint-Exupéry Jafflin-Mill

С меки корици

15.26 € 29.85 лв

Stress lavorativo tra i professionisti indiani del software Sugunambal Venkatachalam

С меки корици

88.18 € 172.47 лв

Tichomoří Leoš Šimánek

С твърди корици

13.82 € 27.02 лв

Insan Olmak Zor Rüzgar Erkan

С меки корици

15.88 € 31.06 лв

Versteigerungen als Regulierungsinstrument. Alexander Leist

С меки корици

88.91 € 173.88 лв

Valorisation des plantes aromatiques en Afrique Kouassi Roselin Cyrille Goly

С меки корици

67.61 € 132.23 лв

Bozena Peter Härtling

С меки корици

12.48 € 24.40 лв

Macbeth, Englisch-Deutsch William Shakespeare

С меки корици

13.40 € 26.22 лв

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

С меки корици

13.66 € 26.72 лв

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

С меки корици

99.89 € 195.37 лв

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

С меки корици

14.54 € 28.43 лв

Qualitatsmanagement im Rettungsdienst und Massnahmen zur Qualitatsverbesserung Klaus Schliz

С меки корици

17.07 € 33.38 лв

Medienmanagement Otto Altendorfer

С меки корици

37.85 € 74.03 лв

Die Wirkungen Der Geldpolitik in Deutschland Barbara Jennes

С меки корици

65.90 € 128.90 лв

Einmal reich und zuruck W. K. Steinkamp

С меки корици

15.98 € 31.26 лв

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.

Героиня & Полиглот

EWA KASP за

Пусни видеото

В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие The Design of Well-Structured and Correct Programs

Автор Suad Alagic, Michael A. Arbib

Език

Английски език

Корици Книга - С твърди корици

Брой страници 292

Баркод 9780387902999

Код Либристо 01383516

Издателство Springer, Berlin

Тегло 615

Размери 160 x 241 x 20

Може би ще Ви заинтересува

Eyewitness Travel Phrase Book Spanish DK

С меки корици

5.93 € 11.59 лв

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

С меки корици

39.09 € 76.45 лв

Interculturalism Gerard Bouchard

С твърди корици

69.98 € 136.87 лв

The GDR Jens Schöne

С меки корици

17.79 € 34.79 лв

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

С меки корици

12.84 € 25.11 лв

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

Digital

115.10 € 225.12 лв

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

С твърди корици

243.62 € 476.48 лв

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

С меки корици

19.39 € 37.92 лв

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

С твърди корици

34.34 € 67.17 лв

CAT NAMED CLYDE Ellen Shelton

С меки корици

10.26 € 20.06 лв

Anastasia's Book Of Short Stories K P Lee

С меки корици

8.50 € 16.63 лв

The Reign of Henry VIII James Gairdner

С меки корици

33.93 € 66.36 лв

Jung's Psychoid Concept Contextualised ADDISON

С твърди корици

251.00 € 490.91 лв

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

С меки корици

9.33 € 18.25 лв

The Alchemy of Happiness Abu Hamid Al-Ghazali

С меки корици

7.47 € 14.62 лв

Breaking Free of Child Anxiety and OCD Eli R. Lebowitz

С меки корици

15.72 € 30.75 лв

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

С меки корици

64.77 € 126.68 лв

Eleventh Commandment C. J. Carr

С меки корици

18.35 € 35.90 лв

Genetics and Genomics for Nursing Carole Kenner

С меки корици

106.54 € 208.38 лв

Dubliners James Joyce

С меки корици

26.66 € 52.14 лв

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

С твърди корици

108.24 € 211.71 лв

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

С меки корици

28.36 € 55.47 лв