An introduction to programming with specifications a mathematical approach
tarafından
 
Kubiak, Ryszard.

Başlık
: 
An introduction to programming with specifications a mathematical approach

Yazar
: 
Kubiak, Ryszard.

ISBN
: 
9780124276208

Yayın Bilgileri
: 
London ; San Diego : Academic Press, ©1991.

Fiziksel Tanımlama
: 
1 online resource (ix, 267 pages) : illustrations.

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

Seri Başlığı
: 
The A.P.I.C. series ; no. 35

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

Yazar Ek Girişi
: 
Rudziński, Roman.
 
Sokołowski, S. (Stefan)

Elektronik Erişim
: 
ScienceDirect http://www.sciencedirect.com/science/book/9780124276208


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap257756-1001ONLINEElektronik Kütüphane