Static Analysis

24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

ebook,ebook,ebook

Francesco Ranzato

Springer Nature Proceedings Computer Science

Comprar el eBook

Ahorra 10 %Precio de venta: $1,010.00 MXN.$909.00MXN

Estás en la librería de México

¿No estás en México? Elige la librería de tu país para ver los libros que puedes comprar.

Elige tu librería

Comprar ahora Regala un libro

¿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:9783319667065
Fecha de lanzamiento:19 ago 2017
Editorial:Springer International Publishing

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

Lecturas relacionadas

Markov Logic

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

$592.00

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

$2,517.00

The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway

$1,462.00

Handbook of Process Algebra

J.A. Bergstra, A. Ponse, S.A. Smolka

$4,067.00

Static Analysis

Sandrine Blazy, Thomas Jensen

$909.00

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

$909.00

Static Analysis

Xavier Rival

$909.00

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$909.00

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

$909.00

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

$909.00

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

$909.00

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

$909.00

Advances in Cryptology – EUROCRYPT 2016

Marc Fischlin, Jean-Sébastien Coron

$1,636.00

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

$1,636.00

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

$909.00

Advances in Cryptology – ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

$909.00

Automated Technology for Verification and Analysis

Cyrille Artho, Axel Legay, Doron Peled

$909.00

Advances in Cryptology – CRYPTO 2016

Matthew Robshaw, Jonathan Katz

$909.00

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

$909.00

Public-Key Cryptography – PKC 2016

Chen-Mou Cheng, Kai-Min Chung, Giuseppe Persiano, Bo-Yin Yang

$909.00

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

$1,636.00

Logic for Programming, Artificial Intelligence, and Reasoning

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

$909.00

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

$909.00

Theory and Applications of Satisfiability Testing – SAT 2017

Serge Gaspers, Toby Walsh

$909.00

Advances in Cryptology -- ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

$1,636.00

Perspectives of System Informatics

Manuel Mazzara, Andrei Voronkov

$909.00

Programming Languages and Systems

Hongseok Yang

$1,636.00

Public-Key Cryptography – PKC 2017

Serge Fehr

$909.00

Theory and Applications of Satisfiability Testing – SAT 2016

Nadia Creignou, Daniel Le Berre

$909.00

Progress in Cryptology – AFRICACRYPT 2016

David Pointcheval, Abderrahmane Nitaj, Tajjeeddine Rachidi

$909.00

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

$1,636.00

Dependable Software Engineering: Theories, Tools, and Applications

Martin Fränzle, Deepak Kapur, Naijun Zhan

$909.00

Advances in Cryptology – CRYPTO 2016

Matthew Robshaw, Jonathan Katz

$909.00

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

$1,636.00

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

$909.00

Programming Languages and Systems

Peter Thiemann

$968.00

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

$909.00

Progress in Cryptology -- LATINCRYPT 2015

Kristin Lauter, Francisco Rodríguez-Henríquez

$909.00

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

$909.00

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

$727.00

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

$909.00

Foundational and Practical Aspects of Resource Analysis

Marko van Eekelen, Ugo Dal Lago

$909.00

Advances in Cryptology – EUROCRYPT 2016

Marc Fischlin, Jean-Sébastien Coron

$1,636.00

Theory of Cryptography

Martin Hirt, Adam Smith

$909.00

Advances in Cryptology -- CRYPTO 2012

Ran Canetti, Reihaneh Safavi-Naini

$909.00

Advances in Cryptology – CRYPTO 2017

Jonathan Katz, Hovav Shacham

$1,636.00

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

$854.00

Scala: From a Functional Programming Perspective

Vicenç Torra

$909.00

Beginning Julia Programming

Sandeep Nagar

$1,359.00

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

$909.00

Fast Software Encryption

Thomas Peyrin

$1,545.00

NASA Formal Methods

Sanjai Rayadurgam, Oksana Tkachuk

$1,258.00

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

$909.00

Automated Deduction – CADE 26

Leonardo de Moura

$1,454.00

Formal Methods for Multicore Programming

Marco Bernardo, Einar Broch Johnsen

$854.00

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

$909.00

Practical Aspects of Declarative Languages

Francesco Calimeri, Kevin Hamlen, Nicola Leone

$727.00

Progress in Cryptology – INDOCRYPT 2016

Somitra Kumar Sanadhya, Orr Dunkelman

$909.00

Structured Object-Oriented Formal Language and Method

Shaoying Liu, Zhenhua Duan

$909.00

Information Security

Yvo Desmedt

$909.00

Models, Algorithms, Logics and Tools

Axel Legay, Anna Ingólfsdóttir, Radu Mardare, Giovanni Bacci, Giorgio Bacci, Luca Aceto

$909.00

Fast Software Encryption

Shiho Moriai

$909.00

Programming Languages

Fernando Castor, Yu David Liu

$909.00

Model Checking Software

Bernd Fischer, Jaco Geldenhuys

$909.00

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler, Miklos Biro, Klaus-Dieter Schewe, Atif Mashkoor

$909.00

Software Engineering for Resilient Systems

Ivica Crnkovic, Elena Troubitsyna

$909.00

Advances in Cryptology – CRYPTO 2017

Jonathan Katz, Hovav Shacham

$1,636.00

Topics in Cryptology - CT-RSA 2016

Kazue Sako

$909.00

Modeling and Verification of Real-time Systems

