Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Wersja papierowa
Redakcja:
Kroening Daniel
Wydawnictwo:
Springer Nature B.V.ISBN: 978-33-19-21689-8
Format: 15.6x23.4cm
Liczba stron: 704
Oprawa: Miękka
Wydanie: 2015 r.
Język: angielski
Dostępność: dostępny
214,20 zł