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 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
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 Rupak Majumdar
Libristo kod: 16495653
Nakladnici Springer International Publishing AG, srpanj 2017
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th Intern... Cijeli opis
? points 125 b
51.70 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

La vie rêvée du Post-partum Caroline Michel Knjiga Meki uvez
common.buy 23.97 €
A VERDADE DAS SUAS CARICIAS WILLIAMS / Knjiga Knjiga
common.buy 4.75 €
Lone Survivor (Original Motion Picture Soundtrack) / Audio Audio CD
common.buy 16.79 €
??????????? ?? ???(?????)? ????: ?? - Affe. ???? ?? ???? ColinHann / E-knjiga Adobe ePub DRM
common.buy 1.00 €
PHDA na pratica Rui Pedro Ribeiro / E-knjiga Adobe ePub DRM
common.buy 8.39 €
Sortie à la médiathèque, niveau 1 - J'apprends à lire Montessori Charlotte Jouenne / Knjiga Meki uvez
common.buy 6.47 €
Фастфуд на миллион. Made in Russian Регион / Knjiga Meki uvez
common.buy 48.26 €
Bibliograf­a de Historia Económica de Cataluña, 1950-70 / Knjiga Meki uvez
common.buy 14.06 €
Energie de lumière infinie - Méditations créatives - Livre audio 2 CD Lafrance / Audio Audio CD
common.buy 26.00 €
PASSACAILLE --- GUITARE KLEYNJANS FRANCIS Knjiga binding.
common.buy 12.34 €
One Piece 95 Antje Bockel / Knjiga Meki uvez
common.buy 6.87 €
Comment Jouer Au Golf VARDON-H / Knjiga Meki uvez
common.buy 20.33 €
ontologia da alma em Sao Tomas de Aquino Moacir Ferreira Filho / Knjiga Meki uvez
common.buy 35.71 €
Leonor Merimee (1757-1836) Gaston Pinet / Knjiga Meki uvez
common.buy 15.88 €
Beziehungsmanagement im Sportsponsoring? Thorben Meier / Knjiga Meki uvez
common.buy 65.97 €
Didier Grousset/Brigitte Smadja: Il faut sauver Saïd: Filmanalyse Martin Thoböll / Knjiga Meki uvez
common.buy 33.89 €

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.

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 Rupak Majumdar, Viktor Kuncak
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2017
Broj stranica 601
EAN 9783319633862
ISBN 3319633864
Libristo kod 16495653
Nakladnici Springer International Publishing AG
Težina 9299
Dimenzije 155 x 235 x 35

Kategorija

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Product Research 101: Find Winning Products to Sell on Amazon and Beyond Renae Clark / Knjiga Meki uvez
common.buy 8.09 €
Top
The Hurricane Wars GUANZON THEA / Knjiga Meki uvez
common.buy 14.16 €
Walkertown Area Historical Society Walkertown / Knjiga Meki uvez
common.buy 19.42 €
Doberman Pinschers Christina Leighton / Knjiga Tvrdi uvez
common.buy 33.59 €
THE GEORGIAN; OR, THE MOOR OF TRIPOLI: A ELIZABETH THOMAS / Knjiga Tvrdi uvez
common.buy 30.75 €
Current Developments in Biotechnology and Bioengineering Ashok Pandey / Knjiga Meki uvez
common.buy 199.86 €
First Principles of Gastroenterology and Hepatology in Adults and Children - Volume I - Gastroenterology: Volume I - Gastroenterology A B R Thomson / Knjiga Meki uvez
common.buy 41.78 €
Sudoku Minesweeper - 200 Easy to Medium Puzzles 9x9 (Volume 7) Dart Veider / Knjiga Meki uvez
common.buy 7.68 €
Storm Makers Jennifer E. Smith / Knjiga Meki uvez
common.buy 17.19 €
The Unofficial Disney Parks Cookbooks Boxed Set: The Unofficial Disney Parks Cookbook, the Unofficial Disney Parks EPCOT Cookbook, the Unofficial Disn Craft / Knjiga Tvrdi uvez
common.buy 36.93 €
Rutherford College Catalog; 1924-1925 Rutherford College / Knjiga Meki uvez
common.buy 18.41 €
Theory of Superconductivity J. Robert Schrieffer / Knjiga Tvrdi uvez
common.buy 209.17 €
Hizballah Shimon Shapira / Knjiga Meki uvez
common.buy 55.95 €
Universal Human: Creating Authentic Power and the New Consciousness Gary Zukav / Knjiga Meki uvez
common.buy 15.78 €
The Story of King Arthur and His Knights Howard Pyle / Knjiga Meki uvez
common.buy 13.75 €
What You Don't Know Will Hurt You Denise Skarbek / Knjiga Tvrdi uvez
common.buy 111.61 €
Immunomodulatory Role of Black Seed Oil Muhammad Shahzad / Knjiga Meki uvez
common.buy 47.35 €
Mobile Genetic Elements Yves Bigot / Knjiga Tvrdi uvez
common.buy 100.78 €
Blue Room David Hare / Knjiga Meki uvez
common.buy 11.83 €
Odyssey Homer / Knjiga Meki uvez
common.buy 24.18 €
Methods Of Qualitative Theory In Nonlinear Dynamics (Part Ii) Leonid Shilnikov / Knjiga Tvrdi uvez
common.buy 183.06 €
Computer Architecture Gerard Blanchet / Knjiga Tvrdi uvez
common.buy 142.38 €
International Negotiations, Student's Book w. 2 Audio-CDs Mark Powell / Knjiga Meki uvez
common.buy 44.82 €
Neural Computing - An Introduction T. Jackson / Knjiga Meki uvez
common.buy 92.89 €

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?