phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Computer Aided Verification

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Armin Biere
Libristo kód: 02775219
Nakladatelství Springer International Publishing AG, srpna 2014
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verific... Celý popis
? points 304 b
3 037 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Untersuchung Des W rmeinhalts, Der W rmeleitf higkeit Und Der Elektrischen Leitf higkeit Von Schmelzkalk Wilhelm Anton Fischer / Brožovaná
common.buy 1 676 Kč
100 Number One Hits for Trumpet / Brožovaná
common.buy 1 219 Kč
Field Palaeontology Roland Goldring / Brožovaná
common.buy 2 167 Kč
Conventions on the Privileges and Immunities of the United Nations and its Specialized Agencies August Reinisch / Pevná
common.buy 9 913 Kč
Fatigue Patricia A. Pierce / Brožovaná
common.buy 6 849 Kč
101 Marketing Strategies for Accounting, Law, Consulting, and Professional Services Firms Troy Waugh / Brožovaná
common.buy 1 023 Kč
Cultural Proficiency In Addressing Health Disparities Sade Kosoko-Lasaki / Brožovaná
common.buy 3 197 Kč
Als Vagabund um die Erde Harry Franck / Brožovaná
common.buy 1 957 Kč
Subventionspolitik Der Hohen Behoerde Der Europaischen Gemeinschaft Fur Kohle Und Stahl Und Ihre Auswirkungen Auf Den Kohlenbergbau Dieser Gemeinschaf Philipp Bennecke / Brožovaná
common.buy 1 676 Kč
Einführung in das GmbH-Recht Werner Borns / Brožovaná
common.buy 1 017 Kč
Deviant Women of the French Revolution and the Rise of Feminism Lisa Beckstrand / Pevná
common.buy 2 830 Kč
Die Berechnung des Waldkapitals Theodor Glaser / Brožovaná
common.buy 720 Kč
Betrieb Und Und Bedienung Von Ortsfesten Viertakt-Dieselmaschinen Arthur Balog / Brožovaná
common.buy 1 676 Kč
Cost and Fee Allocation in Civil Procedure Mathias Reimann / Pevná
common.buy 3 037 Kč
Die Zustimmung der Bundesregierung zu Verträgen der Bundesländer mit auswärtigen Staaten gemäß Art. 32 III GG. Peter Seidel / Brožovaná
common.buy 1 255 Kč
750 Spanish Verbs and Their Uses Zamir / Brožovaná
common.buy 822 Kč

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.§§The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.

Informace o knize

Plný název Computer Aided Verification
Autor Armin Biere, Roderick Bloem
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2014
Počet stran 877
EAN 9783319088662
ISBN 3319088661
Libristo kód 02775219
Nakladatelství Springer International Publishing AG
Váha 1352
Rozměry 155 x 235 x 48

Kategorie

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 > Operační systémy
Výpočetní a informační technologie > Počítačové sítě a komunikace
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

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