Scalable Techniques for Formal Verification
Prisijungti
Siūlomos
Ieškomos
Įvykę mainai
Pagalba
Scalable Techniques for Formal Verification
Sandip Ray
Siūlyti šią knygą
Pridėti į norimas
Leidėjas:
Springer-Verlag GmbH
2011
ISBN 9781441959973
Viršelis: Kietas
Anglų k.
Negrožinė literatūra
Literatūra užsienio kalbomis
Fiziniai ir technologijos mokslai
Statyba, inžinerija
Šią knygą siūlo
(0)
Šios knygos nori
(0)
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra
