Fork Algebras in Algebra, Logic and Computer Science
Edition: 1st edition
Publisher: World Scientific Publishing Company
Published: June 15, 2002
Language: eng
Format: Hardcover
Number of pages: 232
ISBN-13: 9789810248765
Subjects: Algebra; Mathematical theory of computation; Mathematics for scientists & engineers; Logic; Mathematics; Science/Mathematics; Applied; Computer Science; Algebra - General
First sentence: Fork algebras -the subject of this book- have their origin as the foundation of a framework for software specification, verification and derivation.