Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Computer Aided Verification

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Gregor von Bochmann
Libristo kód: 05274299
Nakladatelství Springer, Berlin, listopad 1992
This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), h... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

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

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

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Computer Aided Verification
Autor Gregor von Bochmann, David K. Probst
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1993
Počet stran 426
EAN 9783540564966
ISBN 3540564969
Libristo kód 05274299
Nakladatelství Springer, Berlin
Váha 574
Rozměry 155 x 233 x 22

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Judicial Interpretation of Political Theory: A Study in the Relation of the Courts to the American Party System. William Bennett Bizzell / Kniha Brožovaná
common.buy 659 Kč
Singular Eric Warren / E-kniha Adobe ePub DRM
common.buy 106 Kč
Field Instruction Suanna Wilson / Kniha Brožovaná
common.buy 560 Kč
Adventures of a Three-Guinea Watch Talbot B Reed / Kniha Pevná
common.buy 685 Kč
My Science Journal Karla Ritzen / Kniha Brožovaná
common.buy 286 Kč
The Background Of The Gospels Or Judaism In The Period Between The Old And New Testaments William Fairweather / Kniha Brožovaná
common.buy 776 Kč
Strategies to Enhance Air Force Communication with Internal and External Audiences: A Workshop Report Committee on Strategies to Enhance Air F / Kniha Brožovaná
common.buy 1 187 Kč
Awakening Nakala Akasie / Kniha Brožovaná
common.buy 358 Kč
The Letters of Henry James (volume I) Percy Lubbock / Kniha Brožovaná
common.buy 516 Kč
Psychological Assessment and the Priestly and Religious Formation: Myths and Facts Angela a Egbikuadje / Kniha Brožovaná
common.buy 279 Kč
Fallen Feathers Adam Howorth / Kniha Pevná
common.buy 555 Kč
Top
New Model of the Universe P. D. Ouspenský / Kniha Brožovaná
common.buy 1 099 Kč
Top
Fundamentals of Physics, Twelfth Edition, Extended International Adaptation Halliday / Kniha Brožovaná
common.buy 2 069 Kč
Cute and Playful Patterns Coloring Book Young Dreamers Press / Kniha Brožovaná
common.buy 292 Kč
IT ALL STARTED WITH A GUM WRAPPER Joshua Lopez / E-kniha Adobe ePub DRM
common.buy 338 Kč
Forgotten & Remembered BREE WOLF / Kniha Brožovaná
common.buy 340 Kč
CRISC Certified in Risk and Information Systems Control All-in-One Exam Guide, Second Edition Bobby Rogers / Kniha Pevná
common.buy 1 025 Kč
Commercial Fertilizers Report for ...; no.628 Anonymous / Kniha Brožovaná
common.buy 380 Kč
Top
Septology Damion Searls / Kniha Brožovaná
common.buy 358 Kč
Paul de Man (Routledge Revivals) Christopher Norris / Kniha Pevná
common.buy 5 127 Kč
Paternalism Christian Coons / Kniha Pevná
common.buy 2 345 Kč
Mathematical Models in Electrical Circuits: Theory and Applications C.A. Marinov / Kniha Pevná
common.buy 1 350 Kč
History of Greece Ernst CurtiusAdolphus William Ward / Kniha Brožovaná
common.buy 1 416 Kč
Origami Paper - Floating World Prints - 8 1/4" - 48 Sheets Tuttle Publishing / Kalendář/Diář Diář
common.buy 262 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?