The Correctness-by-Construction Approach to Programming
tarafından
 
Kourie, Derrick G. author.

Başlık
: 
The Correctness-by-Construction Approach to Programming

Yazar
: 
Kourie, Derrick G. author.

ISBN
: 
9783642279195

Fiziksel Tanımlama
: 
XIII, 264p. 37 illus. online resource.

Konu Terimleri
: 
Computer science.
 
Software engineering.
 
Logic design.

Yazar Ek Girişi
: 
Watson, Bruce W.

Tüzel Kişi Ek Girişi
: 
SpringerLink (Online service)

Elektronik Erişim
: 
http://dx.doi.org/10.1007/978-3-642-27919-5


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