Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Runtime Verification

Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Runtime Verification Shaz Qadeer
Libristo code: 01662853
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, January 2013
This book constitutes the thoroughly refereed post-conference proceedings of the Third International... Full description
? points 132 b
54.09 €
105.80  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Persönlichkeitsschutz durch präventive Kontrolle. Lars Wildhagen / Book Paperback
common.buy 88.44 € 172.98 лв
SPA-ARBOL QUE TREPO EL OSO Kathleen Rietz / Book Paperback
common.buy 10.07 € 19.70 лв
Игра в невидимку Роберт Лоуренс Стайн / Book Hardback
common.buy 12.03 € 23.53 лв
biologia rivelata. Tre percorsi riuniti dalla biologia scientifica della logica per la vita verso l’alba di un nuovo mondo... in connessione di cuore Claudio Trupiano / Book Hardback
common.buy 32.29 € 63.15 лв
Süd- und Zentralarabien 2022/2023 MICHEL-Redaktion / Book Hardback
common.buy 95.34 € 186.46 лв
Spielplatzguide Berlin - Reiseführer für Familien Reisedepeschen / Book Paperback
common.buy 22.67 € 44.34 лв
El Monte de Las Furias/ The Hill of Wrath TRÍAS / Book Paperback
common.buy 17.58 € 34.39 лв
Wita państwa Dariusz Szpakowski. Autobiografia Dariusz Szpakowski / Book Paperback
common.buy 13.01 € 25.44 лв
Top
Einfach zum Studium! Franziska Bewer / Book Paperback
common.buy 29.82 € 58.33 лв
Calidad microbiana y fisicoquímica de las marcas de yogur en Kano,Nigeria Abdullahi Kawo / Book Paperback
common.buy 22.63 € 44.26 лв
Kniha čínského umění léčby Li Wu / Book Paperback
common.buy 13.21 € 25.84 лв
Ankimi i Luciferrit Petraq Risto / Book Paperback
common.buy 19.79 € 38.71 лв
Einleitung in die liv-, esth- und curländische Rechtsgeschichte und Geschichte der Rechtsquellen Friedrich Georg von Bunge / Book Paperback
common.buy 21.18 € 41.43 лв
Ich bin fit für Klasse 5! Mein Deutsch-Lernheft - Lösungsheft Sabine Willmeroth / Book Paperback
common.buy 6.47 € 12.66 лв
V tichosti Prouza / Audio Audio CD
common.buy 11.31 € 22.12 лв
Literatur zur deutschsprachigen Presse, Band 9, 89199-98384. Lander ausserhalb des deutschen Sprachraums. Afrika - Amerika - Asien - Australien - Euro Gert Hagelweide / Book Hardback
common.buy 269.97 € 528.02 лв
Hacia Una Nueva Gran Clasificacion de Las Cosas Juan Carlos Ghirardi / Book Paperback
common.buy 183.27 € 358.45 лв
Nicht immer denken Norman Schmid / Book Paperback
common.buy 9.71 € 19.00 лв
DAEMON; . Daniel Suarez / Book Paperback
common.buy 20.82 € 40.72 лв
Poď sa s nami hrať! collegium / Book Paperback
common.buy 2.67 € 5.22 лв

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012.§The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Runtime Verification
Author Shaz Qadeer, Serdar Tasiran
Language English
Binding Book - Paperback
Date of issue 2013
Number of pages 322
EAN 9783642356315
ISBN 3642356311
Libristo code 01662853
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 516
Dimensions 155 x 235 x 18

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Georgia Tax Lien & Deeds Real Estate Investing & Financing Book Brian Mahoney / Book Paperback
common.buy 11.15 € 21.82 лв
Invisible J. R. Solonche / Book Paperback
common.buy 12.80 € 25.04 лв
Encounters between Analytic and Continental Philosophy Andreas Vrahimis / Book Hardback
common.buy 146.04 € 285.63 лв
DICTION COACH ARIAS SOPRANO BKCD Hal Leonard Corp / Book Paperback
common.buy 21.03 € 41.13 лв
Politics of New Media Theatre Gabriella Giannachi / Book Hardback
common.buy 173.91 € 340.14 лв
Preparing for a Healthy Birth Sylvie Donna / Book Paperback
common.buy 26.68 € 52.19 лв
Reading Romans in Context Ben C. Blackwell / Book Paperback
common.buy 16.30 € 31.87 лв
White Swan Express Jean Davies Okimoto / Book Paperback
common.buy 12.70 € 24.83 лв
Nighttime Breastfeeding Cec Tomori / Book Paperback
common.buy 39.30 € 76.86 лв
Practitioner's Guide to Health Informatics Mark L. Braunstein / Book Paperback
common.buy 52.96 € 103.58 лв
Ahdr: All Hazards Disaster Response National Association of Emergency Medical Technicians (NAEMT) / Book Paperback
common.buy 31.47 € 61.54 лв
Leyte Gulf 1944 (1) Mark (Author) Stille / Book Paperback
common.buy 21.59 € 42.23 лв
Why are Most Buildings Rectangular? Philip Steadman / Book Paperback
common.buy 76.00 € 148.64 лв
A Treatise on the Practice of the Court of Chancery: With an Appendix of Precedents. Volume 1 of 3 Oliver L Barbour / Book Paperback
common.buy 38.99 € 76.26 лв
Born In War: Poems of Peace: Volume 2 MR Jamale Reco Ellison / Book Paperback
common.buy 14.76 € 28.87 лв
Adrushya Guru ABC.XYZ / Book Hardback
common.buy 25.09 € 49.07 лв
Analytic Inequalities and Their Applications in PDEs YUMING QIN / Book Paperback
common.buy 183.27 € 358.45 лв
Pipe Dreams Peterson / Book Hardback
common.buy 151.39 € 296.09 лв
Do You Dream of Terra-Two? Temi Oh / Book Paperback
common.buy 13.83 € 27.05 лв
Top
Practice Makes Perfect: Spanish Irregular Verbs Up Close Eric W. Vogt / Book Paperback
common.buy 17.07 € 33.40 лв
Intonation Systems Daniel HirstAlbert Di Cristo / Book Paperback
common.buy 83.30 € 162.93 лв
Scar City Joel Lane / Book Paperback
common.buy 11.41 € 22.32 лв
Fantasy Fashion & Affection Gertzman / Book Paperback
common.buy 13.06 € 25.54 лв
Application of Particle and Laser Beams in Materials Technology P. Misaelides / Book Hardback
common.buy 343.82 € 672.45 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?