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 Isil Dillig
Kod Libristo: 24027841
Wydawnictwo Springer Nature Switzerland AG, lipiec 2019
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31s... 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

Plaster Czarownicy i inne baśnie Małgorzata Strzałkowska / Książka Twarda
common.buy 35.37 zł
LP! JPEGMAFIA Audio Winyl Audio
common.buy 211.37 zł
Bleigewitter über Cinecitt? Christian Keßler / Książka Twarda
common.buy 128.38 zł
Hory zpívají Phan Que Mai Nguyen / Książka Twarda
common.buy 64.74 zł
KLIMATOLOGIE Émile H. Klouyo / Książka Miękka
common.buy 165.97 zł
Besser hausgemacht mit dem Thermomix® Doris Muliar / Książka Miękka
common.buy 54.01 zł
30 Jahre Nachhilfe in 60 Minuten Ulf - C. Roggendorff / Książka Miękka
common.buy 46.19 zł
Valorisation de soja: « tofu, farine infantile » José Tahina Ranaivotrimo / Książka Miękka
common.buy 233.52 zł
Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce EDAE / Książka Miękka
common.buy 109.14 zł
TEKIS GOMEZ / Książka Twarda
common.buy 90.09 zł
Cuento-juego. Los tres cerditos NICOLETTA CODIGNOLA / Książka Miękka
common.buy 69.75 zł
Morče Nataša Velenská / Książka Miękka
common.buy 27.45 zł
Weg Ins Heim Trendb Uro / Książka Miękka
common.buy 160.25 zł
Christoph Columbus Jakob Wassermann / Książka Miękka
common.buy 75.96 zł
Donc Vous Avez Un Ami Invisible: (Ne voir aucun dieu, n'entendre aucun dieu, ne parler ? aucun dieu) Nancy Phillips / Książka Miękka
common.buy 47.40 zł
Secme Dünya Öyküleri Jorge Luis Borges / Książka Miękka
common.buy 68.34 zł

This 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 toget

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 Isil Dillig, Serdar Tasiran
Język Angielski
Oprawa Książka - Miękka
Data wydania 2019
Liczba stron 673
EAN 9783030255398
ISBN 3030255395
Kod Libristo 24027841
Wydawnictwo Springer Nature Switzerland AG
Waga 1050
Wymiary 155 x 235 x 38

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Modelowanie i symulacje komputerowe
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Sieci komputerowe i telekomunikacja
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ć

Information Security Sokratis Katsikas / Książka Miękka
common.buy 327.33 zł
Katherine Mansfield: New Directions GASSTON AIMEE / Książka Twarda
common.buy 591.13 zł
Marriage, Totemism and Religion: An Answer to Critics Lord Avebury / Książka Miękka
common.buy 133.79 zł
MEE Questions Book 2 Celebration Bar Review LLC / Książka Miękka
common.buy 390.98 zł
Advances in Growth Curve and Structural Equation Modeling Ratan Dasgupta / Książka Twarda
common.buy 218.69 zł
Do You Dream of Terra-Two? Temi Oh / Książka Miękka
common.buy 57.52 zł
Feasibility Study Majura Jackson G. Majura / Książka Miękka
common.buy 153.74 zł
Soft Computing as Transdisciplinary Science and Technology Ajith Abraham / Książka Miękka
common.buy 870.67 zł
Group FEIGEL LARA / Książka Miękka
common.buy 54.61 zł
3 little sisters Radha Bamania / Książka Miękka
common.buy 43.69 zł
TOP
Invisible Women: Data Bias in a World Designed for Men CRIADO PEREZ CAROLINE / Książka Miękka
common.buy 66.84 zł
Works of Ophra Behn Montague Summers / Książka Twarda
common.buy 244.95 zł
OLD AMERICAN SONGS II CHANT AARON COPLAND / Prasa Nuty
common.buy 21.84 zł
The Wager and Other Stories Greg Sushinsky / Książka Miękka
common.buy 32.16 zł
TOP
Sex Differences in Intelligence Richard Lynn / Książka Miękka
common.buy 63.63 zł
Nowość
Privileged Brotherhoods Adam Howard / Książka Twarda
common.buy 283.93 zł
My Life Scott Ludwig / Książka Miękka
common.buy 94.81 zł
Wolfsmund Kuji Mitsuhisa / Książka Miękka
common.buy 44.99 zł
Radiographic Atlas of Skeletal Development of the Hand and Wrist Greulich / Książka Twarda
common.buy 810.53 zł
Cast of Shadows Ronnie Maasz / Książka Twarda
common.buy 410.22 zł
Omaha Beach Adrian R. Lewis / Książka Miękka
common.buy 193.33 zł
Adolescent and the Cartel H G Nowland / Książka Miękka
common.buy 54.21 zł
BioShock: Rapture John Shirley / Książka Miękka
common.buy 69.95 zł
The Thin Black Line: True Stories by Black Law Enforcement Officers Policing America's Meanest Streets Hugh Holton / Książka Miękka
common.buy 63.63 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