Model Checking Software

29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings

Georgiana Caltais,Christian Schilling

Springer Nature Proceedings Computer Science

Comprar el eBook

Ahorra 10 %Precio de venta: $68.665 CLP.$61.799CLP

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:9783031321573
Fecha de lanzamiento:2 may 2023
Editorial:Springer Nature Switzerland

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

Lecturas relacionadas

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

Gratis

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman

Gratis

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Tomáš Vojnar, Lijun Zhang

Gratis

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Gratis

Computer Aided Verification

Sharon Shoham, Yakir Vizel

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratis

Computer Aided Verification

Sharon Shoham, Yakir Vizel

Gratis

Encyclopedia of Computer Science and Technology

Allen Kent, James G. Williams

$62.153

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratis

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Theoretical Aspects of Software Engineering

Cristina David, Meng Sun

$84.276

Topics in Cryptology – CT-RSA 2018

Nigel P. Smart

$56.180

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

$101.133

Formal Methods

Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

$101.133

Formal Aspects of Component Software

Gwen Salaün, Anton Wijs

$50.561

Progress in Cryptology – INDOCRYPT 2017

Arpita Patra, Nigel P. Smart

$56.180

Progress in Cryptology - AFRICACRYPT 2022

Lejla Batina, Joan Daemen

$56.180

Formal Techniques for Distributed Objects, Components, and Systems

Mohammad Reza Mousavi, Anna Philippou

$78.657

Advances in Cryptology – ASIACRYPT 2017

Tsuyoshi Takagi, Thomas Peyrin

$123.609

Verification, Model Checking, and Abstract Interpretation

Cezara Dragoi, Michael Emmi, Jingbo Wang

$84.276

Advances in Cryptology – EUROCRYPT 2016

Marc Fischlin, Jean-Sébastien Coron

$101.133

Runtime Verification

Yliès Falcone, César Sánchez

$56.180

Software Engineering and Formal Methods

Radu Calinescu, Corina S. Păsăreanu

$89.895

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Formal Methods

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

$112.372

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

$101.133

Automated Technology for Verification and Analysis

Zhe Hou, Vijay Ganesh

$84.276

Software Verification

Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina

$61.799

Static Analysis

Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi

$89.895

Progress in Cryptology – LATINCRYPT 2021

Patrick Longa, Carla Ràfols

$89.895

NASA Formal Methods

Kristin Yvonne Rozier, Swarat Chaudhuri

$101.133

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Runtime Verification

Jyotirmoy Deshmukh, Dejan Ničković

$56.180

Formal Aspects of Component Software

Kyungmin Bae, Peter Csaba Ölveczky

$56.180

Advances in Cryptology – CRYPTO 2017

Jonathan Katz, Hovav Shacham

$101.133

Model Checking Software

Alfons Laarman, Ana Sokolova

$56.180

Public-Key Cryptography – PKC 2018

Michel Abdalla, Ricardo Dahab

$56.180

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

$101.133

Constructive Side-Channel Analysis and Secure Design

Guido Marco Bertoni, Francesco Regazzoni

$56.180

Selected Areas in Cryptography - SAC 2015

Orr Dunkelman, Liam Keliher

$56.180

Advances in Cryptology – ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

$56.180

NASA Formal Methods

Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez

$134.848

Advances in Cryptology – EUROCRYPT 2018

Jesper Buus Nielsen, Vincent Rijmen

$157.324

Topics in Cryptology - CT-RSA 2016

Kazue Sako

$56.180

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

$101.133

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner, Thomas Wies

$101.133

Selected Areas in Cryptography -- SAC 2013

Tanja Lange, Kristin Lauter, Petr Lisoněk

$56.180

Fundamentals of Software Engineering

Hossein Hojjat, Erika Ábrahám

$67.418

Applied Cryptography and Network Security

Mehdi Tibouchi, XiaoFeng Wang

$123.609

Public-Key Cryptography – PKC 2018

Michel Abdalla, Ricardo Dahab

$56.180

Advances in Information and Computer Security

Toru Nakanishi, Ryo Nojima

$89.895

Progress in Cryptology – AFRICACRYPT 2016

David Pointcheval, Abderrahmane Nitaj, Tajjeeddine Rachidi

$56.180

Information and Communications Security

Weizhi Meng, Dieter Gollmann, Christian D. Jensen, Jianying Zhou

$56.180

Information Security and Cryptology – ICISC 2017

Howon Kim, Dong-Chan Kim

$56.180

Topics in Cryptology – CT-RSA 2017

Helena Handschuh

$56.180

Advances in Cryptology – CRYPTO 2017

Jonathan Katz, Hovav Shacham

$101.133

Similarity Search and Applications

Laurent Amsaleg, Michael E. Houle, Erich Schubert

$56.180

Fast Software Encryption

Thomas Peyrin

$95.514

Selected Areas in Cryptography – SAC 2016

Howard Heys, Roberto Avanzi

$56.180

Selected Areas in Cryptography – SAC 2017

Carlisle Adams, Jan Camenisch

$56.180

Automated Technology for Verification and Analysis

Dang Van Hung, Oleg Sokolsky

$56.180

Dependable Software Engineering. Theories, Tools, and Applications

Wei Dong, Jean-Pierre Talpin

$73.037

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Pierre Schaus

$89.895

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

$56.180

Advances in Cryptology – EUROCRYPT 2021

Anne Canteaut, François-Xavier Standaert

