Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Runtime Verification

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

Limba englezăengleză
Carte Carte broșată
Carte Runtime Verification Koushik Sen
Codul Libristo: 01661050
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2012
This book constitutes the thoroughly refereed post-conference proceedings of the Second Internationa... Descrierea completă
? points 132 b
285.47 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Výklad reliéfů pekařství Poilâne Roman Kořan / Carte Carte
common.buy 31.84 lei
Іслам Bah Slama / E-book Adobe ePub DRM
common.buy 40.27 lei
Betrachtungen über die Grundlagen der Philosophie René Descartes / Carte Copertă tare
common.buy 43.08 lei
Der Einfluss des Internets auf die Psyche eines Menschen Shokhrukhbek Mingboev / Carte Carte broșată
common.buy 271.73 lei
vaso di Pandora. Le donne nel mito greco Natalie Haynes / Carte Carte broșată
common.buy 113.33 lei
Ertrinken ist todlich! Roman Kedor / E-book Adobe ePub DRM
common.buy 5.61 lei
Wilde Jahre Astrid Ruppert / E-book Adobe ePub DRM
common.buy 57.65 lei
Živý film Marek Jícha / Carte Foaie
common.buy 84.92 lei
LA NIEVE MARCOS GIL / Carte Copertă tare
common.buy 81.69 lei
Las cláusulas de moralidad en los contratos de patrocinio deportivo Crespo Celda / Carte Carte broșată
common.buy 219.27 lei
LES ANNEES DE COLLEGE FRANCAIS - TOUT POUR REUSSIR Fabienne Pegoraro / Carte Carte broșată
common.buy 108.12 lei
A titkárnő Renée Knight / Carte Copertă tare
common.buy 51.61 lei
El secreto de mi deseo Maribel Pont Pont / Carte Carte broșată
common.buy 66.91 lei
UEber ein vokalisches Problem des Mitteldeutschen Karl Von Bahder / Carte Carte broșată
common.buy 65.04 lei
Propriétés de surfactants ioniques et solubilisation du phénol Tayeb Abram / Carte Carte broșată
common.buy 325.95 lei
Microarray-basierte Resistenzbestimmung in HIV Michaela Schanne / Carte Carte broșată
common.buy 314.50 lei
Lehrgang Arabisch. Standardsprache der Gegenwart Wolfdietrich Fischer / Carte Carte broșată
common.buy 62.64 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Runtime Verification
Autor Koushik Sen, Sarfaz Khurshid
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 458
EAN 9783642298592
ISBN 3642298591
Codul Libristo 01661050
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 718
Dimensiuni 155 x 235 x 26

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Apoptosis Mohamed Al-Rubeai / Carte Copertă tare
common.buy 477.28 lei
Race Car-Blue Green Toys / Joc / Jucărie Jucărie
common.buy 49.84 lei
Legendary Locals of Bel Air Carol L. Deibel / Carte Carte broșată
common.buy 109.48 lei
About Crustaceans Cathryn Sill / Carte Carte broșată
common.buy 43.08 lei
The Principle of Mercy: Taking the Crucified People from the Cross Jon Sobrino / Carte Carte broșată
common.buy 120.72 lei
Maddie's Magic Tree Margaret Redfern / Carte Carte broșată
common.buy 105.94 lei
Manor Spirits Tony Foster / Carte Carte broșată
common.buy 34.23 lei
Pilgrim's Progress, Metrically Condensed In Six Cantos Thomas Dibdin / Carte Carte broșată
common.buy 101.25 lei
Extinction Steve Parker / Carte Carte broșată
common.buy 60.46 lei
British Musical Modernism Philip Rupprecht / Carte Carte broșată
common.buy 323.76 lei
African Americans on Martha's Vineyard Tom Dresser / Carte Carte broșată
common.buy 104.27 lei
Curând
One Deadly Summer Sébastien Japrisot / Carte Carte broșată
common.buy 54.63 lei
The Atmosphere of Titan Donald M Hunten / Carte Carte broșată
common.buy 101.67 lei
Love Online Penelope Ward / Carte Carte broșată
common.buy 81.69 lei
Original Sanskrit Texts on the Origin and History of the People of India J. Muir / Carte Carte broșată
common.buy 178.37 lei
Cixin Liu's The Wandering Earth Cixin Liu / E-book Adobe ePub DRM
common.buy 66.70 lei
Bring Him Back Dead Day Keene / E-book Adobe ePub DRM
common.buy 30.38 lei
Cambridge Companion to Debussy Simon Trezise / Carte Carte broșată
common.buy 198.56 lei
Curând Nou
Sophie, Standing There Meg Mason / Carte Copertă tare
common.buy 118.74 lei
Noise and Nonlinear Phenomena in Nuclear Systems J.L. Munoz-Cobo / Carte Carte broșată
common.buy 285.47 lei
Writing Genevieve White / Carte Carte broșată
common.buy 94.28 lei
Top
Dante Sadie Kincaid / Carte Carte broșată
common.buy 51.09 lei
Short-term Psychodynamic Therapy with Children in Crisis Elisabeth Cleve / Carte Carte broșată
common.buy 349.37 lei
Original Aramaic New Testament in Plain English with Psalms & Proverbs (8th Edition with Notes) David Bauscher / Carte Carte broșată
common.buy 328.76 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?