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

pro 2012. · Nato Science Series C Knjiga 91 · Springer Science & Business Media

E-knjiga

672

str.

Ocjene i recenzije nisu potvrđene Saznajte više

O ovoj e-knjizi

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

Ocijenite ovu e-knjigu

Recite nam što mislite.

Informacije o čitanju

Pametni telefoni i tableti

Instalirajte aplikaciju Google Play knjige za Android i iPad/iPhone. Automatski se sinkronizira s vašim računom i omogućuje vam da čitate online ili offline gdje god bili.

Prijenosna i stolna računala

Audioknjige kupljene na Google Playu možete slušati pomoću web-preglednika na računalu.

Elektronički čitači i ostali uređaji

Za čitanje na uređajima s elektroničkom tintom, kao što su Kobo e-čitači, trebate preuzeti datoteku i prenijeti je na svoj uređaj. Slijedite detaljne upute u centru za pomoć za prijenos datoteka na podržane e-čitače.

Prijavljivanje nezakonitog sadržaja

Nastavite seriju

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 €

M. Broy, još djela

Relational Methods in Computer Science

Računalstvo i tehnologija

~~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

Računalstvo i tehnologija

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

Slične e-knjige

Relational Methods in Computer Science

Računalstvo i tehnologija

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

Humble Pi: A Comedy of Maths Errors

Umjetnost i zabava

Premium Calculation in Insurance

F. Etienne De Vylder

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

Methods in Ring Theory

Freddy Van Oystaeyen

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