Formal Refinement for Operating System Kernels
Prisijungti
Siūlomos
Ieškomos
Įvykę mainai
Pagalba
Formal Refinement for Operating System Kernels
Iain D. Craig
Siūlyti šią knygą
Pridėti į norimas
Leidėjas:
Springer-Verlag GmbH
2007
ISBN 9781846289668
Viršelis: Kietas
Anglų k.
Negrožinė literatūra
Literatūra užsienio kalbomis
Kompiuterija ir informacinės technologijos
Redaguoti informaciją
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra
