Verification, model checking, and abstract interpretation
by VMCAI 2004 (Conference) (2004 Venice, Italy)
- ISBN
- 3540208038
Verification, model checking, and abstract interpretation, VMCAI 2004 (Conference) (2004 Venice, Italy) tarafından yazılmış bir verification, computer programs book.
VMCAI 2004 (Conference) (2004 Venice, Italy) tarafından yazılan Verification, model checking, and abstract interpretation kitabını keşfedin, verification.
Yazar Hakkında
Verification, model checking, and abstract interpretation kitabının yazarıdır. Booklogr'da tüm eserlerini keşfedin.
Booklogr'da VMCAI 2004 (Conference) (2004 Venice, Italy) adlı yazarın diğer kitaplarını keşfedin. →Baskılar ve Formatlar
Yorumlar
Henüz yorum yok. Bu kitabı okudunuz mu? Düşüncelerinizi Booklogr topluluğuyla paylaşın.
Giriş yap Yorum yazmak için giriş yapın
Sıkça Sorulan Sorular
Verification, model checking, and abstract interpretation hangi türde?+
Verification, model checking, and abstract interpretation bir Verification, Computer programs kitabıdır.
Verification, model checking, and abstract interpretation kitabını kim yazdı?+
Verification, model checking, and abstract interpretation, VMCAI 2004 (Conference) (2004 Venice, Italy) tarafından yazılmıştır.