Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

The Design of Well-Structured and Correct Programs

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga The Design of Well-Structured and Correct Programs Suad Alagic
Libristo kod: 01383516
Nakladnici Springer, Berlin
This text synthesizes ten years of research in top-down program design and verification of program c... Cijeli opis
? points 209 b
86.25 €
50 % šanse Pretražit ćemo cijeli svijet Kada ću dobiti knjigu?

Do 30 dana za povrat

Kupci su kupili i

Alphonse Allais et Honfleur DELAUNE / Knjiga Meki uvez
common.buy 12.72 €
Matematika pro střední školy 5.díl Zkrácená verze Jiří Ort / Knjiga Meki uvez
common.buy 8.48 €
Pasion Por Las Ventas! Alan L Alford / Knjiga Meki uvez
common.buy 18.37 €
Kind Und Welt: Vatern Muttern Und Kinderfruenden Berthold Sigismund / Knjiga Meki uvez
common.buy 21.20 €
BABADADA black-and-white, Papiamento (Aruba) - Swahili, diccionario visual - kamusi ya michoro Babadada Gmbh / Knjiga Meki uvez
common.buy 7.87 €
Contra los gourmets VAZQUEZ MONTALBAN / Knjiga Meki uvez
common.buy 27.97 €
Elämyksiä ja muistoja Barcelonasta vuonna 2011 Lea Tuulikki Niskala / Knjiga Tvrdi uvez
common.buy 80.09 €
Bildungsarbeit mit älteren Menschen Julia Steinfort-Diedenhofen / E-knjiga Adobe ePub DRM
common.buy 21.91 €
Journal de chimie médicale, de pharmacie, et de toxicologie / Knjiga Meki uvez
common.buy 21.00 €
Antoine de Saint-Exupéry Jafflin-Mill / Knjiga Meki uvez
common.buy 14.03 €
Stress lavorativo tra i professionisti indiani del software Sugunambal Venkatachalam / Knjiga Meki uvez
common.buy 83.43 €
Tichomoří Leoš Šimánek / Knjiga Tvrdi uvez
common.buy 13.02 €
Insan Olmak Zor Rüzgar Erkan / Knjiga Meki uvez
common.buy 15.14 €
Versteigerungen als Regulierungsinstrument. Alexander Leist / Knjiga Meki uvez
common.buy 80.60 €
Valorisation des plantes aromatiques en Afrique Kouassi Roselin Cyrille Goly / Knjiga Meki uvez
common.buy 63.93 €
Bozena Peter Härtling / Knjiga Meki uvez
common.buy 11.81 €
Macbeth, Englisch-Deutsch William Shakespeare / Knjiga Meki uvez
common.buy 12.62 €
Diapason Du Dessin, Ou Le Lecteur Et Le Correcteur de Tous Les Genres de Dessin d'Apres Nature. SANS AUTEUR / Knjiga Meki uvez
common.buy 13.63 €
Zentralismus und Föderalismus im 19. und 20. Jahrhundert. Oliver Janz / Knjiga Meki uvez
common.buy 90.60 €
Nouvelle Methode. Traction Instrumentale Et Manuelle Combinee Dans l'Accouchement "" / Knjiga Meki uvez
common.buy 14.54 €
Qualitatsmanagement im Rettungsdienst und Massnahmen zur Qualitatsverbesserung Klaus Schliz / Knjiga Meki uvez
common.buy 16.15 €
Medienmanagement Otto Altendorfer / Knjiga Meki uvez
common.buy 35.85 €
Die Wirkungen Der Geldpolitik in Deutschland Barbara Jennes / Knjiga Meki uvez
common.buy 62.52 €
Einmal reich und zuruck W. K. Steinkamp / Knjiga Meki uvez
common.buy 15.14 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv The Design of Well-Structured and Correct Programs
Autor Suad Alagic, Michael A. Arbib
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Broj stranica 292
EAN 9780387902999
Libristo kod 01383516
Nakladnici Springer, Berlin
Težina 615
Dimenzije 160 x 241 x 20

Kategorija

Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Eyewitness Travel Phrase Book Spanish DK / Knjiga Meki uvez
common.buy 5.55 €
Opinions of Eminent Lawyers, on various points of English Jurisprudence, chiefly concerning the Colonies, Fisheries, and Commerce, of Great Britain George Chalmers / Knjiga Meki uvez
common.buy 39.18 €
Interculturalism Gerard Bouchard / Knjiga Tvrdi uvez
common.buy 66.35 €
The GDR Jens Schöne / Knjiga Meki uvez
common.buy 16.76 €
100 Write-And-Learn Sight Word Practice Pages Scholastic Teaching Resources / Knjiga Meki uvez
common.buy 12.82 €
Jamestown Education: Reading Fluency: Level B Camille L. Z. Blachowicz / Digital Digital
common.buy 110.19 €
The Ninth Amendment and the Politics of Creative Jurisprudence: Disparaging the Fundamental Right of Popular Control Marshall L. DeRosa / Knjiga Tvrdi uvez
common.buy 244.03 €
Exit Right: The People Who Left the Left and Reshaped the American Century Daniel Oppenheimer / Knjiga Meki uvez
common.buy 19.38 €
Works; Including All His Contributions to Periodical Literature Volume 15 Thomas de Quincey / Knjiga Tvrdi uvez
common.buy 34.43 €
CAT NAMED CLYDE Ellen Shelton / Knjiga Meki uvez
common.buy 10.29 €
Anastasia's Book Of Short Stories K P Lee / Knjiga Meki uvez
common.buy 8.58 €
The Reign of Henry VIII James Gairdner / Knjiga Meki uvez
common.buy 32.01 €
Jung's Psychoid Concept Contextualised ADDISON / Knjiga Tvrdi uvez
common.buy 239.39 €
Biking and Kayaking through Tribal Florida: 2nd Edition Richard Craig Hughes / Knjiga Meki uvez
common.buy 9.38 €
The Alchemy of Happiness Abu Hamid Al-Ghazali / Knjiga Meki uvez
common.buy 7.46 €
Top
Breaking Free of Child Anxiety and OCD Eli R. Lebowitz / Knjiga Meki uvez
common.buy 15.75 €
Developing Critical Literacy for 2nd and 3rd Graders in the EFL Class / Knjiga Meki uvez
common.buy 61.30 €
Eleventh Commandment C. J. Carr / Knjiga Meki uvez
common.buy 18.37 €
Genetics and Genomics for Nursing Carole Kenner / Knjiga Meki uvez
common.buy 100.80 €
Dubliners James Joyce / Knjiga Meki uvez
common.buy 26.66 €
Management Training in High-Tech and R&D C. M. Rob Verkoeyen / Knjiga Tvrdi uvez
common.buy 102.82 €
Interesting Narrative of the Life of Olaudah Equiano, or Gustavus Vassa, the African. Written by Himself. Second Edition. Volume 1 of 2 Olaudah Equiano / Knjiga Meki uvez
common.buy 26.86 €
Non-Linear Dynamics and Fundamental Interactions Faqir Khanna / Knjiga Tvrdi uvez
common.buy 109.18 €
Psychology, Religion, and Spirituality James M. Nelson / Knjiga Meki uvez
common.buy 63.32 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?