Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 4.49 € DPD točka 3.99 € GLS Kurir 5.49 € GLS paketomat 4.49 € Hrvatska pošta 5.49 € Dostava Overseas 5.49 € Box Now 4.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Computer Aided Verification

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Aided Verification Kousha Etessami
Libristo kod: 01560845
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipanj 2005
This book constitutes the refereed proceedings of the 17th International Conference on Computer Aide... Cijeli opis
? points 249 b
102.27 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Koordinationstraining im Golf Marc Müller-Dargusch / Knjiga Meki uvez
common.buy 29.33 €
Les conditions de détention, condition de la détention Zientara-Logeay / Knjiga Meki uvez
common.buy 46.11 €
A l'aube des heures fertiles Debarle / Knjiga Meki uvez
common.buy 20.69 €
Fragiler Pluralismus Hans-Georg Soeffner / Knjiga Meki uvez
common.buy 35.76 €
Voyage au bout du monde Chang / Knjiga Meki uvez
common.buy 17.67 €
Anglické MAXI křížovky a osmisměrovky / Anglické MAXI krížovky a osemsmerovky / Knjiga Knjiga
common.buy 5.82 €
La Teolosis y la Mujer Dr Elvin Heredia Phd / Knjiga Meki uvez
common.buy 11.44 €
Per si un dia tornem María Dueñas / Knjiga Tvrdi uvez
common.buy 24.61 €
Promisi n CARLOS MAR OCANTOS / Knjiga Meki uvez
common.buy 19.68 €
Histoire des Associations familiales catholiques Michel Emmanuel / Knjiga Meki uvez
common.buy 24.40 €
Eenduisend-En-Een Grimmige Nagte Yolanda Faye Holden / Knjiga Meki uvez
common.buy 15.06 €
LE SYSTÈME JURIDICTIONNEL / Knjiga Meki uvez
common.buy 5.01 €
Trouble de la personnalité borderline - Pratiques thérapeutiques Stéphane Kolly / Knjiga Meki uvez
common.buy 49.52 €
Bombolles i tovallola MÜHLE JÖRG / Knjiga Tvrdi uvez
common.buy 16.67 €
Die Septuaginta - Geschichte, Wirkung, Relevanz Martin Meiser / Knjiga Tvrdi uvez
common.buy 413.23 €
Auslandsinvestitionen Und Wahrungsrisiken Thomas Schäfer / Knjiga Meki uvez
common.buy 42.29 €
Ausgewahlte Schriften des Lucian Julius Wilhelm Ewald Sommerbrodt / Knjiga Meki uvez
common.buy 20.49 €
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 List
common.buy 8.33 €
Gegenschlag Will Jordan / Knjiga Meki uvez
common.buy 10.84 €
Teorias implicitas acerca del curriculo en profesores de secundaria Rojas Romero Jesus Gabriela / Knjiga Meki uvez
common.buy 228.97 €
Evaluación de Proyectos de Inversión Octavio Rolando Lara Martinez / Knjiga Meki uvez
common.buy 35.36 €
POESIE IN MUSICA Biagio Di Carlo E Mara Seccia / Knjiga Meki uvez
common.buy 11.64 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Computer Aided Verification
Autor Kousha Etessami, Sriram K. Rajamani
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2005
Broj stranica 568
EAN 9783540272311
ISBN 3540272313
Libristo kod 01560845
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 1800
Dimenzije 155 x 235 x 32

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Contemporary Electroanalytical Chemistry A. Ivaska / Knjiga Tvrdi uvez
common.buy 204.35 €
Tibetan Terrier. Tibetan Terrier Dog Complete Owners Manual. Tibetan Terrier book for care, costs, feeding, grooming, health and training. George Hoppendale / Knjiga Meki uvez
common.buy 15.26 €
R Programming: A Step-by-Step Guide for Absolute Beginners Daniel Bell / Knjiga Meki uvez
common.buy 14.16 €
Airplantman Ashlee Goodwin / Knjiga Meki uvez
common.buy 13.25 €
Retail Fashion Manufacturing and Technology: It is all about make Charles Nesbit / Knjiga Meki uvez
common.buy 7.73 €
Big Data Hai Jin / Knjiga Meki uvez
common.buy 51.33 €
Illinois Deserves Better: The Ironclad Case for an Illinois Constitutional Convention Bruno Behrend / Knjiga Meki uvez
common.buy 11.44 €
Ucoa: The Biker Experience Thomas Zimmer / Knjiga Meki uvez
common.buy 56.46 €
The Medicine-Men of the Apache, Volume 9... John Gregory Bourke / Knjiga Meki uvez
common.buy 19.58 €
Sexual Mountain and Black Women Writers Calvin C. Hernton / Knjiga Meki uvez
common.buy 13.45 €
Rogues and Vagabonds George R Sims / Knjiga Meki uvez
common.buy 15.06 €
Flyleaf Volume One: 2014 Flyleaf Journal / Knjiga Meki uvez
common.buy 10.54 €
Journeys of Shattered Souls: : Absolution ? Mandy Steinfeldt Crane / Knjiga Meki uvez
common.buy 14.86 €
Small Business Accounting Tools Thomas Ward / Knjiga Meki uvez
common.buy 18.48 €
Intellectual Capital in German Non-profit Organisations Katrin Blankenburg / Knjiga Tvrdi uvez
common.buy 102.27 €
Handbook of Essential Oils K. Husnu Can Baser / Knjiga Tvrdi uvez
common.buy 359.68 €
The Claverings Anthony Trollope / Knjiga Meki uvez
common.buy 16.77 €
Everyday English, Book 1: Language Lessons For Intermediate Grades (1902) Jean Sherwood Rankin / Knjiga Tvrdi uvez
common.buy 43.90 €
Submissive Training More Sex More Fun Book Club / Knjiga Meki uvez
common.buy 15.97 €
Our World 6: Grammar Workbook CRANDALL SHIN / Knjiga List
common.buy 13.45 €
Max and Moritz Stefan Hollos / Knjiga Meki uvez
common.buy 21.49 €
Philosophy of Health, or, An Exposition of the Physical and Mental Constitution of Man Southwood 1788-1861 Smith / Knjiga Meki uvez
common.buy 27.42 €
Twochubbycubs Dinner Time Paul Anderson / Knjiga Tvrdi uvez
common.buy 21.49 €
Body Intelligence Ph.D. Joseph Cardillo / Audio knjiga MP3
common.buy 14.26 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?