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

Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Runtime Verification Koushik Sen
Libristo code: 01661050
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2012
This book constitutes the thoroughly refereed post-conference proceedings of the Second Internationa... Full description
? points 132 b
53.99 €
105.60  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Výklad reliéfů pekařství Poilâne Roman Kořan / Book Book
common.buy 6.36 € 12.44 лв
Ricerca in classe Cassiane Jrayj De Melo / Book Paperback
common.buy 41.16 € 80.50 лв
Der Einfluss des Internets auf die Psyche eines Menschen Shokhrukhbek Mingboev / Book Paperback
common.buy 51.43 € 100.58 лв
Betrachtungen über die Grundlagen der Philosophie René Descartes / Book Hardback
common.buy 8.16 € 15.95 лв
vaso di Pandora. Le donne nel mito greco Natalie Haynes / Book Paperback
common.buy 22.22 € 43.46 лв
Lehrgang Arabisch. Standardsprache der Gegenwart Wolfdietrich Fischer / Book Paperback
common.buy 12.16 € 23.78 лв
Ertrinken ist todlich! Roman Kedor / E-book Adobe ePub DRM
common.buy 1.12 € 2.20 лв
Wilde Jahre Astrid Ruppert / E-book Adobe ePub DRM
common.buy 11.44 € 22.38 лв
Іслам Bah Slama / E-book Adobe ePub DRM
common.buy 8.00 € 15.65 лв
LA NIEVE MARCOS GIL / Book Hardback
common.buy 15.86 € 31.01 лв
Las cláusulas de moralidad en los contratos de patrocinio deportivo Crespo Celda / Book Paperback
common.buy 43.27 € 84.62 лв
Figaro tra Mozart e Beaumarchais Duscovich Daniele Duscovich / Book Paperback
common.buy 17.24 € 33.72 лв
La Vie de Marie à travers les poètes / Book Paperback
common.buy 15.96 € 31.21 лв
LES ANNEES DE COLLEGE FRANCAIS - TOUT POUR REUSSIR Fabienne Pegoraro / Book Paperback
common.buy 20.12 € 39.34 лв
A titkárnő Renée Knight / Book Hardback
common.buy 10.31 € 20.17 лв
Lady Xanax, pán Snehulienka a ja Peter Krištúfek / Book Hardback
common.buy 12.83 € 25.09 лв
Inferno: Inferno Dino Di Durante / Book Paperback
common.buy 28.07 € 54.90 лв
El secreto de mi deseo Maribel Pont Pont / Book Paperback
common.buy 12.06 € 23.58 лв
Microarray-basierte Resistenzbestimmung in HIV Michaela Schanne / Book Paperback
common.buy 62.36 € 121.97 лв
Živý film Marek Jícha / Book Sheet
common.buy 16.98 € 33.22 лв
UEber ein vokalisches Problem des Mitteldeutschen Karl Von Bahder / Book Paperback
common.buy 12.31 € 24.08 лв
Propriétés de surfactants ioniques et solubilisation du phénol Tayeb Abram / Book Paperback
common.buy 61.69 € 120.66 лв

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011.§The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software and hardware systems, memory transactions, tools; foundational techniques and multi-valued approaches.

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 Koushik Sen, Sarfaz Khurshid
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 458
EAN 9783642298592
ISBN 3642298591
Libristo code 01661050
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 718
Dimensions 155 x 235 x 26

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

Apoptosis Mohamed Al-Rubeai / Book Hardback
common.buy 94.49 € 184.81 лв
About Crustaceans Cathryn Sill / Book Paperback
common.buy 8.67 € 16.96 лв
African Americans on Martha's Vineyard Tom Dresser / Book Paperback
common.buy 21.14 € 41.35 лв
A Beautiful, Cruel Country Eva Antonia Wilbur-Cruce / Book Paperback
common.buy 28.33 € 55.41 лв
The Principle of Mercy: Taking the Crucified People from the Cross Jon Sobrino / Book Paperback
common.buy 21.50 € 42.05 лв
Maddie's Magic Tree Margaret Redfern / Book Paperback
common.buy 18.27 € 35.73 лв
Manor Spirits Tony Foster / Book Paperback
common.buy 6.46 € 12.64 лв
Extinction Steve Parker / Book Paperback
common.buy 11.39 € 22.28 лв
Race Car-Blue Green Toys / Game/Toy Toy
common.buy 8.87 € 17.36 лв
Coming soon
One Deadly Summer Sébastien Japrisot / Book Paperback
common.buy 10.31 € 20.17 лв
The Atmosphere of Titan Donald M Hunten / Book Paperback
common.buy 18.27 € 35.73 лв
British Musical Modernism Philip Rupprecht / Book Paperback
common.buy 58.56 € 114.54 лв
Love Online Penelope Ward / Book Paperback
common.buy 14.73 € 28.80 лв
Original Sanskrit Texts on the Origin and History of the People of India J. Muir / Book Paperback
common.buy 33.77 € 66.05 лв
Bring Him Back Dead Day Keene / E-book Adobe ePub DRM
common.buy 5.38 € 10.53 лв
Cixin Liu's The Wandering Earth Cixin Liu / E-book Adobe ePub DRM
common.buy 13.29 € 25.99 лв
A Silversmith's Secrets: Techniques to Repair, Restore and Transform Treasured Items West / Book Paperback
common.buy 22.43 € 43.86 лв
Pilgrim's Progress, Metrically Condensed In Six Cantos Thomas Dibdin / Book Paperback
common.buy 18.27 € 35.73 лв
Top
Dante Sadie Kincaid / Book Paperback
common.buy 11.39 € 22.28 лв
New
Sophie, Standing There Meg Mason / Book Hardback
common.buy 22.43 € 43.86 лв
Genetics, Genomics and Breeding of Potato James M. Bradeen / Book Hardback
common.buy 320.80 € 627.43 лв
Original Aramaic New Testament in Plain English with Psalms & Proverbs (8th Edition with Notes) David Bauscher / Book Paperback
common.buy 62.21 € 121.66 лв
Short-term Psychodynamic Therapy with Children in Crisis Elisabeth Cleve / Book Paperback
common.buy 66.41 € 129.90 лв
Kosovo and Diplomacy since World War II CEKU ETHEM / Book Hardback
common.buy 176.72 € 345.64 лв

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?