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

Computer Aided Verification

11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Aided Verification Nicolas Halbwachs
Libristo kod: 05274969
Nakladnici Springer, Berlin, studeni 1998
This book constitutes the refereed proceedings of the 11th International Conference on Computer Aide... Cijeli opis
? points 125 b
51.68 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Neurodermitis bewältigen Ulrich Stangier / Knjiga Meki uvez
common.buy 51.88 €
Byłam kochanką arabskich szejków Laila Shukri / Knjiga Meki uvez
common.buy 9.30 €
Herbst David Moody / Knjiga Meki uvez
common.buy 15.16 €
48e Rencontres internationales de la photographie / Knjiga Tvrdi uvez
common.buy 53.60 €
MEGA MALBUCH - 300 SEITEN MIT TOLLEN MOTIVEN - SUPER EINFACH ZEICHNEN LERNEN UND ÜBEN - MIT EINIGEN FARBVORLAGEN Gabriele André / Knjiga Meki uvez
common.buy 26.80 €
Дракула Брэм Стокер / Knjiga Tvrdi uvez
common.buy 18.10 €
Regeneración de diferentes tipos de uso del suelo en la Alta Hanta H. M. S. P. Madawala / Knjiga Meki uvez
common.buy 44.50 €
Je suis arrivé! Bon, Presque! Dr. Rosie Kuhn / E-knjiga Adobe ePub DRM
common.buy 10.11 €
No me llames loca Girona / Audio knjiga MP3
common.buy 10.61 €
Conférences sur le rideau de Mme Caudle Douglas Jerrold / Knjiga Meki uvez
common.buy 16.78 €
Sechster Jahresbericht des Comites für ornithologische Beobachtungsstationen Dalla Torre / Knjiga Meki uvez
common.buy 23.05 €
Un nuevo comienzo Joel Osteen / Knjiga Meki uvez
common.buy 17.19 €
Necesidades energéticas y propuestas de instalaciones solares Bernabé Jiménez Padilla / Knjiga Meki uvez
common.buy 33.57 €
Mantenimiento del Software, modelos, técnicas y métodos para la gestión del cambio Mario G. Piattini Velthuis / Knjiga Meki uvez
common.buy 25.99 €
La obra gruesa : unos apuntes de construcción Mañá Reixach / Knjiga Meki uvez
common.buy 29.93 €
Schottische Hochlandrinder bei de Bollekammer (Puzzle) Elke Krone / Igra/Igračka Igra
common.buy 42.48 €
Ein Tiefes Geheimnis (Mystery-Krimi) Wilkie Collins / Knjiga Meki uvez
common.buy 13.14 €
Der Postbote klingelt immer zweimal James M. Cain / Knjiga Tvrdi uvez
common.buy 18.00 €
Compraventa y La Permuta Agrarias y Rusticas David Bernardo López Lluch / Knjiga Meki uvez
common.buy 25.99 €
Uglavnom su me voljele starije gospođe Aleksandar Stanković / Knjiga Tvrdi uvez
common.buy 13.14 €
Pripremamo
Amtliches Lohnsteuer-Handbuch 2021 Bundesministerium der Finanzen / Knjiga Meki uvez
common.buy 16.58 €
Aycha ou Le retour d'Elle - roman Haggard Knjiga Meki uvez
common.buy 23.26 €
Problématique de la mise en oeuvre de la gestion intégrée de l'eau Naoual BAGHLI-MERABET / Knjiga Meki uvez
common.buy 55.12 €
SOUL BOSSANOVA CONCERT BAND/HARMONIE -PARTITION+PARTIES SEPAREES QUINCY JONES Knjiga binding.
common.buy 168.82 €

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.

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 Nicolas Halbwachs, Doron Peled
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1999
Broj stranica 506
EAN 9783540662020
ISBN 3540662022
Libristo kod 05274969
Nakladnici Springer, Berlin
Težina 670
Dimenzije 156 x 234 x 26

Kategorija

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

Geometry and Analysis on Manifolds Toshikazu Sunada / Knjiga Meki uvez
common.buy 36.20 €
Literature Lost John M. Ellis / Knjiga Meki uvez
common.buy 38.03 €
Pripremamo Novo
Spy x Family Broschurkalender 2027 / Kalendar/Rokovnik Kalendar
common.buy 13.85 €
Within Reason: Rationality and Human Behavior Donald Calne / Knjiga Meki uvez
common.buy 18.70 €
100 Families Samuel Willard Crompton / Knjiga Meki uvez
common.buy 7.37 €
The Fund Manager's Marketing Manifesto Dennis Ford / Knjiga Meki uvez
common.buy 23.76 €
Memoirs of the Connecticut Academy of Arts & Sciences, Volumes 4-5 University / Knjiga Tvrdi uvez
common.buy 33.57 €
Iron Moon: An Anthology of Chinese Worker Poetry Eleanor Goodman / Knjiga Meki uvez
common.buy 12.84 €
Word Detective John Simpson / Knjiga Meki uvez
common.buy 14.25 €
Life In Its Rawest Form Qiana S Hicks / Knjiga Meki uvez
common.buy 13.54 €
Essential Reproduction, 8th Edition Martin H. Johnson / Knjiga Meki uvez
common.buy 70.40 €
The Whig Party: A Short-Lived Movement with a Long Legacy In60learning / Knjiga Meki uvez
common.buy 8.59 €
Art and Meaning of Magic Israel Regardie / Knjiga Meki uvez
common.buy 28.72 €
Ted Bundy: Conversations with a Killer: The Death Row Interviews Volume 1 Stephen G. Michaud / Knjiga Meki uvez
common.buy 15.06 €
Tetrastatum Richard / Knjiga Meki uvez
common.buy 20.32 €
Colorful Blessings Coloring Book: 20 Colorful Blessing Quote Mandala Coloring Pages For Adults Crystal Coloring Books / Knjiga Meki uvez
common.buy 9.50 €
Cold Hands Cool Heart Richard H. Dieckhoff Jr / Knjiga Meki uvez
common.buy 13.75 €
Home Thoughts for Mothers and Mother's Meetings (1869) Jane Ellice Hopkins / Knjiga Meki uvez
common.buy 23.05 €
Unicompartmental Knee Arthroplasty Richard D. Scott / Knjiga Tvrdi uvez
common.buy 169.93 €
Homer, for Beginners. Iliad, Book 1-3, With Engl. Notes by T.K. Arnold Homerus / Knjiga Tvrdi uvez
common.buy 30.74 €
The Wind in the Willows Kate Hindley / Knjiga Tvrdi uvez
common.buy 19.41 €
Cease Buzzer!: Life as a U.S. Navy EA-6B Pilot in the Era of Top Gun J.P. Springett / Knjiga Tvrdi uvez
common.buy 29.83 €
The Wonderful Wizard of Oz Victor Tavares / Knjiga Tvrdi uvez
common.buy 19.41 €
The Widening of God`s Mercy – Sexuality Within the Biblical Story Christopher B Hays / Knjiga Tvrdi uvez
common.buy 21.64 €

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