A Calculus of Functions for Program Derivation

A Calculus of Functions for Program Derivation

Bibliographic Details
Main Author:	Bird, R
Other Authors:	Turner, D
Format:	Book
Published:	1990

Similar Items

Calculus for technicians /
by: Bird, J. O. (John Bird) 272932, et al.
Published: (1979)

Calculus and elementary functions /
by: 427184 Montgomery, R. M. N., et al.
Published: (1970)

A programmed course in calculus
by: Mathematical Association of America. Committee on Educational Media
Published: (1968)

Causal functional calculus
by: Henry Chiu, et al.
Published: (2022)

Calculus of elementary functions /
by: 449263 Abelson, Harold, et al.
Published: (1970)

Calculus of vector functions
by: 318016 Williamson, Richard E., et al.

Calculus of the elementary functions /
by: 180514 Shanks, Merrill E., et al.
Published: (1969)

A Calculus for the Derivation of C−MOS Switching Circuits
by: Hoare, C
Published: (2015)

Functional Quantum Programming
by: Mu, S, et al.
Published: (2001)

REGGEON CALCULUS DERIVED FROM EIKONAL MODEL
by: Cardy, J
Published: (1971)

Dynamic programming and the calculus of variations/
by: 196784 Dreyfus, Stuart E.
Published: (1965)

Lectures on Constructive Functional Programming
by: Bird, R
Published: (1988)

An Introduction to Functional Programming
by: Bird, R, et al.
Published: (1988)

Calculus of variations and functional analysis
by: Lim, Wen Jun
Published: (2021)

Elementry functions : backdrop for the calculus /
by: 274474 Fobes, Melcher P.
Published: (1973)

The functional calculus for sectorial operators /
by: Haase, Markus, 1970-
Published: (2006)

The calculus of residues; Analytic functions
by: Open University. Complex Analysis Course Team
Published: (1975)

Operational calculus and generalized functions/
by: 408492 Erdelyi, Arthur
Published: (1962)

Relational Program Derivation and Context−Free Language Recognition
by: Bird, R, et al.
Published: (1994)

Finding Celebrities: A Lesson in Functional Programming
by: Bird, R, et al.
Published: (2006)

Introduction to Functional Programming Using Haskell
by: Bird, R
Published: (1998)

FORTRAN programming : a supplement for calculus course /
by: 197263 Fuller, William Richard
Published: (1977)

Lambda Calculus Models of Programming Languages
by: Morris, James H.
Published: (2023)

Hoare's Formulation of Jones' Calculus for Programming
by: Hoare, C
Published: (2015)

Lambda-calculus models of programming languages.
by: Morris, James Hiram, Jr
Published: (2011)

The calculus of chemistry, with an introduction to computer programming/
by: 209056 Butler, James Newton, et al.
Published: (1965)

Functions of real variables : a course of advanced calculus /
by: Cooper, R. (Ralph)
Published: (1966)

The finite calculus associated with Bessel functions/
by: 331810 Cholewinski, Frank M.
Published: (1988)

Calculus : late transcendental functions with mathzone /
by: Smith, Robert T., author, et al.
Published: (2008)

Functions and graphs : calculus preparatory mathematics/
by: 204865 Pownall, Malcolm W.
Published: (1983)

Stochastic integration by parts and functional itô calculus
by: Bally, V, et al.
Published: (2016)

Lambda calculus models of typed programming languages
by: Mitchell, John Clifford
Published: (2005)

Embedding an object calculus in the unifying theories of programming
by: Smith, M
Published: (2010)

CALCULUS ON SURFACES WITH GENERAL CLOSEST POINT FUNCTIONS
by: Maerz, T, et al.
Published: (2012)

Supermartingales, ranking functions and probabilistic lambda calculus
by: Ong, C-H, et al.
Published: (2021)

Calculus on surfaces with general closest point functions
by: März, T, et al.
Published: (2012)

Besov functional calculus for two commuting operators
by: Kobos, D
Published: (2020)

Before calculus : functions, graphs and analytic geometry /
by: 433370 Leithold, Louis
Published: (1985)

Fractional calculus and integral transforms of generalized functions /
by: 240081 McBride, Adam C.
Published: (1979)

Calculus /
by: 377677 Flanders, Harley, et al.
Published: (1970)