Siirry suoraan sisältöön
Logic of Programming and Calculi of Discrete Design
Tallenna

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.
Alaotsikko
International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
Toimittaja
Manfred Broy
Painos
Softcover reprint of the original 1st ed. 1987
ISBN
9783642873768
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
9.4.2012
Sivumäärä
415