Static Analysis

29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings

Gagandeep Singh,Caterina Urban

Springer Nature Proceedings Computer Science

Comprar el eBook

Ahorra 10 %Precio de venta: $87.396 CLP.$78.657CLP

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:9783031223082
Fecha de lanzamiento:2 dic 2022
Editorial:Springer Nature Switzerland

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

Lecturas relacionadas

Introduction to Information Retrieval

Christopher D. Manning, Prabhakar Raghavan, Hinrich Schütze

$70.309

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Programming Languages and Systems

Amal Ahmed

Gratis

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman

Gratis

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

Gratis

Markov Logic

Pedro Domingos, Daniel Lowd, Ronald Brachman, William W. Cohen, Peter Stone

$30.858

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Gratis

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

Gratis

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratis

Programming Languages and Systems

Thomas Wies

Gratis

Computer Aided Verification

Sharon Shoham, Yakir Vizel

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratis

Cryptography and Coding

Máire O'Neill

$56.180

Machine Learning for Text

Charu C. Aggarwal

$61.799

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Theoretical Aspects of Software Engineering

Yamine Aït-Ameur, Florin Crăciun

$95.514

Programming Languages and Systems

Bor-Yuh Evan Chang

$56.180

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner, Thomas Wies

$101.133

Static Analysis

Xavier Rival

$56.180

Automated Technology for Verification and Analysis

Zhe Hou, Vijay Ganesh

$84.276

Integrated Formal Methods

Brijesh Dongol, Elena Troubitsyna

$56.180

Static Analysis

Sandrine Blazy, Thomas Jensen

$56.180

Programming Languages and Systems

Bruno C. d. S. Oliveira

$56.180

Public-Key Cryptography – PKC 2018

Michel Abdalla, Ricardo Dahab

$56.180

Theoretical Aspects of Software Engineering

Cristina David, Meng Sun

$84.276

Foundations of Information and Knowledge Systems

Ivan Varzinczak

$78.657

Theoretical Aspects of Computing – ICTAC 2022

Helmut Seidl, Zhiming Liu, Corina S. Pasareanu

$56.180

Theoretical Aspects of Computing – ICTAC 2021

Antonio Cerone, Peter Csaba Ölveczky

$84.276

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

$44.943

Formal Techniques for Distributed Objects, Components, and Systems

Mohammad Reza Mousavi, Anna Philippou

$78.657

Static Analysis

Francesco Ranzato

$56.180

Programming Languages and Systems

Hakjoo Oh

$84.276

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

$101.133

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

$56.180

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

$56.180

Static Analysis

Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi

$89.895

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

$101.133

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

$56.180

The Semantic Web – ISWC 2016

Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Krötzsch, Freddy Lecue, Fabian Flöck, Yolanda Gil

$56.180

Dependable Software Engineering. Theories, Tools, and Applications

Ji Wang, Kim Guldstrand Larsen, Oleg Sokolsky

$56.180

Programming Languages and Systems

Xinyu Feng, Sungwoo Park

$56.180

Software Engineering and Formal Methods

Alessandro Cimatti, Marjan Sirjani

$56.180

Advances in Cryptology – EUROCRYPT 2023

Carmit Hazay, Martijn Stam

$112.372

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Tests and Proofs

Virgile Prevosto, Cristina Seceleanu

$56.180

Advances in Cryptology – EUROCRYPT 2016

Marc Fischlin, Jean-Sébastien Coron

$101.133

Progress in Cryptology – AFRICACRYPT 2016

David Pointcheval, Abderrahmane Nitaj, Tajjeeddine Rachidi

$56.180

Verification, Model Checking, and Abstract Interpretation

Cezara Dragoi, Michael Emmi, Jingbo Wang

$84.276

Dependable Software Engineering. Theories, Tools, and Applications

Wei Dong, Jean-Pierre Talpin

$73.037

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

$101.133

Public-Key Cryptography – PKC 2018

Michel Abdalla, Ricardo Dahab

$56.180

Formal Aspects of Component Software

Kyungmin Bae, Peter Csaba Ölveczky

$56.180

Formal Methods

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

$112.372

Advances in Cryptology – CRYPTO 2017

Jonathan Katz, Hovav Shacham

$101.133

Perspectives of System Informatics

Manuel Mazzara, Andrei Voronkov

$56.180

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

$56.180

Programming Languages and Systems

Atsushi Igarashi

$56.180

Fundamentals of Software Engineering

Hossein Hojjat, Mieke Massink

$78.657

Advances in Cryptology – EUROCRYPT 2018

Jesper Buus Nielsen, Vincent Rijmen

$157.324

Meta-Programming and Model-Driven Meta-Program Development

Vytautas Štuikys, Robertas Damaševičius

$101.133

NASA Formal Methods

Kristin Yvonne Rozier, Swarat Chaudhuri

