Formal methods for eternal networked software systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures / Marco Bernardo, Valérie Issarny (Eds.).

Yazar:

Katkıda bulunan(lar):

Materyal türü: Metin

MetinDil: İngilizce Seri kaydı: Lecture notes in computer science ; 6659Yayın ayrıntıları:London : Springer, 2011.Tanım: viii, 526 pages : illustrations ; 24 cmISBN:

Diğer başlık:

11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures
Eleventh International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures

Konu(lar):

LOC sınıflandırması:

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	Yeniboğaziçi Grand Library General Collection	QA76.758 .F67 2011 (Rafa gözat(Aşağıda açılır))	Kullanılabilir	7212503039

Includes bibliographical references and index.

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

bir yorum göndermek için.