Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Computer Aided Verification

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Aided Verification Gregor von Bochmann
Libristo kod: 05274299
Nakladnici Springer, Berlin, studeni 1992
This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), h... Cijeli opis
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Top
Taška nákupní skládací 50x42cm "Miluj a žij" Sri Chinmoy / Igra/Igračka Igračka
common.buy 7.69 €
Maravillas de Latinoamérica Digital Polyglot / Knjiga Meki uvez
common.buy 13.46 €
DISNEY. 5 MINUTOS PARA SOÑAR. GRANDES CLÁSICOS Disney / Knjiga Meki uvez
common.buy 12.04 €
Monaco Motor Racing FREI WOLFGANG / Knjiga Tvrdi uvez
common.buy 154.35 €
Grammatica per ragazzi Mina Ricci / Knjiga Meki uvez
common.buy 22.17 €
Groß werden mit den Schlümpfen: Der Schlumpf, der nicht nett war Peyo / E-knjiga Adobe ePub DRM
common.buy 7.28 €
PAW Paw Patroller 3.0 / Igra/Igračka Igračka
common.buy 82.64 €
Just ONE more chapter - Mein Bookjournal / Knjiga Tvrdi uvez
common.buy 12.75 €
K VOPROSU O POVEDENII GEODEZIChESKIH NA GIPERBOLIChESKIH MNOGOOBRAZIYaH Vladimir Vasil'ewich Balkan / Knjiga Meki uvez
common.buy 66.74 €
Учебник логики Георгий Челпанов / Knjiga Tvrdi uvez
common.buy 16.50 €
De dioses a demonios : la demonización de los dioses prehispánicos en el arte indígena cristiano Jose Luis Perez Flores / E-knjiga Adobe ePub DRM
common.buy 22.98 €
L'islam - punition ou salut..? Bernd Michael Grosch / Knjiga Meki uvez
common.buy 10.42 €
Ausbau des Steuerwesens. Finanzpolitik unter Philipp dem Grossmutigen. Lutz Benseler / Knjiga Meki uvez
common.buy 16.20 €
Homosexualitat in der Einwanderungsgesellschaft. Ein Clash of Cultures? Nelson Muller / Knjiga Meki uvez
common.buy 16.20 €
Laboratorio Virtual En Apoyo a la Habilidad Ensamblar Computadoras Leomelys López / Knjiga Meki uvez
common.buy 34.93 €
1493 - 1815 Wilhelm G. Grewe / Knjiga Tvrdi uvez
common.buy 296.95 €
Histoire de la Vie Et Des Ouvrages de Francois Bacon. T. 2 Jean-Baptiste De Vauzelles / Knjiga Meki uvez
common.buy 26.22 €
Que el discreto se admire de la invención Giussani / Knjiga Meki uvez
common.buy 12.85 €
Psicología del género : implicaciones en la vida cotidiana María Pilar . . . [et al. ] Matud Aznar / Knjiga Meki uvez
common.buy 18.22 €
Atención y gestión de llamadas entrantes en un servicio de teleasistencia : optimización del servicio al usuario JESSICA ANDRES SENDRA / Knjiga Meki uvez
common.buy 29.56 €
L'Oracle de la Destinée - Votre guide magique pour un meilleur avenir Lucy Cavendish / Knjiga Tvrdi uvez
common.buy 29.56 €
2084. El fin del mundo BOUALEM SANSAL / Knjiga Meki uvez
common.buy 27.13 €
L'Assommoir Emilie Zola / Knjiga Meki uvez
common.buy 36.25 €
Premiere Chasse de Jujules Et Son Lendemain Hetzel-P-J / Knjiga Meki uvez
common.buy 14.57 €

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)".

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Computer Aided Verification
Autor Gregor von Bochmann, David K. Probst
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1993
Broj stranica 426
EAN 9783540564966
ISBN 3540564969
Libristo kod 05274299
Nakladnici Springer, Berlin
Težina 574
Dimenzije 155 x 233 x 22

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Judicial Interpretation of Political Theory: A Study in the Relation of the Courts to the American Party System. William Bennett Bizzell / Knjiga Meki uvez
common.buy 28.65 €
Singular Eric Warren / E-knjiga Adobe ePub DRM
common.buy 4.14 €
Field Instruction Suanna Wilson / Knjiga Meki uvez
common.buy 24.70 €
Adventures of a Three-Guinea Watch Talbot B Reed / Knjiga Tvrdi uvez
common.buy 29.77 €
My Science Journal Karla Ritzen / Knjiga Meki uvez
common.buy 12.45 €
The Background Of The Gospels Or Judaism In The Period Between The Old And New Testaments William Fairweather / Knjiga Meki uvez
common.buy 33.62 €
Strategies to Enhance Air Force Communication with Internal and External Audiences: A Workshop Report Committee on Strategies to Enhance Air F / Knjiga Meki uvez
common.buy 51.44 €
Awakening Nakala Akasie / Knjiga Meki uvez
common.buy 15.79 €
The Letters of Henry James (volume I) Percy Lubbock / Knjiga Meki uvez
common.buy 22.58 €
Psychological Assessment and the Priestly and Religious Formation: Myths and Facts Angela a Egbikuadje / Knjiga Meki uvez
common.buy 12.14 €
Fallen Feathers Adam Howorth / Knjiga Tvrdi uvez
common.buy 24.10 €
Top
New Model of the Universe P. D. Ouspenský / Knjiga Meki uvez
common.buy 47.80 €
Top
Fundamentals of Physics, Twelfth Edition, Extended International Adaptation Halliday / Knjiga Meki uvez
common.buy 95.70 €
Cute and Playful Patterns Coloring Book Young Dreamers Press / Knjiga Meki uvez
common.buy 12.85 €
IT ALL STARTED WITH A GUM WRAPPER Joshua Lopez / E-knjiga Adobe ePub DRM
common.buy 13.36 €
Forgotten & Remembered BREE WOLF / Knjiga Meki uvez
common.buy 14.88 €
CRISC Certified in Risk and Information Systems Control All-in-One Exam Guide, Second Edition Bobby Rogers / Knjiga Tvrdi uvez
common.buy 45.26 €
Commercial Fertilizers Report for ...; no.628 Anonymous / Knjiga Meki uvez
common.buy 16.50 €
Top
Septology Damion Searls / Knjiga Meki uvez
common.buy 15.99 €
Paul de Man (Routledge Revivals) Christopher Norris / Knjiga Tvrdi uvez
common.buy 223.32 €
Paternalism Christian Coons / Knjiga Tvrdi uvez
common.buy 101.78 €
Mathematical Models in Electrical Circuits: Theory and Applications C.A. Marinov / Knjiga Tvrdi uvez
common.buy 55.90 €
History of Greece Ernst CurtiusAdolphus William Ward / Knjiga Meki uvez
common.buy 61.67 €
Origami Paper - Floating World Prints - 8 1/4" - 48 Sheets Tuttle Publishing / Kalendar/Rokovnik Rokovnik
common.buy 10.42 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?