A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Computer Aided Verification

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Computer Aided Verification David L. Dill
Libristo kód: 05274394
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, június 1994
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at S... Teljes leírás
? points 136 b
20 034 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

autunno caldo. Crisi ecologica, emergenza climatica e altre catastrofi innaturali Andrea Fantini / Könyv Puha kötésű
common.buy 7 863 Ft
Insegnare non basta. Essere un maestro nella scuola di oggi Marco Erba / Könyv Puha kötésű
common.buy 6 151 Ft
Orthodontische/chirurgische behandeling van verticale skeletdysplasie Priyanka Choudhary / Könyv Puha kötésű
common.buy 13 232 Ft
Google adwords CAUMONT / Könyv Könyv
common.buy 12 143 Ft
How to Stay Human in a F*cked-Up World (Spanish edition) Tim Desmond / E-könyv Adobe ePub DRM
common.buy 3 541 Ft
danza delle ombre. Spie, agenti e molti segreti Guido Olimpio / Könyv Kemény kötésű
common.buy 13 795 Ft
Puedes Preguntar Porque Dios Responde: Todo Lo Que Querías Saber Está Aquí Norma Flores / Könyv Puha kötésű
common.buy 3 983 Ft
BASICS Psychiatrie Anja Volz / Könyv Puha kötésű
common.buy 9 975 Ft
ARANCINI KUNST Malle Raudsepp / Könyv Puha kötésű
common.buy 12 822 Ft
Les cycles économiques Ferrara / Könyv Puha kötésű
common.buy 11 906 Ft
HuMan ???????? ?????? Hans-Jurgen Klaussner AR / E-könyv Adobe ePub DRM
common.buy 3 140 Ft
13 Gesetze der Weisheit Kim Barkmann / Könyv Puha kötésű
common.buy 5 960 Ft
Toplistás Hamarosan Új
Boruto - Two Blue Vortex 6 Mikio Ikemoto / Könyv Puha kötésű
common.buy 2 712 Ft
On Opened Ground Mark-Anthony Turnage / Nyomtatványok Kotta
common.buy 17 307 Ft
Citadino Mistico MOISES RODRIGUEZ / Könyv Puha kötésű
common.buy 3 229 Ft
Tagliche Mathe-UEbungen fur Klasse 5 Thomas Linke / Könyv Puha kötésű
common.buy 5 988 Ft
Geschichtsbilder Jürgen Aretz / Könyv Puha kötésű
common.buy 4 750 Ft
Gemeinschaft und Identität spätmittelalterlicher Kleinstädte Westfalens Guido Heinzmann / Könyv Puha kötésű
common.buy 12 199 Ft
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 / Könyv Puha kötésű
common.buy 8 896 Ft
El caballo, cría y manejo Enzo Berner / Könyv Puha kötésű
common.buy 8 896 Ft
Autobiografía de mi madre Jamaica Kincaid / Könyv Puha kötésű
common.buy 7 951 Ft
La Bíblia de tots Pilarín Bayés / Könyv Puha kötésű
common.buy 10 975 Ft
El teatro de vanguardia en Canarias. 1924-1936 Roberto Javier García de Mesa / Könyv Puha kötésű
common.buy 16 051 Ft
LE CHAT COULEUR MURAILLE PIANO GEORGES BIZET Könyv binding.
common.buy 3 955 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Computer Aided Verification
Szerző David L. Dill
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 1994
Oldalszám 486
EAN 9783540581796
ISBN 3540581790
Libristo kód 05274394
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 1520
Méretek 155 x 235 x 26

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány
Számítástechnika és információtechnológia > Számítógépes hardver > Hálózati hardver
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Operációs rendszerek
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Topology Optimization Martin Ph. Bendsoe / Könyv Puha kötésű
common.buy 55 886 Ft
Love Scrolls Edward Theodore Hayes / Könyv Kemény kötésű
common.buy 8 747 Ft
Exposition of Browning's 's Ordello' David Duff / Könyv Kemény kötésű
common.buy 12 911 Ft
Complete Works of Charles Dickens (in 30 Volumes, Illustrated) Charles Dickens / Könyv Puha kötésű
common.buy 8 910 Ft
Sparkcharts Calculus II Sparknotes LLC / Könyv Puha kötésű
common.buy 2 522 Ft
Sparky the Rescue Dog Saves the Day Gail Westover / Könyv Puha kötésű
common.buy 4 336 Ft
Broadway Michelle Young / Könyv Kemény kötésű
common.buy 9 663 Ft
Aid to the MRCP PACES Volume 1 - Stations 1 and 3 4e Robert E J Ryder / Könyv Puha kötésű
common.buy 28 092 Ft
Toplistás
Golden Kamuy, Vol. 1 Satoru Noda / Könyv Puha kötésű
common.buy 4 513 Ft
The Monastery Walter Scott / Könyv Puha kötésű
common.buy 9 561 Ft
War of the Seasons, Book Two: The Half-blood Janine K Spendlove / Könyv Puha kötésű
common.buy 6 774 Ft
Kanban: Visualize Work and Maximize Efficiency: Beyond the Basics Gary Metcalfe / Könyv Puha kötésű
common.buy 7 467 Ft
Weekly Self-Care Journal (Guided Journal): 52 Practices for Balance and Well-Being Katia Narain Phillips / Könyv Puha kötésű
common.buy 6 862 Ft
Perioperative Medicine Consult Handbook Molly Blackley Jackson / Könyv Puha kötésű
common.buy 24 714 Ft
Startup CEO Matt Blumberg / Könyv Kemény kötésű
common.buy 9 235 Ft
Secure And Policy Compliant Source Routing Rahul D / Könyv Puha kötésű
common.buy 19 122 Ft
My Mother, The Liar Ann Troup / E-könyv Adobe ePub DRM
common.buy 2 215 Ft
Handbook of Anti-Aging Medicine Mike Ks Chan / Könyv Puha kötésű
common.buy 73 310 Ft
Manual of Prayers / Könyv Kemény kötésű
common.buy 20 611 Ft
Toplistás Új
Outlaw Planet M. R. Carey / Könyv Puha kötésű
common.buy 4 159 Ft
Hamarosan
God Knows His Name David Bakke / Könyv Kemény kötésű
common.buy 19 932 Ft
Drop S. R. Masters / E-könyv Adobe ePub DRM
common.buy 2 759 Ft
Unpublished Opinions of the Burger Court Bernard Schwartz / Könyv Kemény kötésű
common.buy 50 857 Ft
Toplistás
Abandon the Old in Tokyo Yoshihiro Tatsumi / Könyv Puha kötésű
common.buy 5 327 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?