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 Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Computer Aided Verification

22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Computer Aided Verification Tayssir Touili
Koda Libristo: 01656210
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junij 2010
This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aide... Celoten opis
? points 267 b
110.49 €
Na zalogi pri dobavitelju Odposlali bomo v 14-21 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Aktuátorok modellezése és diagnosztikája mesterséges intelligenciával Viktor Füvesi / Knjiga Mehka
common.buy 46.29 €
Luoghi e itinerari della riviera del Brenta e del Miranese / Knjiga Mehka
common.buy 18.39 €
Harry Potter és a Félvér Herceg - Hollóhátas Joanne K. Rowling / Knjiga Trda
common.buy 21.22 €
A Business Proposal n? 03 Narak / Knjiga Mehka
common.buy 18.79 €
Plastic Hearts Miley Cyrus / Zvok Zvočni CD
common.buy 13.84 €
Flockies Krokodýl Camila - sběratelská figurka 5 cm / Igra/Igrača Igrača
common.buy 4.54 €
Vitametrie® Joachim Heuser / Knjiga Mehka
common.buy 15.15 €
Všetko o kúpeľni collegium / Knjiga Mehka
common.buy 2.72 €
Personalabrechnung Auf Den Punkt Marianne Kiepe / Knjiga Mehka
common.buy 75.31 €
Neue Briefe Wilhelm Von Humboldts an Schiller 1796-1803 Wilhelm von Humboldt / Knjiga Mehka
common.buy 40.02 €
Hermann von Salza Heinrich Hävernick / Knjiga Mehka
common.buy 22.33 €
Borkum einst und jetzt B. Huismann / Knjiga Mehka
common.buy 16.17 €
Israel Gerrit Michel / Knjiga Mehka
common.buy 44.67 €
Julian Assange, De la ética hacker a Wikileaks Gianluca Costantini / Knjiga Mehka
common.buy 17.18 €
Orta in giallo Erica Gibogini / Knjiga Mehka
common.buy 13.03 €
Mil trece ejercicios y juegos aplicados al balonmano Ponz Callen / Knjiga Mehka
common.buy 43.66 €
El Banco Mundial, el Fondo Monetario Internacional y los derechos humanos María Eugenia López-Jacoiste Díaz / Knjiga Mehka
common.buy 51.14 €
Cesta k rovnováze Pavel Kohout / Knjiga Mehka
common.buy 5.65 €
Macrobiotica Zen: El arte del rejuvenecimiento y de la longevidad Georges Ohsawa / Knjiga Mehka
common.buy 14.04 €
Inklusive Schule und Vielfalt Gottfried Biewer / Knjiga Mehka
common.buy 22.43 €

This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. The 34 revised full papers presented together with 17 tool papers, 4 invited talks and 3 invited tutorials were carefully reviewed and selected from 101 regular paper and 44 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for hardware and software systems. They are organized in topical sections on software model checking; model checking and automata; tools; counter and hybrid systems verification; memory consistency; verification of hardware and low level code; synthesis; concurrent program verification; compositional reasoning; and decision procedures.

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 Tayssir Touili, Byron Cook, Paul Jackson
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2010
Število strani 676
EAN 9783642142949
ISBN 364214294X
Koda Libristo 01656210
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 961
Mere 155 x 238 x 28

Kategorije

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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
Computing & Information Technology > Information technology: general issues
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

Speech Prosody in Speech Synthesis: Modeling and generation of prosody for high quality and flexible speech synthesis Keikichi Hirose / Knjiga Trda
common.buy 113.22 €
Spatial Analysis and GeoComputation Manfred M. Fischer / Knjiga Mehka
common.buy 102.90 €
Research in Computational Molecular Biology Benny Chor / Knjiga Mehka
common.buy 51.55 €
Early Bicycles and the Quest for Speed Andrew Ritchie / Knjiga Mehka
common.buy 42.75 €
Vtt Example Joint Author / Knjiga Mehka
common.buy 18.39 €
BAROQUE SPIRIT THE BOOK 1 NANCY EDITO BACHUS / Knjiga Mehka
common.buy 13.64 €
Euro-Orientalism Ezequiel Adamovsky / Knjiga Mehka
common.buy 90.17 €
It's Only Me John Underwood / E-knjiga Adobe ePub DRM
common.buy 21.93 €
Golden Chain Algis Uzdavinys / E-knjiga Adobe ePub DRM
common.buy 35.88 €
100 Things Bills Fans Should Know & Do Before They Die Jeffrey J. Miller / E-knjiga Adobe ePub DRM
common.buy 11.51 €
Pale Horse Rider Mark Jacobson / E-knjiga Adobe ePub DRM
common.buy 16.77 €
Researches on Increasing the Performances of Renewable Energy Sources Petru Livinti / Knjiga Mehka
common.buy 21.42 €
Laparoscopic Colorectal Surgery Mark Coleman / Knjiga Trda
common.buy 277.80 €
Finishers' Manual - Containing the Receipts of an Expert for Finishing the Bottoms of Boots and Shoe, as Well as Other Valuable Information E. T. Thayer / Knjiga Mehka
common.buy 16.17 €
Top
Moult and Ageing of European Passerines Lukas Jenni / Knjiga Trda
common.buy 80.16 €
More Than a Great Wedding 2: Creating Healthy Communities Where Relationships Thrive Daryl L Smith / Knjiga Mehka
common.buy 8.08 €
How To Create, Market & Sell Audiobooks: What Every Author Should Know About Audiobook Leland Benton / Knjiga Mehka
common.buy 9.80 €
The Pathfinder; Or, The Inland Sea James Fenimore Cooper / Knjiga Mehka
common.buy 8.08 €
Double Exposure: A Twin Autobiography Thelma Furness / Knjiga Trda
common.buy 47.20 €
Ink Stained Hands Jennifer Rapp / Knjiga Mehka
common.buy 14.04 €
C++ Reactive Programming Peter Abraham / Knjiga Mehka
common.buy 47.20 €
Practical Guide to Managing Clinical Trials Pfeiffer / Knjiga Mehka
common.buy 68.94 €
Top
Flash by Geoff Johns Omnibus Vol. 1 Geoff Johns / Knjiga Trda
common.buy 62.87 €
Human Magnetoreception Tyson Platt / Knjiga Mehka
common.buy 44.67 €

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?