Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Computer Aided Verification

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Computer Aided Verification Kousha Etessami
Koda Libristo: 01560845
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junij 2005
This book constitutes the refereed proceedings of the 17th International Conference on Computer Aide... Celoten opis
? points 236 b
97.53 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Bombolles i tovallola MÜHLE JÖRG / Knjiga Trda
common.buy 15.79 €
Ausgewahlte Schriften des Lucian Julius Wilhelm Ewald Sommerbrodt / Knjiga Mehka
common.buy 19.44 €
La Teolosis y la Mujer Dr Elvin Heredia Phd / Knjiga Mehka
common.buy 10.62 €
Koordinationstraining im Golf Marc Müller-Dargusch / Knjiga Mehka
common.buy 28.25 €
A l'aube des heures fertiles Debarle / Knjiga Mehka
common.buy 20.96 €
Histoire des Associations familiales catholiques Michel Emmanuel / Knjiga Mehka
common.buy 24.60 €
Voyage au bout du monde Chang / Knjiga Mehka
common.buy 16.09 €
Trouble de la personnalité borderline - Pratiques thérapeutiques Stéphane Kolly / Knjiga Mehka
common.buy 48.71 €
POESIE IN MUSICA Biagio Di Carlo E Mara Seccia / Knjiga Mehka
common.buy 10.83 €
Fragiler Pluralismus Hans-Georg Soeffner / Knjiga Mehka
common.buy 34.02 €
Die Septuaginta - Geschichte, Wirkung, Relevanz Martin Meiser / Knjiga Trda
common.buy 323.99 €
Auslandsinvestitionen Und Wahrungsrisiken Thomas Schäfer / Knjiga Mehka
common.buy 40.20 €
Anordnung zur Übertragung der Zuständigkeit für den Erlass von Widerspruchsbescheiden und der Vertretung bei Klagen von Beamten des Bundesinstituts fü Antiphon Verlag / Knjiga Preglednica
common.buy 8.09 €
Evaluación de Proyectos de Inversión Octavio Rolando Lara Martinez / Knjiga Mehka
common.buy 33.62 €
Teorias implicitas acerca del curriculo en profesores de secundaria Rojas Romero Jesus Gabriela / Knjiga Mehka
common.buy 54.58 €
Eenduisend-En-Een Grimmige Nagte Yolanda Faye Holden / Knjiga Mehka
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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Computer Aided Verification
Avtor Kousha Etessami, Sriram K. Rajamani
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2005
Število strani 568
EAN 9783540272311
ISBN 3540272313
Koda Libristo 01560845
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 1800
Mere 155 x 235 x 32

Kategorije

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

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

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?