$134.848

Innovative Security Solutions for Information Technology and Communications

Mihai Doinea, Helge Janicke, Giampaolo Bella

$84.276

Codes, Cryptology and Information Security

Said El Hajji, Sihem Mesnager, El Mamoun Souidi

$89.895

Selected Areas in Cryptography

Riham AlTawy, Andreas Hülsing

$89.895

Progress in Cryptology -- LATINCRYPT 2015

Kristin Lauter, Francisco Rodríguez-Henríquez

$56.180

Automated Technology for Verification and Analysis

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

$84.276

Similarity Search and Applications

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

$73.037

Runtime Verification

Lu Feng, Dana Fisman

$84.276

Advances in Cryptology – EUROCRYPT 2022

Orr Dunkelman, Stefan Dziembowski

$123.609

Theoretical Aspects of Software Engineering

Yamine Aït-Ameur, Florin Crăciun

$95.514

Tests and Proofs

Virgile Prevosto, Cristina Seceleanu

$56.180

Integrated Formal Methods

Brijesh Dongol, Elena Troubitsyna

$56.180

Lightweight Cryptography for Security and Privacy

Andrey Bogdanov

$56.180

Post-Quantum Cryptography

Thomas Johansson, Daniel Smith-Tone

$134.848

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

$56.180

Progress in Cryptology - AFRICACRYPT 2017

Marc Joye, Abderrahmane Nitaj

$56.180

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

$56.180

Fundamentals of Software Engineering

Hossein Hojjat, Mieke Massink

$78.657

Advances in Cryptology – CRYPTO 2016

Matthew Robshaw, Jonathan Katz

$56.180

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

$56.180

Applied Cryptography and Network Security

Dieter Gollmann, Atsuko Miyaji, Hiroaki Kikuchi

$56.180

Cyber Security, Cryptology, and Machine Learning

Shlomi Dolev, Ehud Gudes, Pascal Paillier

$101.133

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

$101.133

Lightweight Cryptography for Security and Privacy

Thomas Eisenbarth, Erdinç Öztürk

$44.943

Advances in Cryptology – CRYPTO 2016

Jonathan Katz, Matthew Robshaw

$56.180

Information Security and Cryptology

Kefei Chen, Dongdai Lin, Moti Yung

$56.180

Paradigms in Cryptology – Mycrypt 2016. Malicious and Exploratory Cryptology

Raphaël C.-W. Phan, Moti Yung

$56.180

Formal Modeling and Analysis of Timed Systems

Sergiy Bogomolov, David Parker

$61.799

Smart Card Research and Advanced Applications

Kerstin Lemke-Rust, Michael Tunstall

$56.180

Ver más por autor

AI Verification

Guy Avni, Christian Schilling

$73.037

AI Verification

Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling

$134.848

¿Te ha gustado el libro?

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

Esta es nuestra librería de Chile.

Model Checking Software

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

Lecturas relacionadas

Computer Aided Verification

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Encyclopedia of Computer Science and Technology

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Theoretical Aspects of Software Engineering

Topics in Cryptology – CT-RSA 2018

Advances in Cryptology – ASIACRYPT 2016

Formal Methods

Formal Aspects of Component Software

Progress in Cryptology – INDOCRYPT 2017

Progress in Cryptology - AFRICACRYPT 2022

Formal Techniques for Distributed Objects, Components, and Systems

Advances in Cryptology – ASIACRYPT 2017

Verification, Model Checking, and Abstract Interpretation

Advances in Cryptology – EUROCRYPT 2016

Runtime Verification

Software Engineering and Formal Methods

Computer Aided Verification

Formal Methods

Advances in Cryptology – EUROCRYPT 2017

Automated Technology for Verification and Analysis

Software Verification

Static Analysis

Progress in Cryptology – LATINCRYPT 2021

NASA Formal Methods

Computer Aided Verification

Runtime Verification

Formal Aspects of Component Software

Advances in Cryptology – CRYPTO 2017

Model Checking Software

Public-Key Cryptography – PKC 2018

Advances in Cryptology – EUROCRYPT 2017

Constructive Side-Channel Analysis and Secure Design

Selected Areas in Cryptography - SAC 2015

Advances in Cryptology – ASIACRYPT 2015

NASA Formal Methods

Advances in Cryptology – EUROCRYPT 2018

Topics in Cryptology - CT-RSA 2016

Advances in Cryptology – EUROCRYPT 2017

Verification, Model Checking, and Abstract Interpretation

Selected Areas in Cryptography -- SAC 2013

Fundamentals of Software Engineering

Applied Cryptography and Network Security

Public-Key Cryptography – PKC 2018

Advances in Information and Computer Security

Progress in Cryptology – AFRICACRYPT 2016

Information and Communications Security

Information Security and Cryptology – ICISC 2017

Topics in Cryptology – CT-RSA 2017

Advances in Cryptology – CRYPTO 2017

Similarity Search and Applications

Fast Software Encryption

Selected Areas in Cryptography – SAC 2016

Selected Areas in Cryptography – SAC 2017

Automated Technology for Verification and Analysis

Dependable Software Engineering. Theories, Tools, and Applications

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Formal Methods and Software Engineering

Advances in Cryptology – EUROCRYPT 2021

Innovative Security Solutions for Information Technology and Communications

Codes, Cryptology and Information Security

Selected Areas in Cryptography

Progress in Cryptology -- LATINCRYPT 2015