Nondeterminism in algebraic specification and algebraic programs

Nondeterminism in algebraic specification and algebraic programs

Saved in:

Bibliographic Details
Main Author:	Hussmann, Heinrich 1959-
Format:	Unknown
Published:	Boston Birkhauser 1993
Series:	Progress in theoretical computer science
Subjects:	Computer science > Mathematics
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Logic and algebra of specification
Published: (1993)

Fork algebras in algebra, logic and computer science
by: Frias, Marcelo Fabian
Published: (2002)

Information algebras generic structures for inference
by: Kohlas, J?urg 1939-
Published: (2003)

Process algebra with timing
by: Baeten, J. C. M
Published: (2002)

Algebraic theory of processes
by: Hennessy, Matthew
Published: (1988)

An Introduction to discrete mathematics and formal system specification
by: Ince, D
Published: (1988)

Mathematics for programming computers
by: Clark, Frank James 1922-
Published: (1988)

Geometric algebra for computer science an object-oriented approach to geometry
by: Dorst, Leo 1958-
Published: (2007)

The journal of logic and algebraic programming
Published: (2001)

Algebraic semantics of imperative programs
by: Goguen, Joseph
Published: (1996)

Earth algebra college algebra with applications to environmental issues
by: Schaufele, Christopher
Published: (1995)

ALGEBRA
by: Muhammad Musa Al-Khawarizmi

Equations, models, and programs a mathematical introduction to computer science
by: Myers, Thomas J. 1952-
Published: (1988)

Handbook of logic in computer science logic and algebraic methods
Published: (2000)

Universal algebra and applications in theoretical computer science
by: Denecke, Klaus
Published: (2002)

Applied algebra codes, ciphers, and discrete algorithms
by: Hardy, Darel W.
Published: (2009)

The specification of computer programs
by: Turski, Wadysaw
Published: (1987)

Z formal specification of functional requirement
by: Nursyahidah Alias
Published: (2013)

Applied algebra codes, ciphers, and discrete algorithms
by: Hardy, Darel W.
Published: (2003)

Software specification method
Published: (2006)

Logic and specification extending VDM-SL for advanced formal specification
by: Middeiburg, Cornelis A
Published: (1993)

Process algebra for parallel and distributed processing
Published: (2009)

Algebraic geodesy and geoinformatics
Published: (2010)

Arithmetic and beginning algebra
by: Washington, Allyn J
Published: (1984)

Arithmetic and algebra-- again
by: Immergut, Brita
Published: (1994)

Algebraic methodology and software technology proceedings of the ...held May 20 - 27, 2000
Published: (2000)

Specification of abstract data types
by: Loeckx, Jacques 1931-
Published: (1996)

Mathematics of program construction proceedings of the ...held July 3 - 5, 2000
Published: (2000)

The OPEN process specification
by: Graham, Ian
Published: (1997)

An Algebraic approach to compiler design
by: Sampaio, Augusto
Published: (1997)

BASIC MATHEMATICS AND ALGEBRA with Applications
by: Keller, M. Wiles, et al.
Published: (1984)

Algebra of proofs
by: Szabo, M. E
Published: (1978)

Handbook of computer vision algorithms in image algebra
by: Ritter, Gerhard X
Published: (2001)

Handbook of computer vision algorithms in image algebra
by: Ritter, Gerhard X.
Published: (1996)

Algebra and analysis problems and solutions
by: Lefort, G. Guyd1921-
Published: (1966)

Lectures on algebraic statistics
by: Drton, Mathias
Published: (2009)

Matrix algebra for engineers
by: Gere, James M
Published: (1983)

The computational complexity of algebraic and numeric problems
by: Borodin, Allan
Published: (1975)

Algebraic methodology and software technology (AMAST '91) proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991
Published: (1992)

Algebra, trigonometry, and analytic geometry
by: Rees, Paul Klein 1902-
Published: (1975)