An introduction to programming with specifications : a mathematical approach /

A feature of modern advanced computing is the functional approach to programming. In this book, the authors present an introduction to the mathematics which underline functional programming, emphasizing the understanding of definition and specification--a prerequisite of good programming and problem...

Full description

Bibliographic Details

Main Author:	Kubiak, Ryszard
Corporate Author:	ScienceDirect (Online service)
Other Authors:	Rudziński, Roman, Sokołowski, S. (Stefan)
Format:	eBook
Language:	English
Published:	London ; San Diego : Academic Press, ©1991.
Series:	A.P.I.C. studies in data processing ; no. 35.
Subjects:	Computer programming. Programming (Mathematics) Programmation (Informatique) Programmation (Mathématiques) computer programming. Computer programming Softwarespezifikation Programmation (mathématiques) Ordinateurs > Programmation. Logique symbolique et mathématique. Programming Electronic books.
Online Access:	Connect to the full text of this electronic book