Verification of infinite-state systems with applications to security / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.

Katkıda bulunan(lar):

Materyal türü: Metin

MetinSeri kaydı: NATO security through science series. D : Information and communication security ; ; vol. 1Yayın ayrıntıları:Amsterdam ; Washington, D.C. : IOS Press, c2006.Tanım: vii, 235 p. : ill. ; 25 cmISBN:

1586035703

Konu(lar):

LOC sınıflandırması:

Q 295

Bu kütüphanenin etiketleri: Kütüphanedeki eser adı için etiket yok. Etiket eklemek için oturumu açın.

Mevcut
Materyal türü	Geçerli Kütüphane	Yer numarası	Durum	Barkod
Book	NEU Grand Library General Collection	Q 295 V47 2006 (Rafa gözat(Aşağıda açılır))	Kullanılabilir	3341288021

Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.

Includes bibliographical references and author index.

Bu materyal hakkında henüz bir yorum yapılmamış.

bir yorum göndermek için.