Nicolas Navet, Stephan Merz

$3,460.00

Hardware and Software: Verification and Testing

Nir Piterman

$854.00

Paradigms in Cryptology – Mycrypt 2016. Malicious and Exploratory Cryptology

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

$909.00

A Process Algebraic Approach to Software Architecture Design

Alessandro Aldini, Marco Bernardo, Flavio Corradini

$909.00

Interactive Theorem Proving

Mauricio Ayala-Rincón, César A. Muñoz

$909.00

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$909.00

Critical Systems: Formal Methods and Automated Verification

Laure Petrucci, Ana Cavalcanti, Cristina Seceleanu

$909.00

Formal Modeling and Analysis of Timed Systems

Martin Fränzle, Nicolas Markey

$909.00

PRIMA 2017: Principles and Practice of Multi-Agent Systems

Serena Villata, Ana Bazzan, João Leite, Leendert van der Torre, Bo An

$909.00

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

$909.00

Theoretical Aspects of Computing – ICTAC 2017

Dang Van Hung, Deepak Kapur

$909.00

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

$1,636.00

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

$1,636.00

Model Checking Software

Dragan Bošnački, Anton Wijs

$909.00

Implementation and Application of Functional Languages

Ralf Hinze

$818.00

Security and Cryptography for Networks

Vassilis Zikas, Roberto De Prisco

$968.00

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

$909.00

Critical Systems: Formal Methods and Automated Verification

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

$909.00

Semantics, Logics, and Calculi

Christian W. Probst, Chris Hankin, René Rydhof Hansen

$909.00

MATLAB Deep Learning

Phil Kim

$1,070.00

Selected Areas in Cryptography -- SAC 2013

Tanja Lange, Kristin Lauter, Petr Lisoněk

$909.00

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

$909.00

Programming Languages and Systems

Xinyu Feng, Sungwoo Park

$909.00

Language and Automata Theory and Applications

Frank Drewes, Carlos Martín-Vide, Bianca Truthe

$909.00

Intelligent Computer Mathematics

Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa

$727.00

Verified Software. Theories, Tools, and Experiments

Sandrine Blazy, Marsha Chechik

$909.00

Software Engineering and Formal Methods

Carlos Canal, Akram Idani

$909.00

Models and Analysis for Distributed Systems

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

$2,327.00

¿Te ha gustado el libro?

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

Esta es nuestra librería de México.

Static Analysis

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

Lecturas relacionadas

Markov Logic

Tractability

The Functional Approach to Programming

Handbook of Process Algebra

Static Analysis

Computer Aided Verification

Static Analysis

Tools and Algorithms for the Construction and Analysis of Systems

Verification, Model Checking, and Abstract Interpretation

Tools and Algorithms for the Construction and Analysis of Systems

Automated Technology for Verification and Analysis

Verification, Model Checking, and Abstract Interpretation

Advances in Cryptology – EUROCRYPT 2016

Advances in Cryptology – EUROCRYPT 2017

Computer Aided Verification

Advances in Cryptology – ASIACRYPT 2015

Automated Technology for Verification and Analysis

Advances in Cryptology – CRYPTO 2016

Theoretical Aspects of Computing - ICTAC 2015

Public-Key Cryptography – PKC 2016

Theory of Cryptography

Logic for Programming, Artificial Intelligence, and Reasoning

FM 2016: Formal Methods

Theory and Applications of Satisfiability Testing – SAT 2017

Advances in Cryptology -- ASIACRYPT 2015

Perspectives of System Informatics

Programming Languages and Systems

Public-Key Cryptography – PKC 2017

Theory and Applications of Satisfiability Testing – SAT 2016

Progress in Cryptology – AFRICACRYPT 2016

Advances in Cryptology – ASIACRYPT 2016

Dependable Software Engineering: Theories, Tools, and Applications

Advances in Cryptology – CRYPTO 2016

Advances in Cryptology – EUROCRYPT 2017

Interactive Theorem Proving

Programming Languages and Systems

Trustworthy Global Computing

Progress in Cryptology -- LATINCRYPT 2015

Theoretical Aspects of Computing – ICTAC 2016

Trustworthy Global Computing

Logic-Based Program Synthesis and Transformation

Foundational and Practical Aspects of Resource Analysis

Advances in Cryptology – EUROCRYPT 2016

Theory of Cryptography

Advances in Cryptology -- CRYPTO 2012

Advances in Cryptology – CRYPTO 2017

Declarative Programming and Knowledge Management

Scala: From a Functional Programming Perspective

Beginning Julia Programming

Logic-Based Program Synthesis and Transformation

Fast Software Encryption

NASA Formal Methods

Logic-Based Program Synthesis and Transformation

Automated Deduction – CADE 26

Formal Methods for Multicore Programming

Computer Aided Verification

Practical Aspects of Declarative Languages

Progress in Cryptology – INDOCRYPT 2016

Structured Object-Oriented Formal Language and Method

Information Security

Models, Algorithms, Logics and Tools

Fast Software Encryption

Programming Languages

Model Checking Software

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Software Engineering for Resilient Systems

Advances in Cryptology – CRYPTO 2017

Topics in Cryptology - CT-RSA 2016

Modeling and Verification of Real-time Systems

Hardware and Software: Verification and Testing

Paradigms in Cryptology – Mycrypt 2016. Malicious and Exploratory Cryptology

A Process Algebraic Approach to Software Architecture Design