$101.133

Advances in Cryptology – CRYPTO 2017

Jonathan Katz, Hovav Shacham

$101.133

Software Engineering and Formal Methods

Radu Calinescu, Corina S. Păsăreanu

$89.895

Advances in Cryptology – CRYPTO 2016

Matthew Robshaw, Jonathan Katz

$56.180

Reasoning Web. Declarative Artificial Intelligence

Mantas Šimkus, Ivan Varzinczak

$89.895

Public-Key Cryptography – PKC 2017

Serge Fehr

$56.180

Topics in Cryptology - CT-RSA 2016

Kazue Sako

$56.180

Formal Aspects of Component Software

Gwen Salaün, Anton Wijs

$50.561

Inductive Logic Programming

Jesse Davis, Jan Ramon

$52.809

Advances in Cryptology – ASIACRYPT 2017

Tsuyoshi Takagi, Thomas Peyrin

$123.609

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

$56.180

Automated Technology for Verification and Analysis

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

$84.276

Clustering and Information Retrieval

S. Shekhar, Hui Xiong, Weili Wu

$157.324

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

$56.180

NASA Formal Methods

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

$56.180

Model Checking Software

Georgiana Caltais, Christian Schilling

$61.799

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

$56.180

Spatio-Temporal Data Streams

Zdravko Galić

$56.180

Similarity Search and Applications

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

$73.037

Provably Correct Systems

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

$101.133

Dependable Software Engineering: Theories, Tools, and Applications

Martin Fränzle, Deepak Kapur, Naijun Zhan

$56.180

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

$101.133

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

Marsha Chechik, Jean-François Raskin

$56.180

Programming Languages and Systems

Peter Thiemann

$56.180

Runtime Verification

Yliès Falcone, César Sánchez

$56.180

Progress in Cryptology – INDOCRYPT 2016

Somitra Kumar Sanadhya, Orr Dunkelman

$56.180

Fundamentals of Software Engineering

Hossein Hojjat, Erika Ábrahám

$67.418

Advances in Cryptology -- ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

$101.133

Database and Expert Systems Applications

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

$56.180

Public-Key Cryptography – PKC 2022

Goichiro Hanaoka, Junji Shikata, Yohei Watanabe

$101.133

Logic-Based Program Synthesis and Transformation

Emanuele De Angelis, Wim Vanhoof

$61.799

Ver más por autor

5 Keys to Living Effectively

Gagandeep Singh

$4.277

¿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

Introduction to Information Retrieval

Computer Aided Verification

Programming Languages and Systems

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Markov Logic

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Programming Languages and Systems

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Cryptography and Coding

Machine Learning for Text

Computer Aided Verification

Theoretical Aspects of Software Engineering

Programming Languages and Systems

Verification, Model Checking, and Abstract Interpretation

Static Analysis

Automated Technology for Verification and Analysis

Integrated Formal Methods

Static Analysis

Programming Languages and Systems

Public-Key Cryptography – PKC 2018

Theoretical Aspects of Software Engineering

Foundations of Information and Knowledge Systems

Theoretical Aspects of Computing – ICTAC 2022

Theoretical Aspects of Computing – ICTAC 2021

Trustworthy Global Computing

Formal Techniques for Distributed Objects, Components, and Systems

Static Analysis

Programming Languages and Systems

Theory of Cryptography

Verification, Model Checking, and Abstract Interpretation

Trustworthy Global Computing

Static Analysis

Advances in Cryptology – ASIACRYPT 2016

Logic-Based Program Synthesis and Transformation

The Semantic Web – ISWC 2016

Dependable Software Engineering. Theories, Tools, and Applications

Programming Languages and Systems

Software Engineering and Formal Methods

Advances in Cryptology – EUROCRYPT 2023

Computer Aided Verification

Tests and Proofs

Advances in Cryptology – EUROCRYPT 2016

Progress in Cryptology – AFRICACRYPT 2016

Verification, Model Checking, and Abstract Interpretation

Dependable Software Engineering. Theories, Tools, and Applications

Advances in Cryptology – EUROCRYPT 2017

Public-Key Cryptography – PKC 2018

Formal Aspects of Component Software

Formal Methods

Advances in Cryptology – CRYPTO 2017

Perspectives of System Informatics

Formal Methods and Software Engineering

Programming Languages and Systems

Fundamentals of Software Engineering

Advances in Cryptology – EUROCRYPT 2018

Meta-Programming and Model-Driven Meta-Program Development

NASA Formal Methods

Advances in Cryptology – CRYPTO 2017

Software Engineering and Formal Methods

Advances in Cryptology – CRYPTO 2016

Reasoning Web. Declarative Artificial Intelligence

Public-Key Cryptography – PKC 2017

Topics in Cryptology - CT-RSA 2016

Formal Aspects of Component Software

Inductive Logic Programming