Algebraic semantics of imperative programs

Algebraic semantics of imperative programs

Bibliografiset tiedot
Päätekijät: Goguen, Joseph A. (Tekijä), Malcolm, Grant (Tekijä)
Aineistotyyppi: Electronic Resource
Kieli:English
Julkaistu: Cambridge, Massachusetts The MIT Press [1996]
Aiheet:
Electronic books.
Programming languages (Electronic computers) > Semantics.
Algebra.
Linkit:Click here to access thru EZproxy
Click here to access