Computer Aided Verification

Computer Aided Verification

Computer Aided Verification
2015ISBN 9783319216676
Viršelis: MinkštasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisMatematika, statistikaGamtos mokslai
Šią knygą siūlo (0)
Šios knygos nori (0)
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra