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ł.

Hardware and Software: Verification and Testing

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

Język AngielskiAngielski
Książka Miękka
Książka Hardware and Software: Verification and Testing Nir Piterman
Kod Libristo: 09925334
Wydawnictwo Springer International Publishing AG, październik 2015
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conferen... Cały opis
? points 120 b
210.26 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Psychologia Kluczowe koncepcje Tom 1 Podstawy psychologii Zimbardo Philip / Książka Miękka
common.buy 66.03 zł
Sticker-Anziehpuppen Ballerina Eva Schindler / Książka Miękka
common.buy 33.31 zł
Skopje / Książka Miękka
common.buy 49.87 zł
Slor Eivor / Audio CD Audio
common.buy 80.08 zł
Porsche Speedster, m. 1 DVD Philipp Novak / Książka Twarda
common.buy 71.65 zł
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 / Książka Miękka
common.buy 37.83 zł

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.

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 Hardware and Software: Verification and Testing
Autor Nir Piterman
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 293
EAN 9783319262864
ISBN 3319262866
Kod Libristo 09925334
Wydawnictwo Springer International Publishing AG
Waga 4745
Wymiary 155 x 235 x 15

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
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) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
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ć

TOP
Hidden Treasures in the Book of Job - How the Oldest Book in the Bible Answers Today`s Scientific Questions Hugh Ross / Książka Miękka
common.buy 66.94 zł
Student's Guide to the Schroedinger Equation Daniel A. Fleisch / Książka Miękka
common.buy 125.25 zł
TOP
Mine Till Midnight Lisa Kleypas / Książka Miękka
common.buy 35.02 zł
The Gift Richard Paul Evans / Audio CD Audio
common.buy 64.43 zł
Designing Bots: Creating Conversational Experiences Amir Shevat / Książka Miękka
common.buy 113.71 zł
TOP
Hacker's Delight Henry Warren / Książka Twarda
common.buy 234.55 zł
Oxford First Dictionary Oxford Dictionaries / Książka Twarda
common.buy 79.88 zł
Florentine and the Treasures of the Snow Herb Stine / Książka Miękka
common.buy 44.85 zł
Little Children's Pirate Activity Book Rebecca Gilpin / Książka Miękka
common.buy 50.78 zł
Wheat Belly (Revised and Expanded Edition) William Davis / Książka Miękka
common.buy 66.94 zł
Chaos Dan Piepenbring / Książka Miękka
common.buy 44.35 zł
TOP
Monster in His Eyes J M Darhower / Książka Miękka
common.buy 55.39 zł
Otaku Food! Danielle Baghernejad / Książka Miękka
common.buy 101.26 zł
TOP
Girl and the Goddess Nikita Gill / Książka Twarda
common.buy 59.01 zł
TOP
Hands Down Mariana Zapata / Książka Miękka
common.buy 81.79 zł
Dead Mount Death Play, Vol. 5 Ryohgo Narita / Książka Miękka
common.buy 45.16 zł
TOP
Our Not-So-Lonely Planet Travel Guide, Volume 1 Mone Sorai / Książka Miękka
common.buy 47.16 zł
Principios Cooperativistas Na Percepcao DOS Associados JACIARA XAV RIBEIRO / Książka Miękka
common.buy 290.25 zł
TOP
Peak Performance Table Tennis Kevin Finn / Książka Miękka
common.buy 73.06 zł
Refractory Materials Faraday Society / Książka Miękka
common.buy 90.02 zł
Statistics for the Trading Floor: Data Science for Investing Patrick Boyle / Książka Miękka
common.buy 112.50 zł
Fairy and Fantasy Grayscale Coloring Book Christine Karron / Książka Miękka
common.buy 62.72 zł
TOP
The 100 Kass Morgan / Książka Miękka
common.buy 44.35 zł
TOP
In Search of Lost Time: Volume 2 Marcel Proust / Książka Miękka
common.buy 46.06 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