Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer International Publishing AG, október 2015
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conferen... Celý popis
? points 120 b
49.62 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Psychologia Kluczowe koncepcje Tom 1 Podstawy psychologii Zimbardo Philip / Kniha Brožovaná
common.buy 18.32 €
Sticker-Anziehpuppen Ballerina Eva Schindler / Kniha Brožovaná
common.buy 7.89 €
Skopje / Kniha Brožovaná
common.buy 11.74 €
Slor Eivor / Audio Audio CD
common.buy 18.93 €
Porsche Speedster, m. 1 DVD Philipp Novak / Kniha Pevná
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 / Kniha Brožovaná
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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Hardware and Software: Verification and Testing
Autor Nir Piterman
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2015
Počet strán 293
EAN 9783319262864
ISBN 3319262866
Libristo kód 09925334
Nakladateľstvo Springer International Publishing AG
Váha 4745
Rozmery 155 x 235 x 15

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Výpočtové a informačné technológie > Počítačový hardvér > Sieťové zariadenia
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

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 14.78 €
Student's Guide to the Schroedinger Equation Daniel A. Fleisch / Kniha Brožovaná
common.buy 28.15 €
Top
Mine Till Midnight Lisa Kleypas / Kniha Brožovaná
common.buy 8.30 €
The Gift Richard Paul Evans / Audio Audio CD
common.buy 15.18 €
Designing Bots: Creating Conversational Experiences Amir Shevat / Kniha Brožovaná
common.buy 25.11 €
Top
Hacker's Delight Henry Warren / Kniha Pevná
common.buy 52.56 €
Oxford First Dictionary Oxford Dictionaries / Kniha Pevná
common.buy 18.83 €
Florentine and the Treasures of the Snow Herb Stine / Kniha Brožovaná
common.buy 10.02 €
Little Children's Pirate Activity Book Rebecca Gilpin / Kniha Brožovaná
common.buy 10.42 €
Wheat Belly (Revised and Expanded Edition) William Davis / Kniha Brožovaná
common.buy 14.78 €
Chaos Dan Piepenbring / Kniha Brožovaná
common.buy 10.22 €
Top
Monster in His Eyes J M Darhower / Kniha Brožovaná
common.buy 12.35 €
Otaku Food! Danielle Baghernejad / Kniha Brožovaná
common.buy 22.37 €
Top
Girl and the Goddess Nikita Gill / Kniha Pevná
common.buy 13.66 €
Top
Hands Down Mariana Zapata / Kniha Brožovaná
common.buy 18.32 €
Dead Mount Death Play, Vol. 5 Ryohgo Narita / Kniha Brožovaná
common.buy 10.02 €
Top
Our Not-So-Lonely Planet Travel Guide, Volume 1 Mone Sorai / Kniha Brožovaná
common.buy 10.42 €
Principios Cooperativistas Na Percepcao DOS Associados JACIARA XAV RIBEIRO / Kniha Brožovaná
common.buy 68.56 €
Top
Peak Performance Table Tennis Kevin Finn / Kniha Brožovaná
common.buy 16.20 €
Refractory Materials Faraday Society / Kniha Brožovaná
common.buy 20.25 €
Statistics for the Trading Floor: Data Science for Investing Patrick Boyle / Kniha Brožovaná
common.buy 25.21 €
Fairy and Fantasy Grayscale Coloring Book Christine Karron / Kniha Brožovaná
common.buy 14.07 €
Top
The 100 Kass Morgan / Kniha Brožovaná
common.buy 12.14 €
Top
In Search of Lost Time: Volume 2 Marcel Proust / Kniha Brožovaná
common.buy 11.54 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?