/ Sök
Filter
Jinyoung kim <2023 Lecture notes in computer science Rensa alla

Sökt på: Sökresultat

Filter
Välj visningsvy
Jinyoung kim <2023 Lecture notes in computer science Rensa alla

1 träff

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

häftad, 2008, Engelska, ISBN 9783540883869

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October …

häftad
662 kr
Automated Technology for Verification and Analysis
häftad
Automated Technology for Verification and Analysis
662 kr