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.

Runtime Verification

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Runtime Verification Koushik Sen
Libristo kód: 01661050
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, květen 2012
This book constitutes the thoroughly refereed post-conference proceedings of the Second Internationa... Celý popis
? points 135 b
1 350 Kč
Skladem u dodavatele v malém množství Odesíláme za 11-15 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Výklad reliéfů pekařství Poilâne Roman Kořan / Kniha Kniha
common.buy 134 Kč
Іслам Bah Slama / E-kniha Adobe ePub DRM
common.buy 186 Kč
Betrachtungen über die Grundlagen der Philosophie René Descartes / Kniha Pevná
common.buy 181 Kč
Der Einfluss des Internets auf die Psyche eines Menschen Shokhrukhbek Mingboev / Kniha Brožovaná
common.buy 1 352 Kč
vaso di Pandora. Le donne nel mito greco Natalie Haynes / Kniha Brožovaná
common.buy 523 Kč
Ertrinken ist todlich! Roman Kedor / E-kniha Adobe ePub DRM
common.buy 26 Kč
Wilde Jahre Astrid Ruppert / E-kniha Adobe ePub DRM
common.buy 266 Kč
Živý film Marek Jícha / Kniha List
common.buy 378 Kč
LA NIEVE MARCOS GIL / Kniha Pevná
common.buy 377 Kč
Las cláusulas de moralidad en los contratos de patrocinio deportivo Crespo Celda / Kniha Brožovaná
common.buy 1 012 Kč
LES ANNEES DE COLLEGE FRANCAIS - TOUT POUR REUSSIR Fabienne Pegoraro / Kniha Brožovaná
common.buy 499 Kč
A titkárnő Renée Knight / Kniha Pevná
common.buy 238 Kč
El secreto de mi deseo Maribel Pont Pont / Kniha Brožovaná
common.buy 279 Kč
UEber ein vokalisches Problem des Mitteldeutschen Karl Von Bahder / Kniha Brožovaná
common.buy 413 Kč
Propriétés de surfactants ioniques et solubilisation du phénol Tayeb Abram / Kniha Brožovaná
common.buy 1 231 Kč
Microarray-basierte Resistenzbestimmung in HIV Michaela Schanne / Kniha Brožovaná
common.buy 1 451 Kč
Lehrgang Arabisch. Standardsprache der Gegenwart Wolfdietrich Fischer / Kniha Brožovaná
common.buy 289 Kč

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.

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 Runtime Verification
Autor Koushik Sen, Sarfaz Khurshid
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2012
Počet stran 458
EAN 9783642298592
ISBN 3642298591
Libristo kód 01661050
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 718
Rozměry 155 x 235 x 26

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
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 > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
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

Apoptosis Mohamed Al-Rubeai / Kniha Pevná
common.buy 2 202 Kč
Race Car-Blue Green Toys / Hra/Hračka Hračka
common.buy 202 Kč
Legendary Locals of Bel Air Carol L. Deibel / Kniha Brožovaná
common.buy 474 Kč
About Crustaceans Cathryn Sill / Kniha Brožovaná
common.buy 186 Kč
The Principle of Mercy: Taking the Crucified People from the Cross Jon Sobrino / Kniha Brožovaná
common.buy 491 Kč
Maddie's Magic Tree Margaret Redfern / Kniha Brožovaná
common.buy 446 Kč
Manor Spirits Tony Foster / Kniha Brožovaná
common.buy 144 Kč
Pilgrim's Progress, Metrically Condensed In Six Cantos Thomas Dibdin / Kniha Brožovaná
common.buy 423 Kč
Extinction Steve Parker / Kniha Brožovaná
common.buy 244 Kč
British Musical Modernism Philip Rupprecht / Kniha Brožovaná
common.buy 1 362 Kč
African Americans on Martha's Vineyard Tom Dresser / Kniha Brožovaná
common.buy 425 Kč
Připravujeme
One Deadly Summer Sébastien Japrisot / Kniha Brožovaná
common.buy 221 Kč
The Atmosphere of Titan Donald M Hunten / Kniha Brožovaná
common.buy 423 Kč
Love Online Penelope Ward / Kniha Brožovaná
common.buy 340 Kč
Original Sanskrit Texts on the Origin and History of the People of India J. Muir / Kniha Brožovaná
common.buy 892 Kč
Cixin Liu's The Wandering Earth Cixin Liu / E-kniha Adobe ePub DRM
common.buy 308 Kč
Bring Him Back Dead Day Keene / E-kniha Adobe ePub DRM
common.buy 140 Kč
Cambridge Companion to Debussy Simon Trezise / Kniha Brožovaná
common.buy 835 Kč
Připravujeme Nové
Sophie, Standing There Meg Mason / Kniha Pevná
common.buy 480 Kč
Noise and Nonlinear Phenomena in Nuclear Systems J.L. Munoz-Cobo / Kniha Brožovaná
common.buy 1 350 Kč
Writing Genevieve White / Kniha Brožovaná
common.buy 362 Kč
Top
Dante Sadie Kincaid / Kniha Brožovaná
common.buy 227 Kč
Short-term Psychodynamic Therapy with Children in Crisis Elisabeth Cleve / Kniha Brožovaná
common.buy 1 475 Kč
First Voyage Round the World, by Magellan / Digital Digital online
common.buy 1 270 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?