Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Hardware and Software: Verification and Testing

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Hardware and Software: Verification and Testing Nir Piterman
Libristo kód: 09925334
Nakladatelství Springer International Publishing AG, říjen 2015
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conferen... Celý popis
? points 114 b
1 135 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Psychologia Kluczowe koncepcje Tom 1 Podstawy psychologii Zimbardo Philip / Kniha Brožovaná
common.buy 466 Kč
Sticker-Anziehpuppen Ballerina Eva Schindler / Kniha Brožovaná
common.buy 181 Kč
Skopje / Kniha Brožovaná
common.buy 268 Kč
Slor Eivor / Audio Audio CD
common.buy 435 Kč
Porsche Speedster, m. 1 DVD Philipp Novak / Kniha Pevná
common.buy 383 Kč
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 / Kniha Brožovaná
common.buy 204 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Hardware and Software: Verification and Testing
Autor Nir Piterman
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2015
Počet stran 293
EAN 9783319262864
ISBN 3319262866
Libristo kód 09925334
Nakladatelství Springer International Publishing AG
Váha 4745
Rozměry 155 x 235 x 15

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Top
Hidden Treasures in the Book of Job - How the Oldest Book in the Bible Answers Today`s Scientific Questions Hugh Ross / Kniha Brožovaná
common.buy 334 Kč
Student's Guide to the Schroedinger Equation Daniel A. Fleisch / Kniha Brožovaná
common.buy 666 Kč
Top
Mine Till Midnight Lisa Kleypas / Kniha Brožovaná
common.buy 186 Kč
The Gift Richard Paul Evans / Audio Audio CD
common.buy 347 Kč
Designing Bots: Creating Conversational Experiences Amir Shevat / Kniha Brožovaná
common.buy 568 Kč
Top
Hacker's Delight Henry Warren / Kniha Pevná
common.buy 1 284 Kč
Oxford First Dictionary Oxford Dictionaries / Kniha Pevná
common.buy 410 Kč
Florentine and the Treasures of the Snow Herb Stine / Kniha Brožovaná
common.buy 243 Kč
Little Children's Pirate Activity Book Rebecca Gilpin / Kniha Brožovaná
common.buy 290 Kč
Wheat Belly (Revised and Expanded Edition) William Davis / Kniha Brožovaná
common.buy 334 Kč
Chaos Dan Piepenbring / Kniha Brožovaná
common.buy 235 Kč
Top
Monster in His Eyes J M Darhower / Kniha Brožovaná
common.buy 283 Kč
Otaku Food! Danielle Baghernejad / Kniha Brožovaná
common.buy 542 Kč
Top
Girl and the Goddess Nikita Gill / Kniha Pevná
common.buy 292 Kč
Top
Hands Down Mariana Zapata / Kniha Brožovaná
common.buy 420 Kč
Dead Mount Death Play, Vol. 5 Ryohgo Narita / Kniha Brožovaná
common.buy 242 Kč
Top
Our Not-So-Lonely Planet Travel Guide, Volume 1 Mone Sorai / Kniha Brožovaná
common.buy 235 Kč
Principios Cooperativistas Na Percepcao DOS Associados JACIARA XAV RIBEIRO / Kniha Brožovaná
common.buy 1 560 Kč
Top
Peak Performance Table Tennis Kevin Finn / Kniha Brožovaná
common.buy 411 Kč
Refractory Materials Faraday Society / Kniha Brožovaná
common.buy 489 Kč
Statistics for the Trading Floor: Data Science for Investing Patrick Boyle / Kniha Brožovaná
common.buy 609 Kč
Fairy and Fantasy Grayscale Coloring Book Christine Karron / Kniha Brožovaná
common.buy 321 Kč
Top
The 100 Kass Morgan / Kniha Brožovaná
common.buy 235 Kč
Top
In Search of Lost Time: Volume 2 Marcel Proust / Kniha Brožovaná
common.buy 263 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?