Computer Aided Vertification
by Gerhard Goos
- ISBN
- 9783540646082
Computer Aided Vertification, Gerhard Goos tarafından yazılmış bir computer software, verification, computer software book.
Bu kitap hakkında
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.
Yazar Hakkında
Computer Aided Vertification kitabının yazarıdır. Booklogr'da tüm eserlerini keşfedin.
Booklogr'da Gerhard Goos 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
Computer Aided Vertification hangi türde?+
Computer Aided Vertification bir Computer software, verification, Computer software, Verification, Integrated circuits kitabıdır.
Computer Aided Vertification ne hakkında?+
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included ...
Computer Aided Vertification kitabını kim yazdı?+
Computer Aided Vertification, Gerhard Goos tarafından yazılmıştır.