Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Computer Aided Verification

Fourth International Workshop CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Computer Aided Verification Gregor von Bochmann
Codul Libristo: 05274299
Editura Springer, Berlin, noiembrie 1992
This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), h... Descrierea completă
? points 132 b
284.91 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Top
Taška nákupní skládací 50x42cm "Miluj a žij" Sri Chinmoy / Joc / Jucărie Jucărie
common.buy 42.78 lei
Maravillas de Latinoamérica Digital Polyglot / Carte Carte broșată
common.buy 74.15 lei
DISNEY. 5 MINUTOS PARA SOÑAR. GRANDES CLÁSICOS Disney / Carte Carte broșată
common.buy 66.57 lei
Monaco Motor Racing FREI WOLFGANG / Carte Copertă tare
common.buy 854.03 lei
Grammatica per ragazzi Mina Ricci / Carte Carte broșată
common.buy 121.11 lei
Groß werden mit den Schlümpfen: Der Schlumpf, der nicht nett war Peyo / E-book Adobe ePub DRM
common.buy 40.19 lei
PAW Paw Patroller 3.0 / Joc / Jucărie Jucărie
common.buy 457.44 lei
Just ONE more chapter - Mein Bookjournal / Carte Copertă tare
common.buy 70.93 lei
K VOPROSU O POVEDENII GEODEZIChESKIH NA GIPERBOLIChESKIH MNOGOOBRAZIYaH Vladimir Vasil'ewich Balkan / Carte Carte broșată
common.buy 369.46 lei
Учебник логики Георгий Челпанов / Carte Copertă tare
common.buy 91.50 lei
De dioses a demonios : la demonización de los dioses prehispánicos en el arte indígena cristiano Jose Luis Perez Flores / E-book Adobe ePub DRM
common.buy 126.51 lei
L'islam - punition ou salut..? Bernd Michael Grosch / Carte Carte broșată
common.buy 57.74 lei
Ausbau des Steuerwesens. Finanzpolitik unter Philipp dem Grossmutigen. Lutz Benseler / Carte Carte broșată
common.buy 89.53 lei
Homosexualitat in der Einwanderungsgesellschaft. Ein Clash of Cultures? Nelson Muller / Carte Carte broșată
common.buy 89.53 lei
Laboratorio Virtual En Apoyo a la Habilidad Ensamblar Computadoras Leomelys López / Carte Carte broșată
common.buy 193.19 lei
1493 - 1815 Wilhelm G. Grewe / Carte Copertă tare
common.buy 1 634.00 lei
Histoire de la Vie Et Des Ouvrages de Francois Bacon. T. 2 Jean-Baptiste De Vauzelles / Carte Carte broșată
common.buy 143.64 lei
Que el discreto se admire de la invención Giussani / Carte Carte broșată
common.buy 70.31 lei
Psicología del género : implicaciones en la vida cotidiana María Pilar . . . [et al. ] Matud Aznar / Carte Carte broșată
common.buy 99.71 lei
Atención y gestión de llamadas entrantes en un servicio de teleasistencia : optimización del servicio al usuario JESSICA ANDRES SENDRA / Carte Carte broșată
common.buy 161.82 lei
L'Oracle de la Destinée - Votre guide magique pour un meilleur avenir Lucy Cavendish / Carte Copertă tare
common.buy 161.82 lei
2084. El fin del mundo BOUALEM SANSAL / Carte Carte broșată
common.buy 147.70 lei
L'Assommoir Emilie Zola / Carte Carte broșată
common.buy 197.87 lei
Premiere Chasse de Jujules Et Son Lendemain Hetzel-P-J / Carte Carte broșată
common.buy 80.08 lei

This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computer-aided verification of concurrent systems. The workshops provide an opportunity for comparing various verification methods and practical tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing results to real verification problems.The volume contains 31 papers selected from 75 submissions.These are organized into parts on reduction techniques, proof checking, symbolic verification, timing verification, partial-order approaches, case studies, model and proofchecking, and other approaches. The volume starts with an invited lecture by Leslie Lamport entitled "Computer-hindered verification (humans can do it too)".

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Computer Aided Verification
Autor Gregor von Bochmann, David K. Probst
Limba engleză
Legare Carte - Carte broșată
Data publicării 1993
Număr pagini 426
EAN 9783540564966
ISBN 3540564969
Codul Libristo 05274299
Editura Springer, Berlin
Greutatea 574
Dimensiuni 155 x 233 x 22

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Judicial Interpretation of Political Theory: A Study in the Relation of the Courts to the American Party System. William Bennett Bizzell / Carte Carte broșată
common.buy 157.04 lei
Singular Eric Warren / E-book Adobe ePub DRM
common.buy 22.95 lei
Field Instruction Suanna Wilson / Carte Carte broșată
common.buy 129.10 lei
Adventures of a Three-Guinea Watch Talbot B Reed / Carte Copertă tare
common.buy 163.28 lei
My Science Journal Karla Ritzen / Carte Carte broșată
common.buy 67.92 lei
The Background Of The Gospels Or Judaism In The Period Between The Old And New Testaments William Fairweather / Carte Carte broșată
common.buy 183.84 lei
Strategies to Enhance Air Force Communication with Internal and External Audiences: A Workshop Report Committee on Strategies to Enhance Air F / Carte Carte broșată
common.buy 280.96 lei
Awakening Nakala Akasie / Carte Carte broșată
common.buy 87.55 lei
The Letters of Henry James (volume I) Percy Lubbock / Carte Carte broșată
common.buy 125.26 lei
Psychological Assessment and the Priestly and Religious Formation: Myths and Facts Angela a Egbikuadje / Carte Carte broșată
common.buy 66.78 lei
Fallen Feathers Adam Howorth / Carte Copertă tare
common.buy 132.12 lei
Top
New Model of the Universe P. D. Ouspenský / Carte Carte broșată
common.buy 261.96 lei
Top
Fundamentals of Physics, Twelfth Edition, Extended International Adaptation Halliday / Carte Carte broșată
common.buy 526.52 lei
Cute and Playful Patterns Coloring Book Young Dreamers Press / Carte Carte broșată
common.buy 71.56 lei
IT ALL STARTED WITH A GUM WRAPPER Joshua Lopez / E-book Adobe ePub DRM
common.buy 73.11 lei
Forgotten & Remembered BREE WOLF / Carte Carte broșată
common.buy 81.53 lei
CRISC Certified in Risk and Information Systems Control All-in-One Exam Guide, Second Edition Bobby Rogers / Carte Copertă tare
common.buy 251.15 lei
Commercial Fertilizers Report for ...; no.628 Anonymous / Carte Carte broșată
common.buy 90.67 lei
Top
Septology Damion Searls / Carte Carte broșată
common.buy 89.32 lei
Paul de Man (Routledge Revivals) Christopher Norris / Carte Copertă tare
common.buy 1 225.78 lei
Paternalism Christian Coons / Carte Copertă tare
common.buy 556.53 lei
Mathematical Models in Electrical Circuits: Theory and Applications C.A. Marinov / Carte Copertă tare
common.buy 305.89 lei
History of Greece Ernst CurtiusAdolphus William Ward / Carte Carte broșată
common.buy 322.51 lei
Origami Paper - Floating World Prints - 8 1/4" - 48 Sheets Tuttle Publishing / Calendar / Agendă Agendă
common.buy 56.70 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?