Runtime Verification

6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

ebook,ebook

Ezio Bartocci,Rupak Majumdar

Springer Nature Proceedings Computer Science

Comprar el eBook

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:9783319238203
Fecha de lanzamiento:20 may 2017
Editorial:Springer International Publishing

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

En esta serie

Computational Methods in Systems Biology

Ezio Bartocci,Pietro Lio,Nicola Paoletti

Lecturas relacionadas

Logical Foundations of Computer Science

Sergei Artemov, Anil Nerode

$56.180

Formal Aspects of Component Software

José Proença, Markus Lumpe

$56.180

Formal Modeling and Analysis of Timed Systems

Alessandro Abate, Gilles Geeraerts

$56.180

Introduction to Scilab

Sandeep Nagar

$49.358

ModelEd, TestEd, TrustEd

Arend Rensink, Joost-Pieter Katoen, Rom Langerak

$56.180

Static Analysis

Xavier Rival

$56.180

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

$56.180

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Jiří Sgall

$56.180

Semantics, Logics, and Calculi

Christian W. Probst, Chris Hankin, René Rydhof Hansen

$56.180

NASA Formal Methods

Clark Barrett, Misty Davies, Temesghen Kahsai

$56.180

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$56.180

Introduction to Octave

Sandeep Nagar

$59.855

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

$56.180

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$56.180

Small Dynamic Complexity Classes

Thomas Zeume

$56.180

Theory and Practice of Formal Methods

Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen

$56.180

Information and Communication Technologies in Education, Research, and Industrial Applications

Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis

$56.180

Hardware and Software: Verification and Testing

Roderick Bloem, Eli Arbel

$56.180

Logic and Its Applications

Sujata Ghosh, Sanjiva Prasad

$56.180

Structured Object-Oriented Formal Language and Method

Zhenhua Duan, Shaoying Liu

$56.180

Information Security

Yvo Desmedt

$56.180

Conceptual Modeling

Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor

$56.180

Software Engineering for Resilient Systems

Ivica Crnkovic, Elena Troubitsyna

$56.180

Logic for Programming, Artificial Intelligence, and Reasoning

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

$56.180

Mathematics of Program Construction

Ralf Hinze, Janis Voigtländer

$56.180

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Tiziana Margaria, Bernhard Steffen

$56.180

Programming Languages and Systems

Atsushi Igarashi

$56.180

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

$56.180

Automated Reasoning

Nicola Olivetti, Ashish Tiwari

$89.895

Automated Technology for Verification and Analysis

Cyrille Artho, Axel Legay, Doron Peled

$56.180

Essentials of Constraint Programming

Thom Frühwirth, Slim Abdennadher

$56.180

Static Analysis

Sandrine Blazy, Thomas Jensen

$56.180

Theory and Applications of Models of Computation

Silvia Steila, T.V. Gopal, Gerhard Jäger

$56.180

Rewriting Logic and Its Applications

Santiago Escobar

$52.809

Interactive Theorem Proving

Stephan Merz, Jasmin Christian Blanchette

$56.180

Descriptional Complexity of Formal Systems

Giovanni Pighizzini, Cezar Câmpeanu

$56.180

Fundamental Approaches to Software Engineering

Perdita Stevens, Andrzej Wąsowski

$56.180

PRIMA 2016: Principles and Practice of Multi-Agent Systems

Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni

$56.180

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

$56.180

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

$56.180

Computer Science -- Theory and Applications

Lev D. Beklemishev, Daniil V. Musatov

$56.180

Trends in Functional Programming

Manuel Serrano, Jurriaan Hage

$44.943

Foundations of Software Science and Computation Structures

Bart Jacobs, Christof Löding

$56.180

FME 2003: Formal Methods

Keijiro Araki, Stefania Gnesi, Dion Mandrioli

$101.133

Software Engineering and Formal Methods

Rocco De Nicola, Eva Kühn

$56.180

Perspectives of System Informatics

Manuel Mazzara, Andrei Voronkov

$56.180

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

$56.180

Verified Software. Theories, Tools, and Experiments

Sandrine Blazy, Marsha Chechik

$56.180

Computer Science – Theory and Applications

Pascal Weil

$56.180

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

$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

En esta serie

Computational Methods in Systems Biology

Lecturas relacionadas

Logical Foundations of Computer Science

Formal Aspects of Component Software

Formal Modeling and Analysis of Timed Systems

Introduction to Scilab

ModelEd, TestEd, TrustEd

Static Analysis

Logic-Based Program Synthesis and Transformation

Topics in Theoretical Computer Science

Semantics, Logics, and Calculi

NASA Formal Methods

Tools and Algorithms for the Construction and Analysis of Systems

Introduction to Octave

Formal Methods and Software Engineering

Tools and Algorithms for the Construction and Analysis of Systems

Small Dynamic Complexity Classes

Theory and Practice of Formal Methods

Information and Communication Technologies in Education, Research, and Industrial Applications

Hardware and Software: Verification and Testing

Logic and Its Applications

Structured Object-Oriented Formal Language and Method

Information Security

Conceptual Modeling

Software Engineering for Resilient Systems

Logic for Programming, Artificial Intelligence, and Reasoning

Mathematics of Program Construction

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Programming Languages and Systems

Formal Methods and Software Engineering

Automated Reasoning

Automated Technology for Verification and Analysis

Essentials of Constraint Programming

Static Analysis

Theory and Applications of Models of Computation

Rewriting Logic and Its Applications

Interactive Theorem Proving

Descriptional Complexity of Formal Systems

Fundamental Approaches to Software Engineering

PRIMA 2016: Principles and Practice of Multi-Agent Systems

Interactive Theorem Proving

Formal Aspects of Component Software

Computer Science -- Theory and Applications

Trends in Functional Programming

Foundations of Software Science and Computation Structures

FME 2003: Formal Methods

Software Engineering and Formal Methods

Perspectives of System Informatics

Theoretical Aspects of Computing – ICTAC 2016

Verified Software. Theories, Tools, and Experiments

Computer Science – Theory and Applications

Theoretical Aspects of Computing - ICTAC 2015

Ver más por autor

Formal Methods in Outer Space

¿Te ha gustado el libro?

eBooks

Audiolibros

¿Por qué leer con nosotros?

Lecturas relacionadas

Logical Foundations of Computer Science

Formal Aspects of Component Software

Formal Modeling and Analysis of Timed Systems

Introduction to Scilab

ModelEd, TestEd, TrustEd

Static Analysis

Logic-Based Program Synthesis and Transformation

Topics in Theoretical Computer Science

Semantics, Logics, and Calculi

NASA Formal Methods

Tools and Algorithms for the Construction and Analysis of Systems

Introduction to Octave

Formal Methods and Software Engineering