Using Event-B for Critical Device Software Systems
Prisijungti
Siūlomos
Ieškomos
Įvykę mainai
Pagalba
Using Event-B for Critical Device Software Systems
Neeraj Kumar Singh
Leidėjas:
Springer-Verlag GmbH
2013
ISBN 9781447152590
Viršelis: Kietas
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
