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.

Computer Aided Verification

17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Kousha Etessami
Libristo kód: 01560845
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červen 2005
This book constitutes the refereed proceedings of the 17th International Conference on Computer Aide... Celý popis
? points 236 b
2 357 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Bombolles i tovallola MÜHLE JÖRG / Kniha Pevná
common.buy 382 Kč
Ausgewahlte Schriften des Lucian Julius Wilhelm Ewald Sommerbrodt / Kniha Brožovaná
common.buy 469 Kč
La Teolosis y la Mujer Dr Elvin Heredia Phd / Kniha Brožovaná
common.buy 258 Kč
Koordinationstraining im Golf Marc Müller-Dargusch / Kniha Brožovaná
common.buy 759 Kč
A l'aube des heures fertiles Debarle / Kniha Brožovaná
common.buy 555 Kč
Histoire des Associations familiales catholiques Michel Emmanuel / Kniha Brožovaná
common.buy 651 Kč
Voyage au bout du monde Chang / Kniha Brožovaná
common.buy 390 Kč
Trouble de la personnalité borderline - Pratiques thérapeutiques Stéphane Kolly / Kniha Brožovaná
common.buy 1 290 Kč
POESIE IN MUSICA Biagio Di Carlo E Mara Seccia / Kniha Brožovaná
common.buy 263 Kč
Fragiler Pluralismus Hans-Georg Soeffner / Kniha Brožovaná
common.buy 822 Kč
Die Septuaginta - Geschichte, Wirkung, Relevanz Martin Meiser / Kniha Pevná
common.buy 8 186 Kč
Auslandsinvestitionen Und Wahrungsrisiken Thomas Schäfer / Kniha Brožovaná
common.buy 972 Kč
Anordnung zur Übertragung der Zuständigkeit für den Erlass von Widerspruchsbescheiden und der Vertretung bei Klagen von Beamten des Bundesinstituts fü Antiphon Verlag / Kniha List
common.buy 218 Kč
Evaluación de Proyectos de Inversión Octavio Rolando Lara Martinez / Kniha Brožovaná
common.buy 813 Kč
Teorias implicitas acerca del curriculo en profesores de secundaria Rojas Romero Jesus Gabriela / Kniha Brožovaná
common.buy 1 318 Kč
Eenduisend-En-Een Grimmige Nagte Yolanda Faye Holden / Kniha Brožovaná
common.buy 341 Kč

This book constitutes the refereed proceedings of the 17th International Conference on Computer Aided Verification, CAV 2005, held in Edinburgh, Scotland, UK in July 2005.§The 32 revised full papers presented together with 16 tool papers and 3 invited papers, as well as a report on a special tools competition were carefully reviewed and selected from 155 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

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 Computer Aided Verification
Autor Kousha Etessami, Sriram K. Rajamani
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2005
Počet stran 568
EAN 9783540272311
ISBN 3540272313
Libristo kód 01560845
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1800
Rozměry 155 x 235 x 32

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é 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

Contemporary Electroanalytical Chemistry A. Ivaska / Kniha Pevná
common.buy 4 707 Kč
Everyday English, Book 1: Language Lessons For Intermediate Grades (1902) Jean Sherwood Rankin / Kniha Pevná
common.buy 990 Kč
Flyleaf Volume One: 2014 Flyleaf Journal / Kniha Brožovaná
common.buy 237 Kč
Rogues and Vagabonds George R Sims / Kniha Brožovaná
common.buy 340 Kč
The Claverings Anthony Trollope / Kniha Brožovaná
common.buy 378 Kč
Sexual Mountain and Black Women Writers Calvin C. Hernton / Kniha Brožovaná
common.buy 301 Kč
Ucoa: The Biker Experience Thomas Zimmer / Kniha Brožovaná
common.buy 1 270 Kč
Big Data Hai Jin / Kniha Brožovaná
common.buy 1 182 Kč
The Great Boer War Arthur Conan Doyle / Kniha Brožovaná
common.buy 455 Kč
R Programming: A Step-by-Step Guide for Absolute Beginners Daniel Bell / Kniha Brožovaná
common.buy 320 Kč
Handbook of Essential Oils K. Husnu Can Baser / Kniha Pevná
common.buy 7 364 Kč
The Medicine-Men of the Apache, Volume 9... John Gregory Bourke / Kniha Brožovaná
common.buy 437 Kč
Tibetan Terrier. Tibetan Terrier Dog Complete Owners Manual. Tibetan Terrier book for care, costs, feeding, grooming, health and training. George Hoppendale / Kniha Brožovaná
common.buy 326 Kč
Submissive Training More Sex More Fun Book Club / Kniha Brožovaná
common.buy 361 Kč
Our World 6: Grammar Workbook CRANDALL SHIN / Kniha List
common.buy 445 Kč
Max and Moritz Stefan Hollos / Kniha Brožovaná
common.buy 485 Kč
Philosophy of Health, or, An Exposition of the Physical and Mental Constitution of Man Southwood 1788-1861 Smith / Kniha Brožovaná
common.buy 619 Kč
Body Intelligence Ph.D. Joseph Cardillo / Audiokniha MP3
common.buy 366 Kč
Decisive Endgame Mikael Carlson / Kniha Brožovaná
common.buy 337 Kč
Digital Nomads B. Vincent / Kniha Brožovaná
common.buy 294 Kč
Dior Fashion Unfolded Vol 02 TEAM FASHIONARY / Kniha Pevná
common.buy 436 Kč
Culture, Ethnicity, and Personal Relationship Processes Gaines / Kniha Pevná
common.buy 4 595 Kč
Business Basics International Edition: Teacher's Book David Grant / Kniha Brožovaná
common.buy 354 Kč
Handbook of Participatory Video E J Milne / Kniha Pevná
common.buy 4 858 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