A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Computer Aided Verification

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Computer Aided Verification Kousha Etessami
Libristo kód: 01560845
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, június 2005
This book constitutes the refereed proceedings of the 17th International Conference on Computer Aide... Teljes leírás
? points 271 b
39 740 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Bombolles i tovallola MÜHLE JÖRG / Könyv Kemény kötésű
common.buy 6 456 Ft
Ausgewahlte Schriften des Lucian Julius Wilhelm Ewald Sommerbrodt / Könyv Puha kötésű
common.buy 7 997 Ft
Promisi n CARLOS MAR OCANTOS / Könyv Puha kötésű
common.buy 7 396 Ft
La Teolosis y la Mujer Dr Elvin Heredia Phd / Könyv Puha kötésű
common.buy 4 313 Ft
Koordinationstraining im Golf Marc Müller-Dargusch / Könyv Puha kötésű
common.buy 11 153 Ft
A l'aube des heures fertiles Debarle / Könyv Puha kötésű
common.buy 8 145 Ft
Histoire des Associations familiales catholiques Michel Emmanuel / Könyv Puha kötésű
common.buy 9 552 Ft
Voyage au bout du monde Chang / Könyv Puha kötésű
common.buy 6 646 Ft
Trouble de la personnalité borderline - Pratiques thérapeutiques Stéphane Kolly / Könyv Puha kötésű
common.buy 18 933 Ft
Evaluación de Proyectos de Inversión Octavio Rolando Lara Martinez / Könyv Puha kötésű
common.buy 13 851 Ft
Fragiler Pluralismus Hans-Georg Soeffner / Könyv Puha kötésű
common.buy 13 912 Ft
Die Septuaginta - Geschichte, Wirkung, Relevanz Martin Meiser / Könyv Kemény kötésű
common.buy 128 486 Ft
Auslandsinvestitionen Und Wahrungsrisiken Thomas Schäfer / Könyv Puha kötésű
common.buy 16 452 Ft
Anordnung zur Übertragung der Zuständigkeit für den Erlass von Widerspruchsbescheiden und der Vertretung bei Klagen von Beamten des Bundesinstituts fü Antiphon Verlag / Könyv Lap
common.buy 3 212 Ft
Teorias implicitas acerca del curriculo en profesores de secundaria Rojas Romero Jesus Gabriela / Könyv Puha kötésű
common.buy 22 469 Ft
Eenduisend-En-Een Grimmige Nagte Yolanda Faye Holden / Könyv Puha kötésű
common.buy 5 711 Ft
POESIE IN MUSICA Biagio Di Carlo E Mara Seccia / Könyv Puha kötésű
common.buy 4 360 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Computer Aided Verification
Szerző Kousha Etessami, Sriram K. Rajamani
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2005
Oldalszám 568
EAN 9783540272311
ISBN 3540272313
Libristo kód 01560845
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 1800
Méretek 155 x 235 x 32

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Contemporary Electroanalytical Chemistry A. Ivaska / Könyv Kemény kötésű
common.buy 79 365 Ft
Everyday English, Book 1: Language Lessons For Intermediate Grades (1902) Jean Sherwood Rankin / Könyv Kemény kötésű
common.buy 16 452 Ft
Flyleaf Volume One: 2014 Flyleaf Journal / Könyv Puha kötésű
common.buy 3 962 Ft
Rogues and Vagabonds George R Sims / Könyv Puha kötésű
common.buy 5 692 Ft
Sexual Mountain and Black Women Writers Calvin C. Hernton / Könyv Puha kötésű
common.buy 5 123 Ft
Tibetan Terrier. Tibetan Terrier Dog Complete Owners Manual. Tibetan Terrier book for care, costs, feeding, grooming, health and training. George Hoppendale / Könyv Puha kötésű
common.buy 5 767 Ft
Ucoa: The Biker Experience Thomas Zimmer / Könyv Puha kötésű
common.buy 21 252 Ft
Big Data Hai Jin / Könyv Puha kötésű
common.buy 19 928 Ft
The Great Boer War Arthur Conan Doyle / Könyv Puha kötésű
common.buy 7 604 Ft
R Programming: A Step-by-Step Guide for Absolute Beginners Daniel Bell / Könyv Puha kötésű
common.buy 5 355 Ft
Handbook of Essential Oils K. Husnu Can Baser / Könyv Kemény kötésű
common.buy 135 016 Ft
The Medicine-Men of the Apache, Volume 9... John Gregory Bourke / Könyv Puha kötésű
common.buy 7 530 Ft
The Claverings Anthony Trollope / Könyv Puha kötésű
common.buy 6 313 Ft
Submissive Training More Sex More Fun Book Club / Könyv Puha kötésű
common.buy 6 030 Ft
Our World 6: Grammar Workbook CRANDALL SHIN / Könyv Lap
common.buy 5 109 Ft
Max and Moritz Stefan Hollos / Könyv Puha kötésű
common.buy 8 099 Ft
Philosophy of Health, or, An Exposition of the Physical and Mental Constitution of Man Southwood 1788-1861 Smith / Könyv Puha kötésű
common.buy 10 302 Ft
Body Intelligence Ph.D. Joseph Cardillo / Hangoskönyv MP3
common.buy 5 401 Ft
Decisive Endgame Mikael Carlson / Könyv Puha kötésű
common.buy 5 604 Ft
Digital Nomads B. Vincent / Könyv Puha kötésű
common.buy 4 887 Ft
Dior Fashion Unfolded Vol 02 TEAM FASHIONARY / Könyv Kemény kötésű
common.buy 7 604 Ft
Juan Sebastian Bach Dr Adalberto Garcia De Mendoza / Könyv Puha kötésű
common.buy 5 840 Ft
Hamarosan
Business Basics International Edition: Teacher's Book David Grant / Könyv Puha kötésű
common.buy 5 197 Ft
Handbook of Participatory Video E J Milne / Könyv Kemény kötésű
common.buy 77 620 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?