Gå direkte til innholdet
Logic of Programming and Calculi of Discrete Design
Spar

Logic of Programming and Calculi of Discrete Design

Here, notation is not so much used in the sense of "syntactic sugar", but rather in the sense of abstract syntax, in the sense of language constructs. Proper notation can significantly improve our understanding of the nature of the objects that we are dealing with and simplify the formal manipulation of these objects.
Undertittel
International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
Redaktør
Manfred Broy
Opplag
Softcover reprint of the original 1st ed. 1987
ISBN
9783642873768
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
9.4.2012
Antall sider
415