Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis
2013544 psl.ISBN 9783319024431
Viršelis: MinkštasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisKompiuterija ir informacinės technologijos
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra