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 Книга 91 · Springer Science & Business Media
Электронная книга
672
Количество страниц
Оценки и отзывы не проверены. Подробнее…

Об электронной книге

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

Оцените электронную книгу

Поделитесь с нами своим мнением.

Где читать книги

Смартфоны и планшеты
Установите приложение Google Play Книги для Android или iPad/iPhone. Оно синхронизируется с вашим аккаунтом автоматически, и вы сможете читать любимые книги онлайн и офлайн где угодно.
Ноутбуки и настольные компьютеры
Слушайте аудиокниги из Google Play в веб-браузере на компьютере.
Устройства для чтения книг
Чтобы открыть книгу на таком устройстве для чтения, как Kobo, скачайте файл и добавьте его на устройство. Подробные инструкции можно найти в Справочном центре.
Сообщить о незаконном контенте

Продолжение серии

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
Книга 92
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
W. Kiefer
Книга 93
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
R.A. Pethrick
Книга 94
54,49 €38,14 €
Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981
A.W. Biermann
Книга 95
217,99 €152,59 €

Другие книги автора M. Broy

Relational Methods in Computer Science
Chris Brink
Компьютеры и технологии
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
S.G. Tzafestas
Компьютеры и технологии
152,59 €106,81 €

Похожие электронные книги

Relational Methods in Computer Science
Chris Brink
Компьютеры и технологии
54,49 €38,14 €
Humble Pi: A Comedy of Maths Errors
Matt Parker
Культура и искусство
9,49 €
Premium Calculation in Insurance
F. Etienne De Vylder
Книга 121
217,99 €152,59 €
Methods in Ring Theory
Freddy Van Oystaeyen
Книга 129
315,01 €220,51 €