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

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
218.69 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

LE CHAT COULEUR MURAILLE PIANO GEORGES BIZET Książka binding.
common.buy 46.70 zł
Google adwords CAUMONT / Książka Książka
common.buy 144.32 zł
Insegnare non basta. Essere un maestro nella scuola di oggi Marco Erba / Książka Miękka
common.buy 69.25 zł
Zapowiedź Nowość
Boruto - Two Blue Vortex 6 Mikio Ikemoto / Książka Miękka
common.buy 29.36 zł
Orthodontische/chirurgische behandeling van verticale skeletdysplasie Priyanka Choudhary / Książka Miękka
common.buy 143.41 zł
danza delle ombre. Spie, agenti e molti segreti Guido Olimpio / Książka Twarda
common.buy 99.72 zł
autunno caldo. Crisi ecologica, emergenza climatica e altre catastrofi innaturali Andrea Fantini / Książka Miękka
common.buy 88.69 zł
MES RECETTES PRÉFÉRÉES - Cahier à remplir Foodcuis' / Książka Miękka
common.buy 57.92 zł
BASICS Psychiatrie Anja Volz / Książka Miękka
common.buy 108.64 zł
ARANCINI KUNST Malle Raudsepp / Książka Miękka
common.buy 138.20 zł
Les cycles économiques Ferrara / Książka Miękka
common.buy 141.01 zł
HuMan ???????? ?????? Hans-Jurgen Klaussner AR / E-book Adobe ePub DRM
common.buy 37.27 zł
El caballo, cría y manejo Enzo Berner / Książka Miękka
common.buy 105.53 zł
13 Gesetze der Weisheit Kim Barkmann / Książka Miękka
common.buy 64.54 zł
On Opened Ground Mark-Anthony Turnage / Prasa Nuty
common.buy 205.16 zł
Citadino Mistico MOISES RODRIGUEZ / Książka Miękka
common.buy 35.67 zł
Tagliche Mathe-UEbungen fur Klasse 5 Thomas Linke / Książka Miękka
common.buy 64.94 zł
Geschichtsbilder Jürgen Aretz / Książka Miękka
common.buy 56.32 zł
Gemeinschaft und Identität spätmittelalterlicher Kleinstädte Westfalens Guido Heinzmann / Książka Miękka
common.buy 132.29 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 105.53 zł
Wall Street Options Strategy: Everyone Can Learn Covered Calls Dr Iris Marie Mack Phd / Książka Miękka
common.buy 43.69 zł
Autobiografía de mi madre Jamaica Kincaid / Książka Miękka
common.buy 94.10 zł
La Bíblia de tots Pilarín Bayés / Książka Miękka
common.buy 130.19 zł
El teatro de vanguardia en Canarias. 1924-1936 Roberto Javier García de Mesa / Książka Miękka
common.buy 190.32 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 609.87 zł
Open Heart Surgery Carlos Robinson / Książka Miękka
common.buy 77.47 zł
Secure And Policy Compliant Source Routing Rahul D / Książka Miękka
common.buy 207.26 zł
Roadside History Thomas H. Appleton Jr / Książka Miękka
common.buy 85.89 zł
Love Scrolls Edward Theodore Hayes / Książka Twarda
common.buy 96.61 zł
Complete Works of Charles Dickens (in 30 Volumes, Illustrated) Charles Dickens / Książka Miękka
common.buy 97.91 zł
Sparkcharts Calculus II Sparknotes LLC / Książka Miękka
common.buy 28.65 zł
Sparky the Rescue Dog Saves the Day Gail Westover / Książka Miękka
common.buy 47.40 zł
Broadway Michelle Young / Książka Twarda
common.buy 104.13 zł
Manual of Prayers / Książka Twarda
common.buy 222.19 zł
Exposition of Browning's 's Ordello' David Duff / Książka Twarda
common.buy 142.01 zł
TOP
Golden Kamuy, Vol. 1 Satoru Noda / Książka Miękka
common.buy 50.20 zł
My Mother, The Liar Ann Troup / E-book Adobe ePub DRM
common.buy 26.25 zł
The Monastery Walter Scott / Książka Miękka
common.buy 104.83 zł
War of the Seasons, Book Two: The Half-blood Janine K Spendlove / Książka Miękka
common.buy 74.16 zł
Kanban: Visualize Work and Maximize Efficiency: Beyond the Basics Gary Metcalfe / Książka Miękka
common.buy 81.68 zł
Weekly Self-Care Journal (Guided Journal): 52 Practices for Balance and Well-Being Katia Narain Phillips / Książka Miękka
common.buy 72.76 zł
Perioperative Medicine Consult Handbook Molly Blackley Jackson / Książka Miękka
common.buy 293.05 zł
TOP
Startup CEO Matt Blumberg / Książka Twarda
common.buy 105.63 zł
First Generation Student Experience Jeff Davis / Książka Miękka
common.buy 186.61 zł
Abandon the Old in Tokyo Yoshihiro Tatsumi / Książka Miękka
common.buy 59.32 zł
Unpublished Opinions of the Burger Court Bernard Schwartz / Książka Twarda
common.buy 550.54 zł
Authority and Markets Susan Strange / Książka Miękka
common.buy 247.55 zł
Benzofurans A. Mustafa / Książka Twarda
common.buy 2 462.18 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