Refinement in Z and Object-Z Foundations and Advanced Applications
tarafından
 
Derrick, John. author.

Başlık
Refinement in Z and Object-Z Foundations and Advanced Applications

Yazar
Derrick, John. author.

ISBN
9781447153559

Basım Bilgisi
2nd ed. 2014.

Fiziksel Tanımlama
XVIII, 492 p. online resource.

Konu Terimleri
Mathematical logic.
 
Software engineering.

Yazar Ek Girişi
Boiten, Eerke A.

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

Elektronik Erişim
https://doi.org/10.1007/978-1-4471-5355-9


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