Runtime Verification

16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

ebook,ebook

Yliès Falcone,César Sánchez

Springer Nature Proceedings Computer Science

Kup e-book

Ahorra 10 %Precio de venta: $62.423 CLP.$56.180CLP

Estás en la librería de Chile

¿No estás en Chile? Elige la librería de tu país para ver los libros que puedes comprar.

Elige tu librería

Comprar ahora

¿Por qué leer con nosotros?

Kobo anima a los amantes de los libros a leer más.

Experiencia de lectura mejorada con nuestros eReaders Kobo

Catálogo de libros extenso y relevante

Aplicación de lectura gratuita de Kobo

Sinopsis

Categorías

Acerca de este libro

Idioma:English
ISBN:9783319469829
Fecha de lanzamiento:30 sept 2016
Editorial:Springer International Publishing

Edición:Springer
Formato de archivo:EPUB2
Tamaño de archivo:6.60 MB
Opciones de descarga:EPUB2 (Adobe DRM)

Lecturas relacionadas

Introduction to Machine Learning with Python

Andreas C. Müller, Sarah Guido

$39.349

XBee IEEE 802.15.4 Programming

Agus Kurniawan

$3.084

Programming Interactivity

Joshua Noble

$33.175

BeagleBone Cookbook

Jason Kridner, Mark A. Yoder

$26.229

Graph Transformation

Juan de Lara, Detlef Plump

$56.180

Foundational and Practical Aspects of Resource Analysis

Ugo Dal Lago, Ricardo Peña

$44.943

Numerical Computations with GPUs

Volodymyr Kindratenko

$157.324

Guide to Programming and Algorithms Using R

Özgür Ergül

$56.180

Perspectives of System Informatics

Alexander K. Petrenko, Andrei Voronkov

$56.180

OpenMP: Heterogenous Execution and Data Movements

Christian Terboven, Bronis R. de Supinski, Pablo Reble, Barbara M. Chapman, Matthias S. Müller

$52.809

Engineering Trustworthy Software Systems

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

$56.180

Interactive Theorem Proving

Mauricio Ayala-Rincón, César A. Muñoz

$56.180

Modelling Foundations and Applications

Anthony Anjorin, Huáscar Espinoza

$56.180

Mastering Scale and Complexity in Software Reuse

Goetz Botterweck, Claudia Werner

$56.180

Euro-Par 2015: Parallel Processing

Jesper Larsson Träff, Sascha Hunold, Francesco Versaci

$56.180

Software Engineering and Formal Methods

Alessandro Cimatti, Marjan Sirjani

$56.180

Understanding Control Flow

Peter A. Buhr

$56.180

Interactive Theorem Proving

Stephan Merz, Jasmin Christian Blanchette

$56.180

Software Engineering for Resilient Systems

Alexander Romanovsky, Elena A. Troubitsyna

$56.180

OpenMP: Memory, Devices, and Tasks

Naoya Maruyama, Bronis R. de Supinski, Mohamed Wahib

$56.180

Euro-Par 2016: Parallel Processing

Pierre-François Dutot, Denis Trystram

$56.180

Learn Electronics with Raspberry Pi

Stewart Watkiss

$59.855

Euro-Par 2017: Parallel Processing

Francisco F. Rivera, Tomás F. Pena, José C. Cabaleiro

$56.180

Programming Languages and Systems

Bor-Yuh Evan Chang

$56.180

Runtime Verification

Shuvendu Lahiri, Giles Reger

$56.180

Tools for High Performance Computing 2011

Michael M. Resch, Holger Brunst, Matthias S. Müller, Wolfgang E. Nagel

$101.133

Advances in Data Mining. Applications and Theoretical Aspects

Petra Perner

$56.180

Wireless Algorithms, Systems, and Applications

Kuai Xu, Haojin Zhu

$56.180

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments

Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale, Tiffany M. Mintz

$56.180

Formal Aspects of Component Software

José Proença, Markus Lumpe

$56.180

Beginning SQL Queries

Clare Churcher

$59.855

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

$56.180

Python for Graph and Network Analysis

Mohammed Zuhair Al-Taie, Seifedine Kadry

$123.609

