Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computer Aided Verification

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

Język AngielskiAngielski
Książka Miękka
Książka Computer Aided Verification Kousha Etessami
Kod Libristo: 01560845
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2005
This book constitutes the refereed proceedings of the 17th International Conference on Computer Aide... Cały opis
? points 249 b
436.59 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Bombolles i tovallola MÜHLE JÖRG / Książka Twarda
common.buy 70.95 zł
Ausgewahlte Schriften des Lucian Julius Wilhelm Ewald Sommerbrodt / Książka Miękka
common.buy 87.21 zł
La Teolosis y la Mujer Dr Elvin Heredia Phd / Książka Miękka
common.buy 47.46 zł
Koordinationstraining im Golf Marc Müller-Dargusch / Książka Miękka
common.buy 132.98 zł
A l'aube des heures fertiles Debarle / Książka Miękka
common.buy 97.25 zł
Histoire des Associations familiales catholiques Michel Emmanuel / Książka Miękka
common.buy 114.01 zł
Voyage au bout du monde Chang / Książka Miękka
common.buy 72.66 zł
Trouble de la personnalité borderline - Pratiques thérapeutiques Stéphane Kolly / Książka Miękka
common.buy 226.02 zł
POESIE IN MUSICA Biagio Di Carlo E Mara Seccia / Książka Miękka
common.buy 48.37 zł
Fragiler Pluralismus Hans-Georg Soeffner / Książka Miękka
common.buy 152.45 zł
Die Septuaginta - Geschichte, Wirkung, Relevanz Martin Meiser / Książka Twarda
common.buy 1 496.48 zł
Auslandsinvestitionen Und Wahrungsrisiken Thomas Schäfer / Książka Miękka
common.buy 180.25 zł
Anordnung zur Übertragung der Zuständigkeit für den Erlass von Widerspruchsbescheiden und der Vertretung bei Klagen von Beamten des Bundesinstituts fü Antiphon Verlag / Książka Karta
common.buy 38.23 zł
Evaluación de Proyectos de Inversión Octavio Rolando Lara Martinez / Książka Miękka
common.buy 151.14 zł
Teorias implicitas acerca del curriculo en profesores de secundaria Rojas Romero Jesus Gabriela / Książka Miękka
common.buy 245.29 zł
Eenduisend-En-Een Grimmige Nagte Yolanda Faye Holden / Książka Miękka
common.buy 63.02 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Computer Aided Verification
Autor Kousha Etessami, Sriram K. Rajamani
Język Angielski
Oprawa Książka - Miękka
Data wydania 2005
Liczba stron 568
EAN 9783540272311
ISBN 3540272313
Kod Libristo 01560845
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1800
Wymiary 155 x 235 x 32

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Contemporary Electroanalytical Chemistry A. Ivaska / Książka Twarda
common.buy 871.89 zł
Everyday English, Book 1: Language Lessons For Intermediate Grades (1902) Jean Sherwood Rankin / Książka Twarda
common.buy 182.16 zł
Flyleaf Volume One: 2014 Flyleaf Journal / Książka Miękka
common.buy 43.75 zł
Rogues and Vagabonds George R Sims / Książka Miękka
common.buy 62.92 zł
The Claverings Anthony Trollope / Książka Miękka
common.buy 69.75 zł
Sexual Mountain and Black Women Writers Calvin C. Hernton / Książka Miękka
common.buy 55.90 zł
Ucoa: The Biker Experience Thomas Zimmer / Książka Miękka
common.buy 234.55 zł
Big Data Hai Jin / Książka Miękka
common.buy 218.99 zł
The Great Boer War Arthur Conan Doyle / Książka Miękka
common.buy 83.90 zł
R Programming: A Step-by-Step Guide for Absolute Beginners Daniel Bell / Książka Miękka
common.buy 59.01 zł
Handbook of Essential Oils K. Husnu Can Baser / Książka Twarda
common.buy 1 358.07 zł
The Medicine-Men of the Apache, Volume 9... John Gregory Bourke / Książka Miękka
common.buy 81.59 zł
Tibetan Terrier. Tibetan Terrier Dog Complete Owners Manual. Tibetan Terrier book for care, costs, feeding, grooming, health and training. George Hoppendale / Książka Miękka
common.buy 63.72 zł
Submissive Training More Sex More Fun Book Club / Książka Miękka
common.buy 66.53 zł
Our World 6: Grammar Workbook CRANDALL SHIN / Książka Karta
common.buy 81.79 zł
Max and Moritz Stefan Hollos / Książka Miękka
common.buy 89.52 zł
Philosophy of Health, or, An Exposition of the Physical and Mental Constitution of Man Southwood 1788-1861 Smith / Książka Miękka
common.buy 114.01 zł
Body Intelligence Ph.D. Joseph Cardillo / Audiobook MP3
common.buy 64.13 zł
Decisive Endgame Mikael Carlson / Książka Miękka
common.buy 62.02 zł
Digital Nomads B. Vincent / Książka Miękka
common.buy 54.09 zł
Dior Fashion Unfolded Vol 02 TEAM FASHIONARY / Książka Twarda
common.buy 82.49 zł
Culture, Ethnicity, and Personal Relationship Processes Gaines / Książka Twarda
common.buy 842.28 zł
Business Basics International Edition: Teacher's Book David Grant / Książka Miękka
common.buy 65.33 zł
Handbook of Participatory Video E J Milne / Książka Twarda
common.buy 851.11 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo