Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.
Darmowa dostawa dla zamówień powyżej 299,00 zł.
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści.
Załóż konto bezpłatnie
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł
Poczta Polska 18.99 zł
Paczkomat 13.99 zł
InPost 12.99 zł
Punkt DPD 13.99 zł
Kontakt
Jak kupować
Pomoc
Dostawa
DPD Kurier 12.99 zł
Poczta Polska 18.99 zł
Paczkomat 13.99 zł
InPost 12.99 zł
Punkt DPD 13.99 zł
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Doradca ds. zakupów
Jesteśmy tu dla Ciebie!
(32) 444 93 66
Moje konto
▸
Pusty :-(
0
Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.
Darmowa dostawa dla zamówień powyżej 299,00 zł.
Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Język
Angielski
Angielski
E-book
Adobe ePub DRM
?
146 b
146 b
254.97
zł
Dostępna
Produkt cyfrowy - wysyłamy od razu
Mogłoby Cię także zainteresować
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.
Aktorka
&
Poliglotka
EWA KASP
dla
Odtworzyć wideo
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.
Informacje o książce
Pełna nazwa
Computer Aided Verification
Autor
Rupak Majumdar, Viktor Kuncak
Język
Angielski
Angielski
Oprawa
E-book - Adobe ePub DRM
Data wydania
2017
EAN
9783319633909
Kod Libristo
41041880
Wydawnictwo
Springer
