Runtime Verification

20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

Jyotirmoy Deshmukh,Dejan Ničković

Springer Nature Proceedings Computer Science

Buy the 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:9783030605087
Fecha de lanzamiento:8 oct 2020
Editorial:Springer International Publishing

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

En esta serie

NASA Formal Methods

Jyotirmoy Deshmukh,Klaus Havelund,Alessandro Pinto

Lecturas relacionadas

Python: Advanced Guide to Artificial Intelligence

Giuseppe Bonaccorso, Armando Fandango, Rajalingappaa Shanmugamani

$38.574

o Gratis con Kobo Plus

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Fundamental Approaches to Software Engineering

Reiner Hähnle, Wil van der Aalst

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Tomáš Vojnar, Lijun Zhang

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman

Gratis

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

Gratis

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

Gratis

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

Gratis

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Tomáš Vojnar, Lijun Zhang

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratis

Computer Aided Verification

Sharon Shoham, Yakir Vizel

Gratis

Fundamental Approaches to Software Engineering

Alessandra Russo, Andy Schürr

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratis

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Encyclopedia of Computer Science and Technology

Allen Kent, James G. Williams

$62.153

Computer Aided Verification

Sharon Shoham, Yakir Vizel

Gratis

Runtime Verification

Yliès Falcone, César Sánchez

$56.180

NASA Formal Methods

Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez

$134.848

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Tiziana Margaria, Bernhard Steffen

$95.514

Runtime Verification

Shuvendu Lahiri, Giles Reger

$56.180

Software Engineering and Formal Methods

Radu Calinescu, Corina S. Păsăreanu

$89.895

NASA Formal Methods

Aaron Dutle, César Muñoz, Anthony Narkawicz

$56.180

Formal Methods

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

$112.372

NASA Formal Methods

Kristin Yvonne Rozier, Swarat Chaudhuri

$101.133

Runtime Verification

Ezio Bartocci, Rupak Majumdar

$56.180

Theoretical Aspects of Software Engineering

Cristina David, Meng Sun

$84.276

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner, Thomas Wies

$101.133

Model Checking Software

Georgiana Caltais, Christian Schilling

$61.799

Formal Aspects of Component Software

Gwen Salaün, Anton Wijs

$50.561

Model Checking Software

Alfons Laarman, Ana Sokolova

$56.180

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

$56.180

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Tiziana Margaria, Bernhard Steffen

$56.180

NASA Formal Methods

Sanjai Rayadurgam, Oksana Tkachuk

$73.037

Software Engineering and Formal Methods

Rocco De Nicola, Eva Kühn

$56.180

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

$56.180

Verification, Model Checking, and Abstract Interpretation

Cezara Dragoi, Michael Emmi, Jingbo Wang

$84.276

Applied Cryptography and Network Security

Dieter Gollmann, Atsuko Miyaji, Hiroaki Kikuchi

$56.180

Software Verification

Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina

$61.799

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

$56.180

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

$56.180

Topics in Cryptology – CT-RSA 2018

Nigel P. Smart

$56.180

Formal Aspects of Component Software

Kyungmin Bae, Peter Csaba Ölveczky

$56.180

NASA Formal Methods

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez

$95.514

Software Engineering and Formal Methods

Bernd-Holger Schlingloff, Ming Chai

$73.037

Fundamental Approaches to Software Engineering

Perdita Stevens, Andrzej Wąsowski

$56.180

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

$56.180

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

$56.180

Integrated Formal Methods

Maurice H. ter Beek, Rosemary Monahan

$84.276

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

$56.180

Fundamental Approaches to Software Engineering

Marieke Huisman, Julia Rubin

$56.180

Similarity Search and Applications

Laurent Amsaleg, Michael E. Houle, Erich Schubert

$56.180

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

$56.180

Formal Aspects of Component Software

Olga Kouchnarenko, Ramtin Khosravi

$56.180

Integrated Formal Methods

Erika Ábrahám, Marieke Huisman

$89.895

Verified Software. Theories, Tools, and Experiments

Sandrine Blazy, Marsha Chechik

$56.180

Automated Technology for Verification and Analysis

Dang Van Hung, Oleg Sokolsky

$56.180

Advances in Cryptology – CRYPTO 2017

Jonathan Katz, Hovav Shacham

$101.133

Automated Technology for Verification and Analysis

Ahmed Bouajjani, Lukáš Holík, Zhilin Wu

$84.276

Testing Software and Systems

Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün

$56.180

Runtime Verification

Thao Dang, Volker Stolz

$73.037

Cryptology and Network Security

Sara Foresti, Giuseppe Persiano

$56.180

Computer Security – ESORICS 2017

