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

Sökt på: Sökresultat

Filter
Jinyoung kim <2020 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
1028 kr
Automated Technology for Verification and Analysis
häftad
Automated Technology for Verification and Analysis
1028 kr