Siirry suoraan sisältöön
Nondeterminism in Algebraic Specifications and Algebraic Programs
Tallenna

Nondeterminism in Algebraic Specifications and Algebraic Programs

Algebraic specification, nondeterminism and term rewriting are three active research areas aiming at concepts for the abstract description of software systems: Algebraic specifications are well-suited for describing data structures and sequential software systems in an abstract way.
Kirjailija
Hussmann
Painos
Softcover Reprint of the Original 1st 1993 ed.
ISBN
9781468468366
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
22.3.2012
Sivumäärä
254