Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

M. Broy · Günther Schmidt

dets 2012 · Nato Science Series C 91. raamat · Springer Science & Business Media

E-raamat

672

lehekülge

Hinnangud ja arvustused pole kinnitatud. Lisateave

Teave selle e-raamatu kohta

Papers presented at the Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology, organized under the auspices of the Technical University Münich and sponsored by the NATO Scientific Affairs Division, Germany, 1981

Hinnake seda e-raamatut

Andke meile teada, mida te arvate.

Lugemisteave

Nutitelefonid ja tahvelarvutid

Installige rakendus Google Play raamatud Androidile ja iPadile/iPhone'ile. See sünkroonitakse automaatselt teie kontoga ja see võimaldab teil asukohast olenemata lugeda nii võrgus kui ka võrguühenduseta.

Sülearvutid ja arvutid

Google Playst ostetud audioraamatuid saab kuulata arvuti veebibrauseris.

E-lugerid ja muud seadmed

E-tindi seadmetes (nt Kobo e-lugerid) lugemiseks peate faili alla laadima ja selle oma seadmesse üle kandma. Failide toetatud e-lugeritesse teisaldamiseks järgige üksikasjalikke abikeskuse juhiseid.

Ebaseaduslikust sisust teatamine

Veel samast sarjast

Numerical Methods in Geomechanics: Proceedings of the NATO Advanced Study Institute, University of Minho, Braga, Portugal, held at Vimeiro, August 24 – September 4, 1981

~~217,99 €~~152,59 €

Non-Linear Raman Spectroscopy and Its Chemical Aplications: Proceedings of the NATO Advanced Study Institute held at Bad Windsheim, Germany, August 23 – September 3, 1982

~~217,99 €~~152,59 €

Static and Dynamic Properties of the Polymeric Solid State: Proceedings of the NATO Advanced Study Institute, held at Glasgow, U.K., September 6–18,1981

~~54,49 €~~38,14 €

Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981

~~217,99 €~~152,59 €

Rohkem autorilt M. Broy

Relational Methods in Computer Science

Arvutid ja tehnoloogia

~~54,49 €~~38,14 €

System Fault Diagnostics, Reliability and Related Knowledge-Based Approaches: Volume 1 Fault Diagnostics and Reliability Proceedings of the First European Workshop on Fault Diagnostics, Reliability and Related Knowledge-Based Approaches, Island of Rhodes, Greece, August 31–September 3, 1986

Arvutid ja tehnoloogia

~~152,59 €~~106,81 €

Sarnased e-raamatud

Relational Methods in Computer Science

Arvutid ja tehnoloogia

~~54,49 €~~38,14 €

Humble Pi: A Comedy of Maths Errors

Kunst ja meelelahutus

Premium Calculation in Insurance

F. Etienne De Vylder

~~217,99 €~~152,59 €

Methods in Ring Theory

Freddy Van Oystaeyen

~~315,01 €~~220,51 €