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 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Automated Technology for Verification and Analysis

7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Automated Technology for Verification and Analysis Zhiming Liu
Libristo kod: 01650641
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, rujan 2009
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for... Cijeli opis
? points 125 b
51.53 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

The Call of the Wild (Spanish Edition) / La llamada de lo Salvaje Jack London / Knjiga Tvrdi uvez
common.buy 13.20 €
Vitae Paparum Avenionensium V3 (1921) Etienne Baluze / Knjiga Meki uvez
common.buy 43.77 €
Top
Obrázková němčina 5 jídlo Petr Kupka / Knjiga Knjiga
common.buy 0.90 €
Пересвет Виктор Поротников / Knjiga Tvrdi uvez
common.buy 15.62 €
Le Petit livre des proverbes, 2e éd. Sylvie H. Brunet / Knjiga Meki uvez
common.buy 5.94 €
Novo
Arcobaleni Yasunari Kawabata / Knjiga Meki uvez
common.buy 14.82 €
Adventní kalendář – Minecraft / Knjiga Tvrdi uvez
common.buy 23.89 €
#dkinfografik. Management einfach erklärt Alexandra Black / Knjiga Tvrdi uvez
common.buy 16.94 €
uomo blu e le rose. Antoine de Saint-Exupéry ad Alghero Savina Dolores Massa / Knjiga Tvrdi uvez
common.buy 29.75 €
Serie estampar con selllos nº 1. CREAR ORIGINALES SELLOS CON TACOS DE MADERA Y G HEIKE ROLAND / Knjiga Meki uvez
common.buy 6.95 €
Graues Meer und blaue Sonnen Nathan Jaeger / Knjiga Meki uvez
common.buy 12.30 €
Terradentro XOSE BENITO REZA / Knjiga Meki uvez
common.buy 22.28 €
Musik-Stars - Grundwissen 3./4. Schuljahr - Übungsheft mit Lösungen und Audio-CD Solveig Wezel / Knjiga Meki uvez
common.buy 12.30 €
Ouroboros Joel Gissy / Knjiga Meki uvez
common.buy 6.75 €
Inklusion und Exklusion in der Sozialen Arbeit Roland Merten / Knjiga Meki uvez
common.buy 62.43 €
Contemporary Sculpture II : worked stone Inez Gitzinger-Albrecht / Knjiga Meki uvez
common.buy 27.63 €
Mito del Trabajo En Equipo Eugenio Ramírez / Knjiga Meki uvez
common.buy 52.44 €
(ADHS) bei arabischen Kindern im Grundschulalter in Berlin Hanan Lattouf / Knjiga Meki uvez
common.buy 62.12 €
Kooperation in Der Erwachsenenbildung: Determinanten, Auspr gungen Und Leistung Elvira Helmer / Knjiga Meki uvez
common.buy 52.94 €
Hindi-Großstadtgeschichten, m. MP3-CD Hannelore Lötzke / Knjiga Meki uvez
common.buy 18.95 €
Georgische Verbtabellen Steffi Chotiwari-Jünger / Knjiga Meki uvez
common.buy 21.68 €
La femme de trente ans./Die Drau von dreissig Jahren. German Honoré de Balzac / Knjiga Tvrdi uvez
common.buy 20.47 €
Informationstechnologie - Einzelbände Thomas Schneider / Knjiga List
common.buy 15.83 €
Top
Matematika pro 5. ročník ZŠ 2.díl Jaroslava Justová / Knjiga Meki uvez
common.buy 2.81 €

This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. §The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. §The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant 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 Automated Technology for Verification and Analysis
Autor Zhiming Liu, Anders P. Ravn
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2009
Broj stranica 414
EAN 9783642047602
ISBN 3642047602
Libristo kod 01650641
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 652
Dimenzije 155 x 235 x 24

Kategorija

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
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

Decision Making in Radiation Oncology Jiade J. Lu / Knjiga Tvrdi uvez
common.buy 234.30 €
Design Characteristics of Virtual Learning Environments Daniel Müller / Knjiga Meki uvez
common.buy 51.53 €
What is Medieval History? John H. Arnold / Knjiga Meki uvez
common.buy 19.56 €
Price Behaviour of Major Crops in Bangladesh: An Empirical Analysis Shakila Salam / Knjiga Meki uvez
common.buy 60.41 €
Historical Notices of the Edifice Called the King's Manor, Situate Near the Walls of the City of York. [an Offprint from the Twenty-Ninth Report of th Anthony Buckle / Knjiga Meki uvez
common.buy 14.11 €
Author's Daughter. [A Novel.] Catherine Helen Spence / Knjiga Meki uvez
common.buy 24.30 €
The Great Pyramid And Theology Joseph A. Seiss / Knjiga Meki uvez
common.buy 18.35 €
Sharon's Poems of Life, Love, and Liberty Sharon Wiegand / Knjiga Meki uvez
common.buy 15.22 €
Self Love and the Healing of Our Animal Friends Betsy Adams / Knjiga Tvrdi uvez
common.buy 22.28 €
Different Shades of Gray Sand Q Perry / Knjiga Meki uvez
common.buy 19.26 €
SUPERCLASS David Rothkopf / Knjiga Meki uvez
common.buy 22.28 €
The Crowd Sounds Happy: A Story of Love and Madness in an American Family Nicholas Dawidoff / Knjiga Meki uvez
common.buy 20.06 €
Essentials of Environmental Science Andrew Friedland / Knjiga Meki uvez
common.buy 292.10 €
Tapping Student Effort: Increasing Student Achievement Stephen G. Barkley / Knjiga Meki uvez
common.buy 24.20 €
THE COLLOQUIAL FRENCH READER; OR, INTERE LOUIS FASQUELLE / Knjiga Tvrdi uvez
common.buy 33.48 €
Problems And Solutions In Mathematical Olympiad (High School 1) Zhigang Feng / Knjiga Tvrdi uvez
common.buy 133.94 €
Security, Development and the Fragile State Yiagadeesen Samy / Knjiga Tvrdi uvez
common.buy 236.22 €
Conceptual Structure in Childhood and Adolescence Christine Howe / Knjiga Meki uvez
common.buy 58.39 €
What A Trip It Was John Brookes / Knjiga Meki uvez
common.buy 14.01 €
Defiance: Fall of an Empire Tom Ryker / Knjiga Meki uvez
common.buy 18.35 €
Follies in Fragile States: How international stabilisation failed in the Congo Ian D Quick / Knjiga Meki uvez
common.buy 14.82 €
From the Land of the Snow Pearls: Tales from Puget Sound (1902) Ella Higginson / Knjiga Meki uvez
common.buy 29.64 €
Costa Del Social Joanne St. Clair / Knjiga Meki uvez
common.buy 7.86 €
Creative Haven Beautiful Bible Blessings Coloring Book Jessica Mazurkiewicz / Knjiga Meki uvez
common.buy 6.75 €

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?