Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Netty van Gasteren"'
Publikováno v:
Relational Methods in Computer Science ISBN: 9783211829714
Relational Methods in Computer Science
Relational Methods in Computer Science
We are programmers, in the sense that it is our concern to improve the process of program construction. Therefore we want to answer questions like: What is programming, why is it so difficult and error-prone, and how can we learn what is needed to ma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::acbe24cf98f0454d3e8414a6222b5a2e
https://doi.org/10.1007/978-3-7091-6510-2_10
https://doi.org/10.1007/978-3-7091-6510-2_10
Autor:
SEIDL, HELMUT1 seidl@in.tum.de, MANETH, SEBASTIAN2 maneth@uni-bremen.de, KEMPER, GREGOR1 kemper@ma.tum.de
Publikováno v:
Journal of the ACM. Apr2018, Vol. 65 Issue 4, p1-30. 30p.
Autor:
Krzysztof R. Apt, Tony Hoare
Edsger Wybe Dijkstra (1930–2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing. Early in his career, he proposed the single-source short
This Festschrift volume is published in honor of Juraj Hromkovič on the occasion of his 60th birthday. Juraj Hromkovič is a leading expert in the areas of automata and complexity theory, algorithms for hard problems, and computer science education.
Autor:
John E. Nicholls
The mathematical concepts and notational conventions we know of as Z were first proposed around 1981. Its origins were in line with the objectives of the PRG - to establish a mathematical basis for program ming concepts and to verify the work by ca
Autor:
W.H.J. Feijen, A.J.M. van Gasteren
Among all the interests in parallelism, there is an essential and fundamental one that has remained largely unexplored, namely the question of how to design parallel programs from their specification. And that is what this book is about. It proposes
Autor:
Manfred Broy
The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method. In particular mathematical methods for the development of programs as