Algebraic Semantics of Imperative Programs

Algebraic Semantics of Imperative Programs
Author :
Publisher :
Total Pages : 228
Release :
ISBN-10 : 026240365X
ISBN-13 : 9780262403658
Rating : 4/5 (658 Downloads)

Book Synopsis Algebraic Semantics of Imperative Programs by : Joseph Goguen

Download or read book Algebraic Semantics of Imperative Programs written by Joseph Goguen and published by . This book was released on 1996 with total page 228 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Algebraic Semantics of Imperative Programs Related Books

Algebraic Semantics of Imperative Programs
Language: en
Pages: 228
Authors: Joseph Goguen
Categories: Algebra
Type: BOOK - Published: 1996 - Publisher:

DOWNLOAD EBOOK

Algebraic Semantics of Imperative Programs
Language: en
Pages: 248
Authors: Joseph Goguen
Categories: Computers
Type: BOOK - Published: 1996 - Publisher: MIT Press

DOWNLOAD EBOOK

Algebraic Semantics of Imperative Programs presents a self-contained and novel executable introduction to formal reasoning about imperative programs. The author
Algebraic Approaches to Program Semantics
Language: en
Pages: 358
Authors: Ernest G. Manes
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

In the 1930s, mathematical logicians studied the notion of "effective comput ability" using such notions as recursive functions, A-calculus, and Turing machines
Teaching and Learning Formal Methods
Language: en
Pages: 316
Authors: C. Neville Dean
Categories: Computers
Type: BOOK - Published: 1996-09-17 - Publisher: Morgan Kaufmann

DOWNLOAD EBOOK

As computer systems continue to advance, the positions they hold in human society continue to gain power. Computers now control the flight of aircraft, the cool
Algebraic Methodology and Software Technology
Language: en
Pages: 578
Authors: Charles Rattray
Categories: Computers
Type: BOOK - Published: 2004-11-11 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirli