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 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Hardware and Software: Verification and Testing

11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Hardware and Software: Verification and Testing Nir Piterman
Libristo kod: 09925334
Nakladnici Springer International Publishing AG, listopad 2015
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conferen... Cijeli opis
? points 120 b
49.62 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Psychologia Kluczowe koncepcje Tom 1 Podstawy psychologii Zimbardo Philip / Knjiga Meki uvez
common.buy 18.32 €
Sticker-Anziehpuppen Ballerina Eva Schindler / Knjiga Meki uvez
common.buy 7.89 €
Skopje / Knjiga Meki uvez
common.buy 11.74 €
Slor Eivor / Audio Audio CD
common.buy 18.93 €
Porsche Speedster, m. 1 DVD Philipp Novak / Knjiga Tvrdi uvez
common.buy 16.90 €
40 Baby Meilenstein-Karten für das 1. Lebensjahr für Mädchen und Junge. Baby Milestone Cards deutsch, zur Erinnerung der Entwicklung der ersten Monate Sophie Heisenberg / Knjiga Meki uvez
common.buy 8.90 €

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; veri cation of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain veri cation; synthesis.

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 Hardware and Software: Verification and Testing
Autor Nir Piterman
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2015
Broj stranica 293
EAN 9783319262864
ISBN 3319262866
Libristo kod 09925334
Nakladnici Springer International Publishing AG
Težina 4745
Dimenzije 155 x 235 x 15

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
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

Top
Hidden Treasures in the Book of Job - How the Oldest Book in the Bible Answers Today`s Scientific Questions Hugh Ross / Knjiga Meki uvez
common.buy 15.79 €
Student's Guide to the Schroedinger Equation Daniel A. Fleisch / Knjiga Meki uvez
common.buy 29.56 €
Top
Mine Till Midnight Lisa Kleypas / Knjiga Meki uvez
common.buy 8.30 €
The Gift Richard Paul Evans / Audio Audio CD
common.buy 15.18 €
Designing Bots: Creating Conversational Experiences Amir Shevat / Knjiga Meki uvez
common.buy 26.83 €
Top
Hacker's Delight Henry Warren / Knjiga Tvrdi uvez
common.buy 55.39 €
Oxford First Dictionary Oxford Dictionaries / Knjiga Tvrdi uvez
common.buy 17.92 €
Florentine and the Treasures of the Snow Herb Stine / Knjiga Meki uvez
common.buy 10.62 €
Little Children's Pirate Activity Book Rebecca Gilpin / Knjiga Meki uvez
common.buy 11.43 €
Wheat Belly (Revised and Expanded Edition) William Davis / Knjiga Meki uvez
common.buy 15.79 €
Chaos Dan Piepenbring / Knjiga Meki uvez
common.buy 10.42 €
Top
Monster in His Eyes J M Darhower / Knjiga Meki uvez
common.buy 13.06 €
Otaku Food! Danielle Baghernejad / Knjiga Meki uvez
common.buy 23.89 €
Top
Girl and the Goddess Nikita Gill / Knjiga Tvrdi uvez
common.buy 13.97 €
Top
Hands Down Mariana Zapata / Knjiga Meki uvez
common.buy 19.33 €
Dead Mount Death Play, Vol. 5 Ryohgo Narita / Knjiga Meki uvez
common.buy 10.62 €
Top
Our Not-So-Lonely Planet Travel Guide, Volume 1 Mone Sorai / Knjiga Meki uvez
common.buy 10.42 €
Principios Cooperativistas Na Percepcao DOS Associados JACIARA XAV RIBEIRO / Knjiga Meki uvez
common.buy 68.56 €
Top
Peak Performance Table Tennis Kevin Finn / Knjiga Meki uvez
common.buy 17.21 €
Refractory Materials Faraday Society / Knjiga Meki uvez
common.buy 21.26 €
Statistics for the Trading Floor: Data Science for Investing Patrick Boyle / Knjiga Meki uvez
common.buy 26.53 €
Fairy and Fantasy Grayscale Coloring Book Christine Karron / Knjiga Meki uvez
common.buy 14.78 €
Top
The 100 Kass Morgan / Knjiga Meki uvez
common.buy 10.42 €
Top
In Search of Lost Time: Volume 2 Marcel Proust / Knjiga Meki uvez
common.buy 11.64 €

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?