Static Analysis

30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings

Manuel V. Hermenegildo,José F. Morales

Springer Nature Proceedings Computer Science

Comprar el eBook

Ahorra 10 %Precio de venta: $99.884 CLP.$89.895CLP

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:9783031442452
Fecha de lanzamiento:9 feb 2024
Editorial:Springer Nature Switzerland

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

Lecturas relacionadas

Programming Languages and Systems

Amal Ahmed

Gratis

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

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

Formal Methods

André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

Gratis

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Gratis

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Programming Languages and Systems

Thomas Wies

Gratis

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

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

Constantin Enea, Akash Lal

Gratis

Computer Aided Verification

Sharon Shoham, Yakir Vizel

Gratis

Cryptography and Coding

Máire O'Neill

$56.180

Static Analysis

Sandrine Blazy, Thomas Jensen

$56.180

Programming Languages and Systems

Bor-Yuh Evan Chang

$56.180

Public-Key Cryptography – PKC 2018

Michel Abdalla, Ricardo Dahab

$56.180

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

$56.180

Static Analysis

Francesco Ranzato

$56.180

Static Analysis

Xavier Rival

$56.180

Static Analysis

Gagandeep Singh, Caterina Urban

$78.657

Automated Technology for Verification and Analysis

Zhe Hou, Vijay Ganesh

$84.276

Advances in Cryptology – CRYPTO 2016

Matthew Robshaw, Jonathan Katz

$56.180

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner, Thomas Wies

$101.133

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

$56.180

Formal Aspects of Component Software

Gwen Salaün, Anton Wijs

$50.561

Theoretical Aspects of Software Engineering

Cristina David, Meng Sun

$84.276

Static Analysis

Hakjoo Oh, Yulei Sui

$82.028

Verification, Model Checking, and Abstract Interpretation

Fritz Henglein, Sharon Shoham, Yakir Vizel

$101.133

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

$101.133

Automated Technology for Verification and Analysis

Étienne André, Jun Sun

$84.276

Integrated Formal Methods

Ferruccio Damiani, Marie Farrell

$73.037

Foundations of Information and Knowledge Systems

Ivan Varzinczak

$78.657

Integrated Formal Methods

Brijesh Dongol, Elena Troubitsyna

$56.180

Perspectives of System Informatics

Manuel Mazzara, Andrei Voronkov

$56.180

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

$56.180

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

$101.133

Advances in Cryptology – ASIACRYPT 2017

Tsuyoshi Takagi, Thomas Peyrin

$123.609

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$56.180

Advances in Cryptology – EUROCRYPT 2016

Marc Fischlin, Jean-Sébastien Coron

$101.133

Rigorous Methods in Theory and Practice

Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe, Bernhard Thalheim

$73.037

Public-Key Cryptography – PKC 2022

Goichiro Hanaoka, Junji Shikata, Yohei Watanabe

$101.133

Theoretical Aspects of Computing – ICTAC 2022

Helmut Seidl, Zhiming Liu, Corina S. Pasareanu

$56.180

Progress in Cryptology – AFRICACRYPT 2016

David Pointcheval, Abderrahmane Nitaj, Tajjeeddine Rachidi

$56.180

Public-Key Cryptography – PKC 2018

Michel Abdalla, Ricardo Dahab

$56.180

Advances in Cryptology – EUROCRYPT 2018

Jesper Buus Nielsen, Vincent Rijmen

$157.324

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

$56.180

Verification, Model Checking, and Abstract Interpretation

Cezara Dragoi, Michael Emmi, Jingbo Wang

$84.276

Advances in Cryptology – ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

$56.180

Formal Techniques for Distributed Objects, Components, and Systems

Laura Bocchi, Burcu Kulahcioglu Ozkan

$64.047

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

$101.133

Static Analysis

Roberto Giacobazzi, Alessandra Gorla

$89.895

Advances in Cryptology – EUROCRYPT 2023

Carmit Hazay, Martijn Stam

$112.372

Formal Methods

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

$112.372

Public-Key Cryptography – PKC 2024

Qiang Tang, Vanessa Teague

$146.087

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

$101.133

Formal Methods

Augusto Sampaio, Marielle Stoelinga

Gratis

Advances in Cryptology – CRYPTO 2017

Jonathan Katz, Hovav Shacham

$101.133

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

$101.133

Theoretical Aspects of Computing – ICTAC 2025

Zhiming Liu, Adnane Saoud, Heike Wehrheim

$82.028

Tests and Proofs

Virgile Prevosto, Cristina Seceleanu

$56.180

Logic-Based Program Synthesis and Transformation

Emanuele De Angelis, Wim Vanhoof

$61.799

Advances in Cryptology – EUROCRYPT 2026

Joan Daemen, Emmanuel Thomé

$82.028

Static Analysis

Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi

$89.895

Topics in Cryptology - CT-RSA 2016

Kazue Sako

$56.180

Formal Techniques for Distributed Objects, Components, and Systems

Mohammad Reza Mousavi, Anna Philippou

