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
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
M. Broy
Themen in »Theoretical Foundations of Programming Methodology«
Derivation Finite algebra calculus proof
Stimmen zu »Theoretical Foundations of Programming Methodology«
Details
ISBN: 9789400978935
Verlag: Springer Netherland
Erscheinung: 06.12.2012