Static Analysis

32nd International Symposium, SAS 2025, Singapore, Singapore, October 13–14, 2025, Proceedings

Hakjoo Oh,Yulei Sui

Springer Nature Proceedings Computer Science

Comprar el eBook

Ahorra 10 %Precio de venta: $91.142 CLP.$82.028CLP

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:9783032071064
Fecha de lanzamiento:17 ago 2026
Editorial:Springer Nature Switzerland

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

En esta serie

Programming Languages and Systems

Hakjoo Oh

Lecturas relacionadas

Programming Languages and Systems

Amal Ahmed

Gratis

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Formal Methods

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

Gratis

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

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

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

Tomáš Vojnar, Lijun Zhang

Gratis

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

Gratis

Fundamental Approaches to Software Engineering

Reiner Hähnle, Wil van der Aalst

Gratis

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Programming Languages and Systems

Thomas Wies

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratis

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Gratis

Computer Aided Verification

Arie Gurfinkel, Vijay Ganesh

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

Tomáš Vojnar, Lijun Zhang

Gratis

Computer Aided Verification

Sharon Shoham, Yakir Vizel

Gratis

Formal Methods

Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

Gratis

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Computer Aided Verification

Sharon Shoham, Yakir Vizel

Gratis

Public-Key Cryptography – PKC 2019

Dongdai Lin, Kazue Sako

$89.895

Formal Methods

Augusto Sampaio, Marielle Stoelinga

Gratis

Programming Languages and Systems

Bor-Yuh Evan Chang

$56.180

Programming Languages and Systems

Bruno C. d. S. Oliveira

$56.180

Dependable Software Engineering. Theories, Tools, and Applications

Amir Goharshady, Christoph Haase

$82.028

Verification, Model Checking, and Abstract Interpretation

Cezara Dragoi, Michael Emmi, Jingbo Wang

$84.276

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner, Thomas Wies

$101.133

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

$56.180

Formal Methods and Software Engineering

Adrian Riesco, Min Zhang

$56.180

Theoretical Aspects of Computing – ICTAC 2017

Dang Van Hung, Deepak Kapur

$56.180

Theoretical Aspects of Computing – ICTAC 2022

Helmut Seidl, Zhiming Liu, Corina S. Pasareanu

$56.180

Theoretical Aspects of Software Engineering

Yamine Aït-Ameur, Florin Crăciun

$95.514

Static Analysis

Manuel V. Hermenegildo, José F. Morales

$89.895

Theoretical Aspects of Software Engineering

Cristina David, Meng Sun

$84.276

Automated Technology for Verification and Analysis

Étienne André, Jun Sun

$84.276

Integrated Formal Methods

Brijesh Dongol, Elena Troubitsyna

$56.180

Verification, Model Checking, and Abstract Interpretation

Rayna Dimitrova, Ori Lahav, Sebastian Wolff

$84.276

Formal Techniques for Distributed Objects, Components, and Systems

Laura Bocchi, Burcu Kulahcioglu Ozkan

$64.047

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

$56.180

Fundamentals of Software Engineering

Hossein Hojjat, Erika Ábrahám

$67.418

Formal Methods

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

$112.372

Theoretical Aspects of Computing – ICTAC 2025

Zhiming Liu, Adnane Saoud, Heike Wehrheim

$82.028

Static Analysis

Gagandeep Singh, Caterina Urban

$78.657

Formal Methods and Software Engineering

Shang-Wei Lin, Zhe Hou, Brendan Mahony

$56.180

Static Analysis

Roberto Giacobazzi, Alessandra Gorla

$89.895

Runtime Verification

Panagiotis Katsaros, Laura Nenzi

$78.657

Verification, Model Checking, and Abstract Interpretation

Rayna Dimitrova, Ori Lahav, Sebastian Wolff

$84.276

Integrated Formal Methods

Ferruccio Damiani, Marie Farrell

$73.037

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

Tiziana Margaria, Bernhard Steffen

$89.895

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

$56.180

Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel, Marijn Heule

Gratis

Tests and Proofs

Virgile Prevosto, Cristina Seceleanu

$56.180

Fundamentals of Software Engineering

Hossein Hojjat, Mieke Massink

$78.657

Rebeca for Actor Analysis in Action

Edward A. Lee, Mohammad Reza Mousavi, Carolyn Talcott

$84.276

Formal Methods

Augusto Sampaio, Marielle Stoelinga

Gratis

Functional and Logic Programming

Michael Sperber, Ekaterina Komendantskaya

$73.037

Dependable Software Engineering. Theories, Tools, and Applications

Holger Hermanns, Jun Sun, Lei Bu

$89.895

Software Engineering and Formal Methods

Rocco De Nicola, Eva Kühn

$56.180

The Practice of Formal Methods