$78.657

Formal Aspects of Component Software

Kyungmin Bae, Peter Csaba Ölveczky

$56.180

Advances in Cryptology – CRYPTO 2017

Jonathan Katz, Hovav Shacham

$101.133

Advances in Cryptology – EUROCRYPT 2016

Marc Fischlin, Jean-Sébastien Coron

$101.133

Software Engineering and Formal Methods

Radu Calinescu, Corina S. Păsăreanu

$89.895

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

$56.180

Advances in Cryptology -- CRYPTO 2012

Ran Canetti, Reihaneh Safavi-Naini

$56.180

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

$56.180

Runtime Verification

Yliès Falcone, César Sánchez

$56.180

Advances in Cryptology -- ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

$101.133

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

$52.809

Computer Aided Verification

Ruzica Piskac, Zvonimir Rakamarić

Gratis

Provably Correct Systems

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog

$101.133

NASA Formal Methods

Kristin Yvonne Rozier, Swarat Chaudhuri

$101.133

Runtime Verification

Panagiotis Katsaros, Laura Nenzi

$78.657

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

$56.180

Principles of Formal Quantitative Analysis

Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz

$82.028

NASA Formal Methods

Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez

$134.848

Model Checking Software

Georgiana Caltais, Christian Schilling

$61.799

Public-Key Cryptography – PKC 2017

Serge Fehr

$56.180

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

$101.133

Dependable Software Engineering. Theories, Tools, and Applications

Ji Wang, Kim Guldstrand Larsen, Oleg Sokolsky

$56.180

Progress in Cryptology -- LATINCRYPT 2015

Kristin Lauter, Francisco Rodríguez-Henríquez

$56.180

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

$44.943

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

$56.180

Theory of Cryptography

Martin Hirt, Adam Smith

$56.180

Theoretical Aspects of Computing – ICTAC 2020

Violet Ka I Pun, Volker Stolz, Adenilso Simao

$56.180

Progress in Cryptology - AFRICACRYPT 2025

Abderrahmane Nitaj, Svetla Petkova-Nikova, Vincent Rijmen

$89.895

Principles of Systems Design

Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar

$101.133

Ver más por autor

Prolog: The Next 50 Years

David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi

$95.514

Practical Aspects of Declarative Languages

José F. Morales, Dominic Orchard

$56.180

¿Te ha gustado el libro?

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

Esta es nuestra librería de Chile.

Static Analysis

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

Lecturas relacionadas

Programming Languages and Systems

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

Formal Methods

Computer Aided Verification

Computer Aided Verification

Programming Languages and Systems

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Computer Aided Verification

Cryptography and Coding

Static Analysis

Programming Languages and Systems

Public-Key Cryptography – PKC 2018

Verification, Model Checking, and Abstract Interpretation

Static Analysis

Static Analysis

Static Analysis

Automated Technology for Verification and Analysis

Advances in Cryptology – CRYPTO 2016

Verification, Model Checking, and Abstract Interpretation

Tools and Algorithms for the Construction and Analysis of Systems

Formal Aspects of Component Software

Theoretical Aspects of Software Engineering

Static Analysis

Verification, Model Checking, and Abstract Interpretation

Advances in Cryptology – ASIACRYPT 2016

Automated Technology for Verification and Analysis

Integrated Formal Methods

Foundations of Information and Knowledge Systems

Integrated Formal Methods

Perspectives of System Informatics

Formal Methods and Software Engineering

Advances in Cryptology – EUROCRYPT 2017

Advances in Cryptology – ASIACRYPT 2017

Tools and Algorithms for the Construction and Analysis of Systems

Advances in Cryptology – EUROCRYPT 2016

Rigorous Methods in Theory and Practice

Public-Key Cryptography – PKC 2022

Theoretical Aspects of Computing – ICTAC 2022

Progress in Cryptology – AFRICACRYPT 2016

Public-Key Cryptography – PKC 2018

Advances in Cryptology – EUROCRYPT 2018

Computer Aided Verification

Verification, Model Checking, and Abstract Interpretation

Advances in Cryptology – ASIACRYPT 2015

Formal Techniques for Distributed Objects, Components, and Systems

Theory of Cryptography

Static Analysis

Advances in Cryptology – EUROCRYPT 2023

Formal Methods

Public-Key Cryptography – PKC 2024

Advances in Cryptology – ASIACRYPT 2016

Formal Methods

Advances in Cryptology – CRYPTO 2017

Advances in Cryptology – EUROCRYPT 2017

Theoretical Aspects of Computing – ICTAC 2025

Tests and Proofs

Logic-Based Program Synthesis and Transformation

Advances in Cryptology – EUROCRYPT 2026

Static Analysis

Topics in Cryptology - CT-RSA 2016

Formal Techniques for Distributed Objects, Components, and Systems

Formal Aspects of Component Software

Advances in Cryptology – CRYPTO 2017

Advances in Cryptology – EUROCRYPT 2016

Software Engineering and Formal Methods