Ernest. G. Manes – författare
Visar alla böcker från författaren Ernest. G. Manes. Handla med fri frakt och snabb leverans.
3 produkter
Predicate Transformer Semantics
Av Ernest. G. Manes, C. J. van Rijsbergen
Häftad, 2004
951 kr
Lägg i varukorg
A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book presents a rigorous foundation for defining Boolean categories, in which the relationship between specification and behaviour can be explored. Boolean …
Algebraic Approaches to Program Semantics
Av Michael A. Arbib, Ernest G. Manes
E-bok, 2012
1251 kr
Lägg i varukorg
In the 1930s, mathematical logicians studied the notion of "effective comput ability" using such notions as recursive functions, A-calculus, and Turing machines. The 1940s saw the construction of the first electronic computers, and the next 20 years saw the evolution of higher-level programming …
Algebraic Approaches to Program Semantics
Av Ernest G. Manes, Michael A. Arbib
Häftad, 2014
983 kr
Lägg i varukorg
In the 1930s, mathematical logicians studied the notion of "effective comput ability" using such notions as recursive functions, A-calculus, and Turing machines. The 1940s saw the construction of the first electronic computers, and the next 20 years saw the evolution of higher-level programming …