ModelEd, TestEd, TrustEd

Arend Rensink, Joost-Pieter Katoen, Rom Langerak

$56.180

Introduction to Software Quality

Gerard O’Regan

$50.561

Languages and Compilers for Parallel Computing

Chen Ding, John Criswell, Peng Wu

$56.180

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$56.180

Data Mining Algorithms in C++

Timothy Masters

$84.018

Reversible Computation

Simon Devitt, Ivan Lanese

$56.180

High Performance Computing

Julian M. Kunkel, Rio Yokota, Michela Taufer, John Shalf

$56.180

NASA Formal Methods

Clark Barrett, Misty Davies, Temesghen Kahsai

$56.180

Algorithmic Aspects of Cloud Computing

Timos Sellis, Konstantinos Oikonomou

$56.180

Runtime Verification

Ezio Bartocci, Rupak Majumdar

$56.180

Data Mining and Big Data

Ying Tan, Hideyuki Takagi, Yuhui Shi

$56.180

Practical Aspects of Declarative Languages

John Reppy, Marco Gavanelli

$44.943

Tools and Methods of Program Analysis

Vladimir Itsykson, Andre Scedrov, Victor Zakharov

$56.180

Functional Data Structures in R

Thomas Mailund

$28.343

Small Dynamic Complexity Classes

Thomas Zeume

$56.180

Ver más por autor

Formal Methods in Outer Space

Ezio Bartocci, Yliès Falcone, Martin Leucker

$61.799

¿Te ha gustado el libro?

¡Sé la primera persona en valorar y reseñar este libro!

Esta es nuestra librería de Chile.

Runtime Verification

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

Lecturas relacionadas

Introduction to Machine Learning with Python

XBee IEEE 802.15.4 Programming

Programming Interactivity

BeagleBone Cookbook

Graph Transformation

Foundational and Practical Aspects of Resource Analysis

Numerical Computations with GPUs

Guide to Programming and Algorithms Using R

Perspectives of System Informatics

OpenMP: Heterogenous Execution and Data Movements

Engineering Trustworthy Software Systems

Interactive Theorem Proving

Modelling Foundations and Applications

Mastering Scale and Complexity in Software Reuse

Euro-Par 2015: Parallel Processing

Software Engineering and Formal Methods

Understanding Control Flow

Interactive Theorem Proving

Software Engineering for Resilient Systems

OpenMP: Memory, Devices, and Tasks

Euro-Par 2016: Parallel Processing

Learn Electronics with Raspberry Pi

Euro-Par 2017: Parallel Processing

Programming Languages and Systems

Runtime Verification

Tools for High Performance Computing 2011

Advances in Data Mining. Applications and Theoretical Aspects

Wireless Algorithms, Systems, and Applications

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments

Formal Aspects of Component Software

Beginning SQL Queries

Logic-Based Program Synthesis and Transformation

Python for Graph and Network Analysis

ModelEd, TestEd, TrustEd

Introduction to Software Quality

Languages and Compilers for Parallel Computing

Tools and Algorithms for the Construction and Analysis of Systems

Data Mining Algorithms in C++

Reversible Computation

High Performance Computing

NASA Formal Methods

Algorithmic Aspects of Cloud Computing

Runtime Verification

Data Mining and Big Data

Practical Aspects of Declarative Languages

Tools and Methods of Program Analysis

Functional Data Structures in R

Small Dynamic Complexity Classes

Ver más por autor

Formal Methods in Outer Space

¿Te ha gustado el libro?

eBooks

Audiolibros

¿Por qué leer con nosotros?

Ver más por autor

Formal Methods in Outer Space

¿Te ha gustado el libro?

Últimas publicaciones del blog

Lecturas relacionadas

Introduction to Machine Learning with Python

XBee IEEE 802.15.4 Programming

Programming Interactivity

BeagleBone Cookbook

Graph Transformation

Foundational and Practical Aspects of Resource Analysis

Numerical Computations with GPUs

Guide to Programming and Algorithms Using R

Perspectives of System Informatics

OpenMP: Heterogenous Execution and Data Movements

Engineering Trustworthy Software Systems

Interactive Theorem Proving

Modelling Foundations and Applications