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 €
Un nuevo comienzo Joel Osteen / Knjiga Meki uvez
common.buy 17.19 €
Byłam kochanką arabskich szejków Laila Shukri / Knjiga Meki uvez
common.buy 9.30 €
Conférences sur le rideau de Mme Caudle Douglas Jerrold / Knjiga Meki uvez
common.buy 16.78 €
No me llames loca Girona / Audio knjiga MP3
common.buy 10.61 €
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 €
Necesidades energéticas y propuestas de instalaciones solares Bernabé Jiménez Padilla / Knjiga Meki uvez
common.buy 33.68 €
La obra gruesa : unos apuntes de construcción Mañá Reixach / Knjiga Meki uvez
common.buy 30.03 €
Herbst David Moody / Knjiga Meki uvez
common.buy 15.16 €
Uglavnom su me voljele starije gospođe Aleksandar Stanković / Knjiga Tvrdi uvez
common.buy 13.14 €
Физико-химические основы развития и тушения пожаров. Учебное пособие Владимир Адамян / Knjiga Tvrdi uvez
common.buy 29.53 €
Столетняя война Э. Перруа / Knjiga Tvrdi uvez
common.buy 29.53 €
Diccionario de la lengua española / Knjiga Meki uvez
common.buy 9.80 €
SOUL BOSSANOVA CONCERT BAND/HARMONIE -PARTITION+PARTIES SEPAREES QUINCY JONES Knjiga binding.
common.buy 169.13 €
Aycha ou Le retour d'Elle - roman Haggard Knjiga Meki uvez
common.buy 23.66 €
Camden Town - Allgemeine Ausgabe 2012 für Gymnasien. Bd.3 / Knjiga List
common.buy 10.00 €
Schottische Hochlandrinder bei de Bollekammer (Puzzle) Elke Krone / Igra/Igračka Igra
common.buy 42.68 €
Compraventa y La Permuta Agrarias y Rusticas David Bernardo López Lluch / Knjiga Meki uvez
common.buy 25.99 €

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 €
Pripremamo Novo
Spy x Family Broschurkalender 2027 / Kalendar/Rokovnik Kalendar
common.buy 13.85 €
Literature Lost John M. Ellis / Knjiga Meki uvez
common.buy 38.03 €
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 €
Memoirs of the Connecticut Academy of Arts & Sciences, Volumes 4-5 University / Knjiga Tvrdi uvez
common.buy 33.57 €
Word Detective John Simpson / Knjiga Meki uvez
common.buy 14.76 €
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.82 €
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 €
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 22.85 €
The Widening of God`s Mercy – Sexuality Within the Biblical Story Christopher B Hays / Knjiga Tvrdi uvez
common.buy 21.64 €
El Hacho Sean Campbell / E-knjiga Adobe ePub DRM
common.buy 2.32 €
Adolescent Reputations and Risk Annemaree Carroll / Knjiga Meki uvez
common.buy 102.97 €
Queequeg's Coffin Birgit Brander Rasmussen / Knjiga Meki uvez
common.buy 34.69 €

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?