Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 4.49 € DPD točka 3.99 € GLS Kurir 5.49 € GLS paketomat 4.49 € Hrvatska pošta 5.49 € Dostava Overseas 5.49 € Box Now 4.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Computer Aided Verification

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Aided Verification Isil Dillig
Libristo kod: 24027841
Nakladnici Springer Nature Switzerland AG, srpanj 2019
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31s... Cijeli opis
? points 118 b
48.45 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

CARTE - LA NATURE EN HAUTE MONTAGNE Levi Walter YAGGY / Knjiga Knjiga
common.buy 22.86 €
Bleigewitter über Cinecitt? Christian Keßler / Knjiga Tvrdi uvez
common.buy 30.09 €
Io e il mio amico Gesù facciamo tante cose assieme. La comunione Bruno Ferrero / Knjiga Meki uvez
common.buy 9.72 €
KLIMATOLOGIE Émile H. Klouyo / Knjiga Meki uvez
common.buy 38.92 €
Hory zpívají Phan Que Mai Nguyen / Knjiga Tvrdi uvez
common.buy 15.14 €
Técnicas n?o-farmacológicas de gest?o do comportamento Anil Gupta / Knjiga Meki uvez
common.buy 36.61 €
Morče Nataša Velenská / Knjiga Meki uvez
common.buy 6.41 €
LP! JPEGMAFIA Audio Audio vinil
common.buy 46.54 €
PRÄVENTIVE ZAHNMEDIZIN: DAMIT DAS LÄCHELN FREI VON VERLETZUNGEN BLEIBT SOUNDARYA PRABHAKAR / Knjiga Meki uvez
common.buy 38.92 €
Storia dei rapporti tra chiesa, Massoneria e Rosacroce nel Medioevo Ciro Tammaro / Knjiga Knjiga
common.buy 13.23 €
Plaster Czarownicy i inne baśnie Małgorzata Strzałkowska / Knjiga Tvrdi uvez
common.buy 7.21 €
SOLA GURT / Knjiga Meki uvez
common.buy 19.96 €
Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce EDAE / Knjiga Meki uvez
common.buy 24.27 €
TEKIS GOMEZ / Knjiga Tvrdi uvez
common.buy 19.96 €
Un coup de dés jamais n'abolira le hasard Stéphane Mallarmé / Knjiga binding.
common.buy 19.55 €
Donc Vous Avez Un Ami Invisible: (Ne voir aucun dieu, n'entendre aucun dieu, ne parler ? aucun dieu) Nancy Phillips / Knjiga Meki uvez
common.buy 11.43 €
Secme Dünya Öyküleri Jorge Luis Borges / Knjiga Meki uvez
common.buy 15.14 €
Valorisation de soja: « tofu, farine infantile » José Tahina Ranaivotrimo / Knjiga Meki uvez
common.buy 51.56 €
Christoph Columbus Jakob Wassermann / Knjiga Meki uvez
common.buy 17.75 €
Die Ritter von Heliopolis. Band 3 Alejandro Jodorowsky / Knjiga Tvrdi uvez
common.buy 14.74 €
Besser hausgemacht mit dem Thermomix® Doris Muliar / Knjiga Meki uvez
common.buy 12.63 €
30 Jahre Nachhilfe in 60 Minuten Ulf - C. Roggendorff / Knjiga Meki uvez
common.buy 10.83 €
Cuento-juego. Los tres cerditos NICOLETTA CODIGNOLA / Knjiga Meki uvez
common.buy 15.44 €
Técnicas de relajación creativa y emocional Mónica Pintanel Bassets / Knjiga Meki uvez
common.buy 22.36 €

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

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Computer Aided Verification
Autor Isil Dillig, Serdar Tasiran
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2019
Broj stranica 673
EAN 9783030255398
ISBN 3030255395
Libristo kod 24027841
Nakladnici Springer Nature Switzerland AG
Težina 1050
Dimenzije 155 x 235 x 38

Kategorija

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer modelling & simulation
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer networking & communications
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Information Security Sokratis Katsikas / Knjiga Meki uvez
common.buy 72.53 €
The Princess and the Pea Hans Christian Andersen / Knjiga Meki uvez
common.buy 15.04 €
7 Steps to making your first app: These tips will save you time and headaches Mrs Susanne Birgersdotter / Knjiga Meki uvez
common.buy 10.52 €
Botanic Garden. Part II. Containing the Loves of the Plants. A Poem. With Philosophical Notes. Volume the Second. The Fourth Edition. of 2; Volume 2 ERASMUS DARWIN / Knjiga Tvrdi uvez
common.buy 32.20 €
Advances in Growth Curve and Structural Equation Modeling Ratan Dasgupta / Knjiga Tvrdi uvez
common.buy 48.45 €
Treatise on Grand Military Operations as Contrasted with the Modern System Samuel Beckley Holabird / Knjiga Meki uvez
common.buy 26.68 €
Do You Dream of Terra-Two? Temi Oh / Knjiga Meki uvez
common.buy 13.84 €
Pripremamo
Print Proceedings of the IMECE International Mechanical Engineering Congress & Exposition (IMECE2018): Volume 1 ASME / Knjiga Meki uvez
common.buy 133.43 €
Feasibility Study Majura Jackson G. Majura / Knjiga Meki uvez
common.buy 37.01 €
Top
Trapped in a Video Game: The Complete Series Dustin Brady / Knjiga Meki uvez
common.buy 37.41 €
KOREAN WORD SEARCH - LEVEL OF DIFFICULTY DELTA CLASSICS / Knjiga Meki uvez
common.buy 10.83 €
3 little sisters Radha Bamania / Knjiga Meki uvez
common.buy 10.52 €
Soft Computing as Transdisciplinary Science and Technology Ajith Abraham / Knjiga Meki uvez
common.buy 192.92 €
A K-Pop Love Story H.G Samarasinghe / Knjiga Meki uvez
common.buy 13.23 €
Artificial Intelligence Enabled Computational Methods for Smart Grid Forecast and Dispatch Zhigang Zeng / Knjiga Meki uvez
common.buy 154.39 €
Group FEIGEL LARA / Knjiga Meki uvez
common.buy 11.13 €
Katherine Mansfield: New Directions GASSTON AIMEE / Knjiga Tvrdi uvez
common.buy 144.86 €
The Diabolical Bones Bella Ellis / Knjiga Meki uvez
common.buy 20.66 €
Top
Invisible Women: Data Bias in a World Designed for Men CRIADO PEREZ CAROLINE / Knjiga Meki uvez
common.buy 16.04 €
Japanese Fairy Tale Series D. Thomson / Knjiga Meki uvez
common.buy 12.13 €
Works of Ophra Behn Montague Summers / Knjiga Tvrdi uvez
common.buy 53.97 €
American English File: Level 4: Workbook Latham-Koenig / Knjiga Meki uvez
common.buy 39.72 €
Top
Harry Potter Slytherin House Editions Hardback Box Set Joanne K. Rowling / Knjiga Tvrdi uvez
common.buy 172.96 €
In at the Death Francis Duncan / Audio knjiga MP3
common.buy 8.72 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?