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.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, jún 2005
This book constitutes the refereed proceedings of the 17th International Conference on Computer Aide... Celý popis
? points 249 b
103.10 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Bombolles i tovallola MÜHLE JÖRG / Kniha Pevná
common.buy 16.70 €
Ausgewahlte Schriften des Lucian Julius Wilhelm Ewald Sommerbrodt / Kniha Brožovaná
common.buy 20.55 €
La Teolosis y la Mujer Dr Elvin Heredia Phd / Kniha Brožovaná
common.buy 10.62 €
Koordinationstraining im Golf Marc Müller-Dargusch / Kniha Brožovaná
common.buy 31.39 €
A l'aube des heures fertiles Debarle / Kniha Brožovaná
common.buy 22.98 €
Histoire des Associations familiales catholiques Michel Emmanuel / Kniha Brožovaná
common.buy 26.93 €
Voyage au bout du monde Chang / Kniha Brožovaná
common.buy 17.21 €
Trouble de la personnalité borderline - Pratiques thérapeutiques Stéphane Kolly / Kniha Brožovaná
common.buy 53.37 €
POESIE IN MUSICA Biagio Di Carlo E Mara Seccia / Kniha Brožovaná
common.buy 10.83 €
Fragiler Pluralismus Hans-Georg Soeffner / Kniha Brožovaná
common.buy 35.95 €
Die Septuaginta - Geschichte, Wirkung, Relevanz Martin Meiser / Kniha Pevná
common.buy 338.78 €
Auslandsinvestitionen Und Wahrungsrisiken Thomas Schäfer / Kniha Brožovaná
common.buy 42.53 €
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 9.00 €
Evaluación de Proyectos de Inversión Octavio Rolando Lara Martinez / Kniha Brožovaná
common.buy 35.74 €
Teorias implicitas acerca del curriculo en profesores de secundaria Rojas Romero Jesus Gabriela / Kniha Brožovaná
common.buy 57.92 €
Eenduisend-En-Een Grimmige Nagte Yolanda Faye Holden / Kniha Brožovaná
common.buy 14.07 €

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 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 Computer Aided Verification
Autor Kousha Etessami, Sriram K. Rajamani
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2005
Počet strán 568
EAN 9783540272311
ISBN 3540272313
Libristo kód 01560845
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1800
Rozmery 155 x 235 x 32

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

Contemporary Electroanalytical Chemistry A. Ivaska / Kniha Pevná
common.buy 206.00 €
Everyday English, Book 1: Language Lessons For Intermediate Grades (1902) Jean Sherwood Rankin / Kniha Pevná
common.buy 40.91 €
Flyleaf Volume One: 2014 Flyleaf Journal / Kniha Brožovaná
common.buy 9.81 €
Rogues and Vagabonds George R Sims / Kniha Brožovaná
common.buy 14.07 €
The Claverings Anthony Trollope / Kniha Brožovaná
common.buy 15.59 €
Sexual Mountain and Black Women Writers Calvin C. Hernton / Kniha Brožovaná
common.buy 12.45 €
Ucoa: The Biker Experience Thomas Zimmer / Kniha Brožovaná
common.buy 52.56 €
Big Data Hai Jin / Kniha Brožovaná
common.buy 51.75 €
The Great Boer War Arthur Conan Doyle / Kniha Brožovaná
common.buy 18.83 €
R Programming: A Step-by-Step Guide for Absolute Beginners Daniel Bell / Kniha Brožovaná
common.buy 13.26 €
Handbook of Essential Oils K. Husnu Can Baser / Kniha Pevná
common.buy 320.85 €
The Medicine-Men of the Apache, Volume 9... John Gregory Bourke / Kniha Brožovaná
common.buy 18.12 €
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 14.27 €
Submissive Training More Sex More Fun Book Club / Kniha Brožovaná
common.buy 14.88 €
Our World 6: Grammar Workbook CRANDALL SHIN / Kniha List
common.buy 19.33 €
Max and Moritz Stefan Hollos / Kniha Brožovaná
common.buy 20.04 €
Philosophy of Health, or, An Exposition of the Physical and Mental Constitution of Man Southwood 1788-1861 Smith / Kniha Brožovaná
common.buy 25.61 €
Body Intelligence Ph.D. Joseph Cardillo / Audiokniha MP3
common.buy 15.08 €
Decisive Endgame Mikael Carlson / Kniha Brožovaná
common.buy 13.97 €
Digital Nomads B. Vincent / Kniha Brožovaná
common.buy 12.14 €
Dior Fashion Unfolded Vol 02 TEAM FASHIONARY / Kniha Pevná
common.buy 17.82 €
Culture, Ethnicity, and Personal Relationship Processes Gaines / Kniha Pevná
common.buy 190.10 €
Business Basics International Edition: Teacher's Book David Grant / Kniha Brožovaná
common.buy 14.68 €
Handbook of Participatory Video E J Milne / Kniha Pevná
common.buy 211.57 €

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ť?