Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Runtime Verification

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

Lingua IngleseInglese
Libro In brossura
Libro Runtime Verification Koushik Sen
Codice Libristo: 01661050
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maggio 2012
This book constitutes the thoroughly refereed post-conference proceedings of the Second Internationa... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Výklad reliéfů pekařství Poilâne Roman Kořan / Libro Libro
common.buy 6.29 €
Іслам Bah Slama / Libro elettronico Adobe ePub DRM
common.buy 7.99 €
Betrachtungen über die Grundlagen der Philosophie René Descartes / Libro Rigido
common.buy 8.09 €
Der Einfluss des Internets auf die Psyche eines Menschen Shokhrukhbek Mingboev / Libro In brossura
common.buy 51.19 €
vaso di Pandora. Le donne nel mito greco Natalie Haynes / Libro In brossura
common.buy 22.39 €
Ertrinken ist todlich! Roman Kedor / Libro elettronico Adobe ePub DRM
common.buy 1.09 €
Wilde Jahre Astrid Ruppert / Libro elettronico Adobe ePub DRM
common.buy 11.39 €
Živý film Marek Jícha / Libro Foglio
common.buy 16.89 €
LA NIEVE MARCOS GIL / Libro Rigido
common.buy 15.39 €
Las cláusulas de moralidad en los contratos de patrocinio deportivo Crespo Celda / Libro In brossura
common.buy 41.29 €
LES ANNEES DE COLLEGE FRANCAIS - TOUT POUR REUSSIR Fabienne Pegoraro / Libro In brossura
common.buy 21.29 €
A titkárnő Renée Knight / Libro Rigido
common.buy 10.29 €
El secreto de mi deseo Maribel Pont Pont / Libro In brossura
common.buy 12.59 €
UEber ein vokalisches Problem des Mitteldeutschen Karl Von Bahder / Libro In brossura
common.buy 12.29 €
Propriétés de surfactants ioniques et solubilisation du phénol Tayeb Abram / Libro In brossura
common.buy 61.49 €
Microarray-basierte Resistenzbestimmung in HIV Michaela Schanne / Libro In brossura
common.buy 62.29 €
Lehrgang Arabisch. Standardsprache der Gegenwart Wolfdietrich Fischer / Libro In brossura
common.buy 12.39 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Runtime Verification
Autore Koushik Sen, Sarfaz Khurshid
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2012
Numero di pagine 458
EAN 9783642298592
ISBN 3642298591
Codice Libristo 01661050
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 718
Dimensioni 155 x 235 x 26

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Apoptosis Mohamed Al-Rubeai / Libro Rigido
common.buy 94.39 €
Race Car-Blue Green Toys / Gioco/giocattolo Giocattolo
common.buy 9.39 €
Legendary Locals of Bel Air Carol L. Deibel / Libro In brossura
common.buy 20.59 €
About Crustaceans Cathryn Sill / Libro In brossura
common.buy 8.09 €
The Principle of Mercy: Taking the Crucified People from the Cross Jon Sobrino / Libro In brossura
common.buy 22.79 €
Maddie's Magic Tree Margaret Redfern / Libro In brossura
common.buy 19.99 €
Manor Spirits Tony Foster / Libro In brossura
common.buy 6.49 €
Pilgrim's Progress, Metrically Condensed In Six Cantos Thomas Dibdin / Libro In brossura
common.buy 19.09 €
Extinction Steve Parker / Libro In brossura
common.buy 11.39 €
British Musical Modernism Philip Rupprecht / Libro In brossura
common.buy 60.99 €
African Americans on Martha's Vineyard Tom Dresser / Libro In brossura
common.buy 19.69 €
In preparazione
One Deadly Summer Sébastien Japrisot / Libro In brossura
common.buy 10.29 €
The Atmosphere of Titan Donald M Hunten / Libro In brossura
common.buy 19.19 €
Love Online Penelope Ward / Libro In brossura
common.buy 15.39 €
Original Sanskrit Texts on the Origin and History of the People of India J. Muir / Libro In brossura
common.buy 33.59 €
Cixin Liu's The Wandering Earth Cixin Liu / Libro elettronico Adobe ePub DRM
common.buy 13.19 €
Bring Him Back Dead Day Keene / Libro elettronico Adobe ePub DRM
common.buy 5.99 €
Cambridge Companion to Debussy Simon Trezise / Libro In brossura
common.buy 37.39 €
In preparazione Nuovi
Sophie, Standing There Meg Mason / Libro Rigido
common.buy 22.39 €
Noise and Nonlinear Phenomena in Nuclear Systems J.L. Munoz-Cobo / Libro In brossura
common.buy 53.79 €
Writing Genevieve White / Libro In brossura
common.buy 17.79 €
I migliori
Dante Sadie Kincaid / Libro In brossura
common.buy 11.39 €
Short-term Psychodynamic Therapy with Children in Crisis Elisabeth Cleve / Libro In brossura
common.buy 65.49 €
Original Aramaic New Testament in Plain English with Psalms & Proverbs (8th Edition with Notes) David Bauscher / Libro In brossura
common.buy 61.99 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?