An introduction to programming with specifications a mathematical approach
by
 
Kubiak, Ryszard.

Title
: 
An introduction to programming with specifications a mathematical approach

Author
: 
Kubiak, Ryszard.

ISBN
: 
9780124276208

Publication Information
: 
London ; San Diego : Academic Press, ©1991.

Physical Description
: 
1 online resource (ix, 267 pages) : illustrations.

Series
: 
The A.P.I.C. series ; no. 35

Series Title
: 
The A.P.I.C. series ; no. 35

Subject Term
: 
Computer programming.
 
Programming (Mathematics)
 
induction.
 
spécification.
 
itération.
 
récursion.
 
spécification formelle.
 
programmation.
 
Softwarespezifikation.

Added Author
: 
Rudziński, Roman.
 
Sokołowski, S. (Stefan)

Electronic Access
: 
ScienceDirect http://www.sciencedirect.com/science/book/9780124276208


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book257756-1001ONLINEElektronik Kütüphane