Related Books

Ordered Structure And Algebra Of Computer Languages - Proceedings Of The Conference
Language: en
Pages: 370

Ordered Structure And Algebra Of Computer Languages - Proceedings Of The Conference

Authors: Kar Ping Shum
Categories:
Type: BOOK - Published: 1993-04-16 - Publisher: World Scientific

DOWNLOAD EBOOK

CRC Concise Encyclopedia of Mathematics
Language: en
Pages: 3253

CRC Concise Encyclopedia of Mathematics

Authors: Eric W. Weisstein
Categories: Mathematics
Type: BOOK - Published: 2002-12-12 - Publisher: CRC Press

DOWNLOAD EBOOK

Upon publication, the first edition of the CRC Concise Encyclopedia of Mathematics received overwhelming accolades for its unparalleled scope, readability, and
Semirings and Affine Equations over Them
Language: en
Pages: 243

Semirings and Affine Equations over Them

Authors: Jonathan S. Golan
Categories: Mathematics
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Semiring theory stands with a foot in each of two mathematical domains. The first being abstract algebra and the other the fields of applied mathematics such as
International Mathematics Conference '94
Language: en
Pages: 254

International Mathematics Conference '94

Authors: Ngai-ching Wong
Categories:
Type: BOOK - Published: 1996-01-15 - Publisher: World Scientific

DOWNLOAD EBOOK

This proceedings volume collects 24 papers out of the 130 presentations at the International Mathematics Conference '94, Kaohsiung. The papers cover a wide rang
Algebraic Semantics of Imperative Programs
Language: en
Pages: 248

Algebraic Semantics of Imperative Programs

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