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.

Runtime Verification

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Runtime Verification Koushik Sen
Libristo-code: 01661050
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mei 2012
This book constitutes the thoroughly refereed post-conference proceedings of the Second Internationa... Volledige beschrijving
? points 125 b
51.75 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Výklad reliéfů pekařství Poilâne Roman Kořan / Boek Boek
common.buy 6.07 €
Іслам Bah Slama / E-book Adobe ePub DRM
common.buy 7.69 €
Betrachtungen über die Grundlagen der Philosophie René Descartes / Boek Gebonden (harde band)
common.buy 7.89 €
Der Einfluss des Internets auf die Psyche eines Menschen Shokhrukhbek Mingboev / Boek Gebonden (paperback)
common.buy 49.01 €
vaso di Pandora. Le donne nel mito greco Natalie Haynes / Boek Gebonden (paperback)
common.buy 21.66 €
Ertrinken ist todlich! Roman Kedor / E-book Adobe ePub DRM
common.buy 1.10 €
Wilde Jahre Astrid Ruppert / E-book Adobe ePub DRM
common.buy 11.03 €
Živý film Marek Jícha / Boek Blad
common.buy 16.20 €
LA NIEVE MARCOS GIL / Boek Gebonden (harde band)
common.buy 15.59 €
Las cláusulas de moralidad en los contratos de patrocinio deportivo Crespo Celda / Boek Gebonden (paperback)
common.buy 41.82 €
LES ANNEES DE COLLEGE FRANCAIS - TOUT POUR REUSSIR Fabienne Pegoraro / Boek Gebonden (paperback)
common.buy 20.65 €
A titkárnő Renée Knight / Boek Gebonden (harde band)
common.buy 9.81 €
El secreto de mi deseo Maribel Pont Pont / Boek Gebonden (paperback)
common.buy 12.14 €
UEber ein vokalisches Problem des Mitteldeutschen Karl Von Bahder / Boek Gebonden (paperback)
common.buy 11.74 €
Propriétés de surfactants ioniques et solubilisation du phénol Tayeb Abram / Boek Gebonden (paperback)
common.buy 58.84 €
Microarray-basierte Resistenzbestimmung in HIV Michaela Schanne / Boek Gebonden (paperback)
common.buy 63.09 €
Lehrgang Arabisch. Standardsprache der Gegenwart Wolfdietrich Fischer / Boek Gebonden (paperback)
common.buy 12.55 €

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.

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 Runtime Verification
Auteur Koushik Sen, Sarfaz Khurshid
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2012
Aantal pagina's 458
EAN 9783642298592
ISBN 3642298591
Libristo-code 01661050
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 718
Afmetingen 155 x 235 x 26

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
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

Apoptosis Mohamed Al-Rubeai / Boek Gebonden (harde band)
common.buy 95.60 €
Race Car-Blue Green Toys / Spel/speelgoed Speelgoed
common.buy 8.90 €
Legendary Locals of Bel Air Carol L. Deibel / Boek Gebonden (paperback)
common.buy 22.17 €
About Crustaceans Cathryn Sill / Boek Gebonden (paperback)
common.buy 8.80 €
The Principle of Mercy: Taking the Crucified People from the Cross Jon Sobrino / Boek Gebonden (paperback)
common.buy 21.66 €
Maddie's Magic Tree Margaret Redfern / Boek Gebonden (paperback)
common.buy 19.33 €
Manor Spirits Tony Foster / Boek Gebonden (paperback)
common.buy 6.27 €
Pilgrim's Progress, Metrically Condensed In Six Cantos Thomas Dibdin / Boek Gebonden (paperback)
common.buy 18.42 €
Extinction Steve Parker / Boek Gebonden (paperback)
common.buy 11.54 €
British Musical Modernism Philip Rupprecht / Boek Gebonden (paperback)
common.buy 59.04 €
African Americans on Martha's Vineyard Tom Dresser / Boek Gebonden (paperback)
common.buy 18.73 €
Wordt verwacht
One Deadly Summer Sébastien Japrisot / Boek Gebonden (paperback)
common.buy 10.42 €
The Atmosphere of Titan Donald M Hunten / Boek Gebonden (paperback)
common.buy 18.42 €
Love Online Penelope Ward / Boek Gebonden (paperback)
common.buy 14.88 €
Original Sanskrit Texts on the Origin and History of the People of India J. Muir / Boek Gebonden (paperback)
common.buy 32.10 €
Cixin Liu's The Wandering Earth Cixin Liu / E-book Adobe ePub DRM
common.buy 12.65 €
Bring Him Back Dead Day Keene / E-book Adobe ePub DRM
common.buy 5.76 €
Cambridge Companion to Debussy Simon Trezise / Boek Gebonden (paperback)
common.buy 36.25 €
Wordt verwacht Nieuw
Sophie, Standing There Meg Mason / Boek Gebonden (harde band)
common.buy 22.68 €
Noise and Nonlinear Phenomena in Nuclear Systems J.L. Munoz-Cobo / Boek Gebonden (paperback)
common.buy 51.75 €
Writing Genevieve White / Boek Gebonden (paperback)
common.buy 18.02 €
TOP
Dante Sadie Kincaid / Boek Gebonden (paperback)
common.buy 11.54 €
Short-term Psychodynamic Therapy with Children in Crisis Elisabeth Cleve / Boek Gebonden (paperback)
common.buy 66.33 €
Original Aramaic New Testament in Plain English with Psalms & Proverbs (8th Edition with Notes) David Bauscher / Boek Gebonden (paperback)
common.buy 60.05 €

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
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?