/ Sök
Filter
Kim jinyo Springer-verlag berlin and heidelberg gmbh co. k Rensa alla

Sökt på: Sökresultat

Filter
Kim jinyo Springer-verlag berlin and heidelberg gmbh co. k 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
1016 kr
Automated Technology for Verification and Analysis
häftad
Automated Technology for Verification and Analysis
1016 kr