Search results for “[Subject: programming-object-oriented]”

• Author(s): Darrel C. Ince | D. Ince • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • BISAC: Programming - Object OrientedFormal specification is the name given to the use of discrete mathematics in computer science for describing the f...

• Author(s): Zhaohui Luo | Zhaohui Luo • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • BISAC: Logic DesignThis book develops a type theory, studies its properties, and explains its uses in computer science. The book focuses in particula...

• Author(s): Abramsky | Gabbay | Maibaum • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • BISAC: Computer ScienceLogic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every ...

• Author(s): Dov M. Gabbay | J. A. Robinson | Christopher J. Hogger • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • BISAC: Expert SystemsLogic is now widely recognized to be one of the foundational disciplines of computing with applicat...

• Author(s): Christopher John Hogger | D. M. Gabbay | C. Hogger • Publisher: OUP Oxford • Publisher Imprint: OUP Oxford • BISAC: Artificial Intelligence - Expert SystemsLogic is now widely recognized as one of the foundational disciplines of comp...