Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach

Eylem Seç

Başlık:

Yazar:

Montali, Marco. author.

ISBN:

9783642145384

Fiziksel Tanımlama:

XXII, 411p. 97 illus. online resource.

Seri:

Lecture Notes in Business Information Processing, 56

Seri Başlığı:

Lecture Notes in Business Information Processing, 1865-1348 ; 56

Konu Terimleri:

Tüzel Kişi Ek Girişi:

Elektronik Erişim:

Ayırtma:
Kopya:

Kütüphane	Materyal Türü	Demirbaş Numarası	Yer Numarası	Durumu/İade Tarihi	Materyal Ayırtma
Arıyor... Çevrimiçi Kütüphane	E-Kitap	192688-2001	ONLINE	Arıyor... Unknown	Arıyor... Rafta