Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship /

Kaydedildi:
Detaylı Bibliyografya
Yazar: Zwiers, J. (Job), 1956-
Materyal Türü: Kitap
Dil:English
Baskı/Yayın Bilgisi: Berlin ; New York : Springer-Verlag, c1989.
Seri Bilgileri:Lecture notes in computer science ; 321.
Konular:

CARM 1 Store

Detaylı Erişim Bilgileri CARM 1 Store
Yer Numarası: A2:AL22D0 C05342
Kopya Bilgisi 1 Kütüphanede  Rezerve