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
Darmowa dostawa dla zamówień powyżej 299,00 zł.
Computer Aided Verification
Język
Angielski
Angielski
Książka
Miękka
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st...
Cały opis
Kod Libristo: 24027842
?
125 b
125 b
218.69
zł
Dostępna u dostawcy
Wysyłamy za 5-8 dni
30 dni na zwrot towaru
Klienci kupili także
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented togeth
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
Isil Dillig, Serdar Tasiran
Język
Angielski
Angielski
Oprawa
Książka - Miękka
Data wydania
2019
Liczba stron
549
EAN
9783030255428
ISBN
3030255425
Kod Libristo
24027842
Wydawnictwo
Springer Nature Switzerland AG
Waga
866
Wymiary
155 x 235 x 31
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanegoMogłoby Cię także zainteresować
/
Miękka
61.73
zł
