Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computer Aided Verification

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

Język AngielskiAngielski
Książka Miękka
Książka Computer Aided Verification Nicolas Halbwachs
Kod Libristo: 05274969
Wydawnictwo Springer, Berlin, listopad 1998
This book constitutes the refereed proceedings of the 11th International Conference on Computer Aide... Cały opis
? points 125 b
220.85 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Neurodermitis bewältigen Ulrich Stangier / Książka Miękka
common.buy 221.86 zł
Un nuevo comienzo Joel Osteen / Książka Miękka
common.buy 73.27 zł
Byłam kochanką arabskich szejków Laila Shukri / Książka Miękka
common.buy 32.48 zł
Conférences sur le rideau de Mme Caudle Douglas Jerrold / Książka Miękka
common.buy 71.75 zł
No me llames loca Girona / Audiobook MP3
common.buy 47.87 zł
MEGA MALBUCH - 300 SEITEN MIT TOLLEN MOTIVEN - SUPER EINFACH ZEICHNEN LERNEN UND ÜBEN - MIT EINIGEN FARBVORLAGEN Gabriele André / Książka Miękka
common.buy 114.47 zł
Necesidades energéticas y propuestas de instalaciones solares Bernabé Jiménez Padilla / Książka Miękka
common.buy 150.30 zł
La obra gruesa : unos apuntes de construcción Mañá Reixach / Książka Miękka
common.buy 134.31 zł
Herbst David Moody / Książka Miękka
common.buy 64.97 zł
Uglavnom su me voljele starije gospođe Aleksandar Stanković / Książka Twarda
common.buy 68.52 zł
Физико-химические основы развития и тушения пожаров. Учебное пособие Владимир Адамян / Książka Twarda
common.buy 133.90 zł
Столетняя война Э. Перруа / Książka Twarda
common.buy 133.90 zł
Diccionario de la lengua española / Książka Miękka
common.buy 43.82 zł
SOUL BOSSANOVA CONCERT BAND/HARMONIE -PARTITION+PARTIES SEPAREES QUINCY JONES Książka binding.
common.buy 755.99 zł
Aycha ou Le retour d'Elle - roman Haggard Książka Miękka
common.buy 105.87 zł
Camden Town - Allgemeine Ausgabe 2012 für Gymnasien. Bd.3 / Książka Karta
common.buy 42.70 zł
Schottische Hochlandrinder bei de Bollekammer (Puzzle) Elke Krone / Gra/Zabawka Gra
common.buy 192.91 zł
Compraventa y La Permuta Agrarias y Rusticas David Bernardo López Lluch / Książka Miękka
common.buy 111.13 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Computer Aided Verification
Autor Nicolas Halbwachs, Doron Peled
Język Angielski
Oprawa Książka - Miękka
Data wydania 1999
Liczba stron 506
EAN 9783540662020
ISBN 3540662022
Kod Libristo 05274969
Wydawnictwo Springer, Berlin
Waga 670
Wymiary 156 x 234 x 26

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Geometry and Analysis on Manifolds Toshikazu Sunada / Książka Miękka
common.buy 154.75 zł
Zapowiedź Nowość
Spy x Family Broschurkalender 2027 / Kalendarz/Pamiętnik Kalendarz
common.buy 59.30 zł
Literature Lost John M. Ellis / Książka Miękka
common.buy 155.26 zł
Within Reason: Rationality and Human Behavior Donald Calne / Książka Miękka
common.buy 80.16 zł
100 Families Samuel Willard Crompton / Książka Miękka
common.buy 33.60 zł
Memoirs of the Connecticut Academy of Arts & Sciences, Volumes 4-5 University / Książka Twarda
common.buy 143.42 zł
Word Detective John Simpson / Książka Miękka
common.buy 63.05 zł
Life In Its Rawest Form Qiana S Hicks / Książka Miękka
common.buy 57.99 zł
Essential Reproduction, 8th Edition Martin H. Johnson / Książka Miękka
common.buy 313.46 zł
The Whig Party: A Short-Lived Movement with a Long Legacy In60learning / Książka Miękka
common.buy 36.53 zł
Art and Meaning of Magic Israel Regardie / Książka Miękka
common.buy 123.17 zł
Ted Bundy: Conversations with a Killer: The Death Row Interviews Volume 1 Stephen G. Michaud / Książka Miękka
common.buy 64.26 zł
Tetrastatum Richard / Książka Miękka
common.buy 86.73 zł
Colorful Blessings Coloring Book: 20 Colorful Blessing Quote Mandala Coloring Pages For Adults Crystal Coloring Books / Książka Miękka
common.buy 40.78 zł
Cold Hands Cool Heart Richard H. Dieckhoff Jr / Książka Miękka
common.buy 59.00 zł
Home Thoughts for Mothers and Mother's Meetings (1869) Jane Ellice Hopkins / Książka Miękka
common.buy 98.78 zł
Homer, for Beginners. Iliad, Book 1-3, With Engl. Notes by T.K. Arnold Homerus / Książka Twarda
common.buy 131.27 zł
The Wind in the Willows Kate Hindley / Książka Twarda
common.buy 83.19 zł
Cease Buzzer!: Life as a U.S. Navy EA-6B Pilot in the Era of Top Gun J.P. Springett / Książka Twarda
common.buy 127.42 zł
The Wonderful Wizard of Oz Victor Tavares / Książka Twarda
common.buy 83.19 zł
The Widening of God`s Mercy – Sexuality Within the Biblical Story Christopher B Hays / Książka Twarda
common.buy 92.61 zł
El Hacho Sean Campbell / E-book Adobe ePub DRM
common.buy 10.42 zł
Adolescent Reputations and Risk Annemaree Carroll / Książka Miękka
common.buy 440.29 zł
Queequeg's Coffin Birgit Brander Rasmussen / Książka Miękka
common.buy 148.38 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?