Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures için kapak resmi
Başlık:
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Yazar:
Bernardo, Marco. editor.
ISBN:
9783540343059
Fiziksel Tanımlama:
VII, 243 p. Also available online. online resource.
Seri:
Lecture Notes in Computer Science, 3965
Seri Başlığı:
Lecture Notes in Computer Science, 0302-9743 ; 3965
Yazar Ek Girişi:
Tüzel Kişi Ek Girişi:
Ayırtma:
Kopya:

Rafta:*

Kütüphane
Materyal Türü
Demirbaş Numarası
Yer Numarası
Durumu/İade Tarihi
Materyal Ayırtma
Arıyor...
E-Kitap 184002-2001 ONLINE
Arıyor...

On Order