Automated Technology for Verification and Analysis
Prisijungti
Siūlomos
Ieškomos
Įvykę mainai
Pagalba
Automated Technology for Verification and Analysis
Leidėjas:
Springer International Publishing
2013
544 psl.
ISBN 9783319024431
Viršelis: Minkštas
Anglų k.
Negrožinė literatūra
Literatūra užsienio kalbomis
Kompiuterija ir informacinės technologijos
Redaguoti informaciją
Šią knygą siūlo
(0)
Šios knygos nori
(0)
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra
