Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems
tarafından
 
Bowman, Howard. author.

Başlık
Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

Yazar
Bowman, Howard. author.

ISBN
9781846283369

Fiziksel Tanımlama
XX, 422 p. 126 illus. online resource.

Konu Terimleri
Computer science.
 
Software engineering.
 
Logic design.

Yazar Ek Girişi
Gomez, Rodolfo.

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

Elektronik Erişim
http://dx.doi.org/10.1007/1-84628-336-1


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