Ana Cavalcanti, James Baxter

$146.087

Software Engineering and Formal Methods

Alexandre Madeira, Alexander Knapp

$78.657

NASA Formal Methods

Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez

$134.848

Verification, Model Checking, and Abstract Interpretation

Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi

$73.037

Software Engineering and Formal Methods

Radu Calinescu, Corina S. Păsăreanu

$89.895

Automated Technology for Verification and Analysis

Zhe Hou, Vijay Ganesh

$84.276

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

Formal Methods

Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

$101.133

Formal Techniques for Distributed Objects, Components, and Systems

Christel Baier, Luís Caires

$56.180

Formal Aspects of Component Software

Kyungmin Bae, Peter Csaba Ölveczky

$56.180

Dependable Software Engineering. Theories, Tools, and Applications

Wei Dong, Jean-Pierre Talpin

$73.037

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

$56.180

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII

Abdelkader Hameurlain, Josef Küng, Roland Wagner

$56.180

Runtime Verification

Bettina Könighofer, Hazem Torfah

$73.037

Similarity Search and Applications

Oscar Pedreira, Vladimir Estivill-Castro

$73.037

NASA Formal Methods

Kristin Yvonne Rozier, Swarat Chaudhuri

$101.133

Static Analysis

Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi

$89.895

Theoretical Aspects of Software Engineering

Philipp Rümmer, Zhilin Wu

$84.276

Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel, Marijn Heule

Gratis

Perspectives of System Informatics

Manuel Mazzara, Andrei Voronkov

$56.180

Integrated Formal Methods

Nikolai Kosmatov, Laura Kovács

$157.324

Rules and Reasoning

Sabrina Kirrane, Mantas Šimkus, Ahmet Soylu, Dumitru Roman

$73.037

Formal Aspects of Component Software

Diego Marmsoler, Meng Sun

$61.799

Automated Technology for Verification and Analysis

K. Narayan Kumar, Deepak D'Souza

$56.180

Runtime Verification

Yliès Falcone, César Sánchez

$56.180

Advances in Cryptology – EUROCRYPT 2024

Marc Joye, Gregor Leander

$146.087

Integrated Formal Methods

Maurice H. ter Beek, Rosemary Monahan

$84.276

NASA Formal Methods

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

$56.180

Verification, Model Checking, and Abstract Interpretation

Fritz Henglein, Sharon Shoham, Yakir Vizel

$101.133

Formal Techniques for Distributed Objects, Components, and Systems

Mohammad Reza Mousavi, Anna Philippou

$78.657

Formal Aspects of Component Software

Gwen Salaün, Anton Wijs

$50.561

The Logic of Software. A Tasting Menu of Formal Methods

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen

$101.133

Automated Technology for Verification and Analysis

S. Akshay, Aina Niemetz, Sriram Sankaranarayanan

$157.324

Ver más por autor

Programming Languages and Systems

Hakjoo Oh

$84.276

¿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

Detalles de accesibilidad

Cómo leer

En esta serie

Programming Languages and Systems

Lecturas relacionadas

Programming Languages and Systems

Computer Aided Verification

Formal Methods

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

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Fundamental Approaches to Software Engineering

Computer Aided Verification

Programming Languages and 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

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Formal Methods

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Public-Key Cryptography – PKC 2019

Formal Methods

Programming Languages and Systems

Programming Languages and Systems

Dependable Software Engineering. Theories, Tools, and Applications

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Formal Methods and Software Engineering

Formal Methods and Software Engineering

Theoretical Aspects of Computing – ICTAC 2017

Theoretical Aspects of Computing – ICTAC 2022

Theoretical Aspects of Software Engineering

Static Analysis

Theoretical Aspects of Software Engineering

Automated Technology for Verification and Analysis

Integrated Formal Methods

Verification, Model Checking, and Abstract Interpretation

Formal Techniques for Distributed Objects, Components, and Systems

Verification, Model Checking, and Abstract Interpretation

Fundamentals of Software Engineering

Formal Methods

Theoretical Aspects of Computing – ICTAC 2025

Static Analysis

Formal Methods and Software Engineering

Static Analysis

Runtime Verification

Verification, Model Checking, and Abstract Interpretation

Integrated Formal Methods

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

Formal Methods and Software Engineering

Tools and Algorithms for the Construction and Analysis of Systems

Tests and Proofs

Fundamentals of Software Engineering

Rebeca for Actor Analysis in Action

Formal Methods

Functional and Logic Programming

Dependable Software Engineering. Theories, Tools, and Applications

Software Engineering and Formal Methods

The Practice of Formal Methods

Software Engineering and Formal Methods

NASA Formal Methods

Verification, Model Checking, and Abstract Interpretation

Software Engineering and Formal Methods

Automated Technology for Verification and Analysis