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

·
· Nato Science Series C Bók 91 · Springer Science & Business Media
Rafbók
672
Síður
Einkunnir og umsagnir eru ekki staðfestar  Nánar

Um þessa rafbók

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

Gefa þessari rafbók einkunn.

Segðu okkur hvað þér finnst.

Upplýsingar um lestur

Snjallsímar og spjaldtölvur
Settu upp forritið Google Play Books fyrir Android og iPad/iPhone. Það samstillist sjálfkrafa við reikninginn þinn og gerir þér kleift að lesa með eða án nettengingar hvar sem þú ert.
Fartölvur og tölvur
Hægt er að hlusta á hljóðbækur sem keyptar eru í Google Play í vafranum í tölvunni.
Lesbretti og önnur tæki
Til að lesa af lesbrettum eins og Kobo-lesbrettum þarftu að hlaða niður skrá og flytja hana yfir í tækið þitt. Fylgdu nákvæmum leiðbeiningum hjálparmiðstöðvar til að flytja skrár yfir í studd lesbretti.
Tilkynna ólöglegt efni

Halda áfram með flokkinn

Numerical Methods in Geomechanics: Proceedings of the NATO Advanced Study Institute, University of Minho, Braga, Portugal, held at Vimeiro, August 24 – September 4, 1981
J.B. Martins
Bók 92
217,99 EUR152,59 EUR
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
W. Kiefer
Bók 93
217,99 EUR152,59 EUR
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
R.A. Pethrick
Bók 94
54,49 EUR38,14 EUR
Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981
A.W. Biermann
Bók 95
217,99 EUR152,59 EUR

Meira eftir M. Broy

Relational Methods in Computer Science
Chris Brink
Computers en technologie
54,49 EUR38,14 EUR
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
S.G. Tzafestas
Computers en technologie
152,59 EUR106,81 EUR

Svipaðar rafbækur

Relational Methods in Computer Science
Chris Brink
Computers en technologie
54,49 EUR38,14 EUR
Humble Pi: A Comedy of Maths Errors
Matt Parker
Kunst en entertainment
9,49 EUR
Premium Calculation in Insurance
F. Etienne De Vylder
Bók 121
217,99 EUR152,59 EUR
Methods in Ring Theory
Freddy Van Oystaeyen
Bók 129
315,01 EUR220,51 EUR