Simon N. Foley, Dieter Gollmann, Einar Snekkenes

$56.180

Tests and Proofs

Virgile Prevosto, Cristina Seceleanu

$56.180

Similarity Search and Applications

Christian Beecks, Felix Borutta, Peer Kröger, Thomas Seidl

$73.037

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

$101.133

Practical Aspects of Declarative Languages

John Reppy, Marco Gavanelli

$44.943

NASA Formal Methods

Clark Barrett, Misty Davies, Temesghen Kahsai

$56.180

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Tiziana Margaria, Bernhard Steffen

$101.133

Fundamentals of Software Engineering

Hossein Hojjat, Mieke Massink

$78.657

Database and Expert Systems Applications

Djamal Benslimane, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain, Amit Sheth, Roland R. Wagner

$56.180

Advances in Cryptology – EUROCRYPT 2016

Marc Fischlin, Jean-Sébastien Coron

$101.133

Perspectives of System Informatics

Manuel Mazzara, Andrei Voronkov

$56.180

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Willem-Jan van Hoeve

$56.180

Codes, Cryptology and Information Security

Said El Hajji, Sihem Mesnager, El Mamoun Souidi

$89.895

Hardware and Software: Verification and Testing

Nir Piterman

$52.809

Smart Card Research and Advanced Applications

Amir Moradi, Marc Joye

$52.809

SOFSEM 2018: Theory and Practice of Computer Science

A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jiří Wiedermann

$56.180

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi

$73.037

Topics in Cryptology - CT-RSA 2016

Kazue Sako

$56.180

Formal Techniques for Distributed Objects, Components, and Systems

Christel Baier, Luís Caires

$56.180

Verified Software. Theories, Tools, and Experiments

Andrei Paskevich, Thomas Wies

$56.180

Applied Cryptography and Network Security

Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider

$56.180

Applied Cryptography and Network Security

Tal Malkin, Vladimir Kolesnikov, Michalis Polychronakis, Allison Lewko

$56.180

Meta-Programming and Model-Driven Meta-Program Development

Vytautas Štuikys, Robertas Damaševičius

$101.133

Principles and Practice of Constraint Programming

J. Christopher Beck

$56.180

Fundamentals of Software Engineering

Hossein Hojjat, Erika Ábrahám

$67.418

Information Security

Matt Bishop, Anderson C A Nascimento

$56.180

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$56.180

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$56.180

Information Security and Privacy

Josef Pieprzyk, Suriadi Suriadi

$56.180

Progress in Cryptology – INDOCRYPT 2017

Arpita Patra, Nigel P. Smart

$56.180

Ver más por autor

NASA Formal Methods

Jyotirmoy Deshmukh, Klaus Havelund, Alessandro Pinto

$82.028

¿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

NASA Formal Methods

Lecturas relacionadas

Python: Advanced Guide to Artificial Intelligence

Computer Aided Verification

Fundamental Approaches to Software Engineering

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Fundamental Approaches to Software Engineering

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Encyclopedia of Computer Science and Technology

Computer Aided Verification

Runtime Verification

NASA Formal Methods

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Runtime Verification

Software Engineering and Formal Methods

NASA Formal Methods

Formal Methods

NASA Formal Methods

Runtime Verification

Theoretical Aspects of Software Engineering

Verification, Model Checking, and Abstract Interpretation

Model Checking Software

Formal Aspects of Component Software

Model Checking Software

Formal Methods and Software Engineering

Leveraging Applications of Formal Methods, Verification and Validation. Verification

NASA Formal Methods

Software Engineering and Formal Methods

Computer Aided Verification

Verification, Model Checking, and Abstract Interpretation

Applied Cryptography and Network Security

Software Verification

Computer Aided Verification

Formal Aspects of Component Software

Tools and Algorithms for the Construction and Analysis of Systems

Topics in Cryptology – CT-RSA 2018

Formal Aspects of Component Software

NASA Formal Methods

Software Engineering and Formal Methods

Fundamental Approaches to Software Engineering

Formal Methods and Software Engineering

Computer Aided Verification

Integrated Formal Methods

FM 2016: Formal Methods

Fundamental Approaches to Software Engineering

Similarity Search and Applications

Verification, Model Checking, and Abstract Interpretation

Formal Aspects of Component Software

Integrated Formal Methods

Verified Software. Theories, Tools, and Experiments

Automated Technology for Verification and Analysis

Advances in Cryptology – CRYPTO 2017

Automated Technology for Verification and Analysis

Testing Software and Systems

Runtime Verification

Cryptology and Network Security

Computer Security – ESORICS 2017

Tests and Proofs

Similarity Search and Applications

Computer Aided Verification

Advances in Cryptology – ASIACRYPT 2016