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 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computer Aided Verification

6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Computer Aided Verification David L. Dill
Kod Libristo: 05274394
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 1994
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at S... Cały opis
? points 125 b
223.66 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

autunno caldo. Crisi ecologica, emergenza climatica e altre catastrofi innaturali Andrea Fantini / Książka Miękka
common.buy 90.30 zł
Insegnare non basta. Essere un maestro nella scuola di oggi Marco Erba / Książka Miękka
common.buy 70.51 zł
Orthodontische/chirurgische behandeling van verticale skeletdysplasie Priyanka Choudhary / Książka Miękka
common.buy 146.67 zł
Google adwords CAUMONT / Książka Książka
common.buy 134.17 zł
How to Stay Human in a F*cked-Up World (Spanish edition) Tim Desmond / E-book Adobe ePub DRM
common.buy 42.73 zł
danza delle ombre. Spie, agenti e molti segreti Guido Olimpio / Książka Twarda
common.buy 153.64 zł
Puedes Preguntar Porque Dios Responde: Todo Lo Que Querías Saber Está Aquí Norma Flores / Książka Miękka
common.buy 44.68 zł
BASICS Psychiatrie Anja Volz / Książka Miękka
common.buy 111.11 zł
ARANCINI KUNST Malle Raudsepp / Książka Miękka
common.buy 141.34 zł
Les cycles économiques Ferrara / Książka Miękka
common.buy 143.70 zł
HuMan ???????? ?????? Hans-Jurgen Klaussner AR / E-book Adobe ePub DRM
common.buy 38.12 zł
13 Gesetze der Weisheit Kim Barkmann / Książka Miękka
common.buy 66.00 zł
TOP Zapowiedź Nowość
Boruto - Two Blue Vortex 6 Mikio Ikemoto / Książka Miękka
common.buy 30.02 zł
On Opened Ground Mark-Anthony Turnage / Prasa Nuty
common.buy 209.30 zł
Citadino Mistico MOISES RODRIGUEZ / Książka Miękka
common.buy 36.48 zł
Tagliche Mathe-UEbungen fur Klasse 5 Thomas Linke / Książka Miękka
common.buy 66.41 zł
Geschichtsbilder Jürgen Aretz / Książka Miękka
common.buy 57.39 zł
Gemeinschaft und Identität spätmittelalterlicher Kleinstädte Westfalens Guido Heinzmann / Książka Miękka
common.buy 135.30 zł
Historia del mundo en el siglo XX : a través de las grandes biografías, novelas y películas Onésimo Díaz Hernández / Książka Miękka
common.buy 97.68 zł
El caballo, cría y manejo Enzo Berner / Książka Miękka
common.buy 97.16 zł
Autobiografía de mi madre Jamaica Kincaid / Książka Miękka
common.buy 95.73 zł
La Bíblia de tots Pilarín Bayés / Książka Miękka
common.buy 120.53 zł
El teatro de vanguardia en Canarias. 1924-1936 Roberto Javier García de Mesa / Książka Miękka
common.buy 179.07 zł
LE CHAT COULEUR MURAILLE PIANO GEORGES BIZET Książka binding.
common.buy 47.45 zł

This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993.The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.

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 David L. Dill
Język Angielski
Oprawa Książka - Miękka
Data wydania 1994
Liczba stron 486
EAN 9783540581796
ISBN 3540581790
Kod Libristo 05274394
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1520
Wymiary 155 x 235 x 26

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
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ć

Topology Optimization Martin Ph. Bendsoe / Książka Miękka
common.buy 623.73 zł
Love Scrolls Edward Theodore Hayes / Książka Twarda
common.buy 86.81 zł
Exposition of Browning's 's Ordello' David Duff / Książka Twarda
common.buy 145.24 zł
Complete Works of Charles Dickens (in 30 Volumes, Illustrated) Charles Dickens / Książka Miękka
common.buy 100.14 zł
Sparkcharts Calculus II Sparknotes LLC / Książka Miękka
common.buy 29.31 zł
Sparky the Rescue Dog Saves the Day Gail Westover / Książka Miękka
common.buy 48.47 zł
Broadway Michelle Young / Książka Twarda
common.buy 106.49 zł
Aid to the MRCP PACES Volume 1 - Stations 1 and 3 4e Robert E J Ryder / Książka Miękka
common.buy 308.12 zł
TOP
Golden Kamuy, Vol. 1 Satoru Noda / Książka Miękka
common.buy 51.35 zł
The Monastery Walter Scott / Książka Miękka
common.buy 107.21 zł
War of the Seasons, Book Two: The Half-blood Janine K Spendlove / Książka Miękka
common.buy 75.84 zł
Kanban: Visualize Work and Maximize Efficiency: Beyond the Basics Gary Metcalfe / Książka Miękka
common.buy 83.53 zł
Weekly Self-Care Journal (Guided Journal): 52 Practices for Balance and Well-Being Katia Narain Phillips / Książka Miękka
common.buy 76.36 zł
Perioperative Medicine Consult Handbook Molly Blackley Jackson / Książka Miękka
common.buy 299.51 zł
Startup CEO Matt Blumberg / Książka Twarda
common.buy 107.93 zł
Secure And Policy Compliant Source Routing Rahul D / Książka Miękka
common.buy 211.97 zł
My Mother, The Liar Ann Troup / E-book Adobe ePub DRM
common.buy 26.85 zł
Handbook of Anti-Aging Medicine Mike Ks Chan / Książka Miękka
common.buy 825.05 zł
Manual of Prayers / Książka Twarda
common.buy 227.24 zł
Outlaw Planet M. R. Carey / Książka Miękka
common.buy 46.83 zł
Zapowiedź
God Knows His Name David Bakke / Książka Twarda
common.buy 241.49 zł
Drop S. R. Masters / E-book Adobe ePub DRM
common.buy 33.30 zł
Unpublished Opinions of the Burger Court Bernard Schwartz / Książka Twarda
common.buy 563.05 zł
TOP
Abandon the Old in Tokyo Yoshihiro Tatsumi / Książka Miękka
common.buy 58.72 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?