Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
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
0
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ł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computer Aided Verification

Język AngielskiAngielski
Książka Miękka
Książka Computer Aided Verification Rupak Majumdar
Kod Libristo: 16495654
Wydawnictwo Springer International Publishing AG, lipiec 2017
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th Intern... Cały opis
? points 125 b
218.69 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Pilzen begegnen Hans Manhart / Książka Miękka
common.buy 92.90 zł
SILAS MARNER Eliot / Książka Miękka
common.buy 87.09 zł
Promuovere la parit? di genere nel mercato del lavoro e la crescita economica Riana Navalona Ramonjamanana / Książka Miękka
common.buy 165.97 zł
Sprengstoffgesetz - SprengG 2023 Ronny Studier / Książka Miękka
common.buy 46.70 zł
Conexiones FERNANDEZ FRAGA / Książka Miękka
common.buy 113.05 zł
Uppgiften - erotiska noveller Cupido / Audiobook MP3
common.buy 13.42 zł
TOP
Puzzle Hello Kitty 1000 dílků / Gra/Zabawka Puzzle
common.buy 27.85 zł
Riconoscimento del modello nel processo di apprendimento Sanchez Casanova Ricardo Sanchez Casanova / Książka Miękka
common.buy 150.93 zł
Ur Finlands Konstitutionella Historia, 1809-1863 (1898) Magnus Gottfrid Schybergson / Książka Miękka
common.buy 66.64 zł
Praxisphasen in der Lehrerbildung Axel Knüppel / Książka Miękka
common.buy 133.49 zł
Plays Hits Agogo Lutz Krajenski feat. Alana Alexander / Audio CD Audio
common.buy 79.97 zł
Organisation von Systemen Bernhard Waszkewitz / Książka Miękka
common.buy 189.32 zł
Geschichte der Freundschaft Michael Roes / Książka Twarda
common.buy 100.22 zł
Amanda Und Eduard Sophie Mereau / Książka Miękka
common.buy 49.50 zł
Geschichte eines Vampirs Thomas Neumann / Książka Miękka
common.buy 38.28 zł
Soldaten Sönke Neitzel / Książka Miękka
common.buy 83.58 zł

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
Ewa Kasp
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
Oprawa Książka - Miękka
Data wydania 2017
Liczba stron 623
EAN 9783319633893
ISBN 3319633899
Kod Libristo 16495654
Wydawnictwo Springer International Publishing AG
Waga 9591
Wymiary 155 x 235 x 36

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania
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 obdarowanego

Mogłoby Cię także zainteresować

Development As Freedom Amartya Kumar Sen / Książka Miękka
common.buy 66.84 zł
Fading Humans of Digital World: Balancing crisis of Personal, Corporate and Digital world Girish Joshi / Książka Miękka
common.buy 26.25 zł
How to Make Historic American Costumes Mary Evans / Książka Twarda
common.buy 169.88 zł
TOP
Shikimori's Not Just a Cutie 12 V12 / Książka Miękka
common.buy 45.09 zł
TOP
The Land of Stories Set Chris Colfer / Książka Miękka
common.buy 201.15 zł
Statistics without Tears Derek Rowntree / Książka Miękka
common.buy 50.20 zł
Great Whiskies DK / Książka Twarda
common.buy 67.84 zł
The Era of International Space Station Utilization: Perspectives on Strategy from International Research Leaders National Aeronautics and Administration / Książka Miękka
common.buy 66.64 zł
Word Study in the Inclusive Secondary Classroom Melinda Leko / Książka Twarda
common.buy 325.93 zł
Price of Love Vicki Hopkins / Książka Miękka
common.buy 61.93 zł
Carbon Footprint Analysis Defne Apul / Książka Twarda
common.buy 731.25 zł
Nick's First Holiday Celebration Linda Sicks / Książka Twarda
common.buy 72.76 zł
RNA Biology - An Introduction Gunter Meister / Książka Miękka
common.buy 301.98 zł
Confirmation Wars Benjamin Wittes / Książka Miękka
common.buy 89.69 zł
Nuclear Instrumentation II / Instrumentelle Hilfsmittel der Kernphysik II Edward Creutz / Książka Miękka
common.buy 218.69 zł
Holiday Heaven Cupido / Audiobook MP3
common.buy 16.83 zł
Microstructure Atlas of P22 Steel Rajat K. Roy / Książka Miękka
common.buy 609.87 zł
Dr. Cocktail Alex Ott / Książka Twarda
common.buy 58.92 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo