Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Computer Aided Verification

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Computer Aided Verification Gregor von Bochmann
Libristo-code: 05274299
Uitgeverij Springer, Berlin, november 1992
This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), h... Volledige beschrijving
? points 125 b
51.69 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

TOP
Taška nákupní skládací 50x42cm "Miluj a žij" Sri Chinmoy / Spel/speelgoed Speelgoed
common.buy 8.19 €
Maravillas de Latinoamérica Digital Polyglot / Boek Gebonden (paperback)
common.buy 13.45 €
DISNEY. 5 MINUTOS PARA SOÑAR. GRANDES CLÁSICOS Disney / Boek Gebonden (paperback)
common.buy 12.74 €
Monaco Motor Racing FREI WOLFGANG / Boek Gebonden (harde band)
common.buy 163.19 €
Grammatica per ragazzi Mina Ricci / Boek Gebonden (paperback)
common.buy 23.16 €
Groß werden mit den Schlümpfen: Der Schlumpf, der nicht nett war Peyo / E-book Adobe ePub DRM
common.buy 7.68 €
PAW Paw Patroller 3.0 / Spel/speelgoed Speelgoed
common.buy 87.41 €
Just ONE more chapter - Mein Bookjournal / Boek Gebonden (harde band)
common.buy 12.74 €
K VOPROSU O POVEDENII GEODEZIChESKIH NA GIPERBOLIChESKIH MNOGOOBRAZIYaH Vladimir Vasil'ewich Balkan / Boek Gebonden (paperback)
common.buy 66.67 €
Учебник логики Георгий Челпанов / Boek Gebonden (harde band)
common.buy 18.51 €
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 24.27 €
L'islam - punition ou salut..? Bernd Michael Grosch / Boek Gebonden (paperback)
common.buy 11.63 €
Das Zeugnis vom Zuspruch und Anspruch Jesu Christi Eva-Maria Schlitt / Boek Blad
common.buy 18.71 €
Ausbau des Steuerwesens. Finanzpolitik unter Philipp dem Grossmutigen. Lutz Benseler / Boek Gebonden (paperback)
common.buy 16.18 €
Homosexualitat in der Einwanderungsgesellschaft. Ein Clash of Cultures? Nelson Muller / Boek Gebonden (paperback)
common.buy 16.18 €
Laboratorio Virtual En Apoyo a la Habilidad Ensamblar Computadoras Leomelys López / Boek Gebonden (paperback)
common.buy 34.90 €
1493 - 1815 Wilhelm G. Grewe / Boek Gebonden (harde band)
common.buy 296.64 €
Histoire de la Vie Et Des Ouvrages de Francois Bacon. T. 2 Jean-Baptiste De Vauzelles / Boek Gebonden (paperback)
common.buy 26.20 €
Que el discreto se admire de la invención Giussani / Boek Gebonden (paperback)
common.buy 13.35 €
Psicología del género : implicaciones en la vida cotidiana María Pilar . . . [et al. ] Matud Aznar / Boek Gebonden (paperback)
common.buy 19.01 €
Atención y gestión de llamadas entrantes en un servicio de teleasistencia : optimización del servicio al usuario JESSICA ANDRES SENDRA / Boek Gebonden (paperback)
common.buy 30.95 €
L'Oracle de la Destinée - Votre guide magique pour un meilleur avenir Lucy Cavendish / Boek Gebonden (harde band)
common.buy 30.95 €
2084. El fin del mundo BOUALEM SANSAL / Boek Gebonden (paperback)
common.buy 29.33 €
L'Assommoir Emilie Zola / Boek Gebonden (paperback)
common.buy 36.21 €

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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Computer Aided Verification
Auteur Gregor von Bochmann, David K. Probst
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1993
Aantal pagina's 426
EAN 9783540564966
ISBN 3540564969
Libristo-code 05274299
Uitgeverij Springer, Berlin
Gewicht 574
Afmetingen 155 x 233 x 22

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Judicial Interpretation of Political Theory: A Study in the Relation of the Courts to the American Party System. William Bennett Bizzell / Boek Gebonden (paperback)
common.buy 28.62 €
Singular Eric Warren / E-book Adobe ePub DRM
common.buy 4.44 €
Field Instruction Suanna Wilson / Boek Gebonden (paperback)
common.buy 26.20 €
Adventures of a Three-Guinea Watch Talbot B Reed / Boek Gebonden (harde band)
common.buy 29.74 €
My Science Journal Karla Ritzen / Boek Gebonden (paperback)
common.buy 12.43 €
The Background Of The Gospels Or Judaism In The Period Between The Old And New Testaments William Fairweather / Boek Gebonden (paperback)
common.buy 33.58 €
Strategies to Enhance Air Force Communication with Internal and External Audiences: A Workshop Report Committee on Strategies to Enhance Air F / Boek Gebonden (paperback)
common.buy 52.00 €
Awakening Nakala Akasie / Boek Gebonden (paperback)
common.buy 15.77 €
The Letters of Henry James (volume I) Percy Lubbock / Boek Gebonden (paperback)
common.buy 22.55 €
Psychological Assessment and the Priestly and Religious Formation: Myths and Facts Angela a Egbikuadje / Boek Gebonden (paperback)
common.buy 12.13 €
Fallen Feathers Adam Howorth / Boek Gebonden (harde band)
common.buy 24.07 €
TOP
New Model of the Universe P. D. Ouspenský / Boek Gebonden (paperback)
common.buy 47.75 €
TOP
Fundamentals of Physics, Twelfth Edition, Extended International Adaptation Halliday / Boek Gebonden (paperback)
common.buy 100.56 €
Cute and Playful Patterns Coloring Book Young Dreamers Press / Boek Gebonden (paperback)
common.buy 12.84 €
IT ALL STARTED WITH A GUM WRAPPER Joshua Lopez / E-book Adobe ePub DRM
common.buy 14.05 €
Forgotten & Remembered BREE WOLF / Boek Gebonden (paperback)
common.buy 14.86 €
CRISC Certified in Risk and Information Systems Control All-in-One Exam Guide, Second Edition Bobby Rogers / Boek Gebonden (harde band)
common.buy 45.22 €
Commercial Fertilizers Report for ...; no.628 Anonymous / Boek Gebonden (paperback)
common.buy 16.48 €
TOP
Septology Damion Searls / Boek Gebonden (paperback)
common.buy 15.98 €
Paul de Man (Routledge Revivals) Christopher Norris / Boek Gebonden (harde band)
common.buy 234.22 €
Paternalism Christian Coons / Boek Gebonden (harde band)
common.buy 101.67 €
Mathematical Models in Electrical Circuits: Theory and Applications C.A. Marinov / Boek Gebonden (harde band)
common.buy 61.10 €
History of Greece Ernst CurtiusAdolphus William Ward / Boek Gebonden (paperback)
common.buy 64.74 €
Origami Paper - Floating World Prints - 8 1/4" - 48 Sheets Tuttle Publishing / Kalender/agenda Agenda
common.buy 10.82 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken