Static Analysis

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

電子書籍,電子書籍,電子書籍

Francesco Ranzato

Springer Nature Proceedings Computer Science

Buy the eBook

15 % 引き販売価格　7,149 円6,076 円

こちらは日本のストアになります

日本ではありませんか？あなたのお住まいの国のストアを選択し、購入可能な商品をお探しください

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

楽天Koboなら読書がもっと楽しくなります。

楽天Kobo電子書籍リーダーでワンランク上の読書体験を

欲しい本が見つかる豊富な品揃え

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9783319667065
発売日　2017年8月19日
出版社：Springer International Publishing

出版社： Springer
ファイル形式　EPUB2
サイズ　9.05 MB
ダウンロードオプション:EPUB2 (Adobe DRM)

関連書籍

Markov Logic

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

4,557 円

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

24,413 円

The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway

14,185 円

Handbook of Process Algebra

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

27,900 円

Static Analysis

Sandrine Blazy, Thomas Jensen

6,076 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Static Analysis

Xavier Rival

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

6,076 円

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

6,076 円

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

6,076 円

Advances in Cryptology – EUROCRYPT 2016

Marc Fischlin, Jean-Sébastien Coron

12,154 円

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

12,154 円

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

6,076 円

Advances in Cryptology – ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

6,076 円

Automated Technology for Verification and Analysis

Cyrille Artho, Axel Legay, Doron Peled

6,076 円

Advances in Cryptology – CRYPTO 2016

Matthew Robshaw, Jonathan Katz

6,076 円

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

6,076 円

Public-Key Cryptography – PKC 2016

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

6,076 円

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

12,154 円

Logic for Programming, Artificial Intelligence, and Reasoning

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

6,076 円

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

6,076 円

Theory and Applications of Satisfiability Testing – SAT 2017

Serge Gaspers, Toby Walsh

6,076 円

Advances in Cryptology -- ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

12,154 円

Perspectives of System Informatics

Manuel Mazzara, Andrei Voronkov

6,076 円

Programming Languages and Systems

Hongseok Yang

12,154 円

Public-Key Cryptography – PKC 2017

Serge Fehr

6,076 円

Theory and Applications of Satisfiability Testing – SAT 2016

Nadia Creignou, Daniel Le Berre

6,076 円

Progress in Cryptology – AFRICACRYPT 2016

David Pointcheval, Abderrahmane Nitaj, Tajjeeddine Rachidi

6,076 円

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

12,154 円

Dependable Software Engineering: Theories, Tools, and Applications

Martin Fränzle, Deepak Kapur, Naijun Zhan

6,076 円

Advances in Cryptology – CRYPTO 2016

Matthew Robshaw, Jonathan Katz

6,076 円

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

10,938 円

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

6,076 円

Programming Languages and Systems

Peter Thiemann

6,076 円

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

6,076 円

Progress in Cryptology -- LATINCRYPT 2015

Kristin Lauter, Francisco Rodríguez-Henríquez

6,076 円

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

6,076 円

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

4,862 円

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

6,076 円

Foundational and Practical Aspects of Resource Analysis

Marko van Eekelen, Ugo Dal Lago

6,076 円

Advances in Cryptology – EUROCRYPT 2016

Marc Fischlin, Jean-Sébastien Coron

12,154 円

Theory of Cryptography

Martin Hirt, Adam Smith

6,076 円

Advances in Cryptology -- CRYPTO 2012

Ran Canetti, Reihaneh Safavi-Naini

6,076 円

Advances in Cryptology – CRYPTO 2017

Jonathan Katz, Hovav Shacham

12,154 円

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

5,834 円

Scala: From a Functional Programming Perspective

Vicenç Torra

6,076 円

Beginning Julia Programming

Sandeep Nagar

9,116 円

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

6,076 円

Fast Software Encryption

Thomas Peyrin

10,331 円

NASA Formal Methods

Sanjai Rayadurgam, Oksana Tkachuk

7,900 円

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

6,076 円

Automated Deduction – CADE 26

Leonardo de Moura

9,723 円

Formal Methods for Multicore Programming

Marco Bernardo, Einar Broch Johnsen

5,834 円

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

6,076 円

Practical Aspects of Declarative Languages

Francesco Calimeri, Kevin Hamlen, Nicola Leone

5,105 円

Progress in Cryptology – INDOCRYPT 2016

Somitra Kumar Sanadhya, Orr Dunkelman

6,076 円

Structured Object-Oriented Formal Language and Method

Shaoying Liu, Zhenhua Duan

6,076 円

Information Security

Yvo Desmedt

6,076 円

Models, Algorithms, Logics and Tools

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

6,076 円

Fast Software Encryption

Shiho Moriai

6,076 円

Programming Languages

Fernando Castor, Yu David Liu

6,076 円

Model Checking Software

Bernd Fischer, Jaco Geldenhuys

6,076 円

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

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

6,076 円

Software Engineering for Resilient Systems

Ivica Crnkovic, Elena Troubitsyna

6,076 円

Advances in Cryptology – CRYPTO 2017

Jonathan Katz, Hovav Shacham

12,154 円

Topics in Cryptology - CT-RSA 2016

Kazue Sako

6,076 円

Modeling and Verification of Real-time Systems

Nicolas Navet, Stephan Merz

35,715 円

Hardware and Software: Verification and Testing

Nir Piterman

5,834 円

Paradigms in Cryptology – Mycrypt 2016. Malicious and Exploratory Cryptology

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

6,076 円

A Process Algebraic Approach to Software Architecture Design

Alessandro Aldini, Marco Bernardo, Flavio Corradini

6,076 円

Interactive Theorem Proving

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

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Critical Systems: Formal Methods and Automated Verification

Laure Petrucci, Ana Cavalcanti, Cristina Seceleanu

6,076 円

Formal Modeling and Analysis of Timed Systems

Martin Fränzle, Nicolas Markey

6,076 円

PRIMA 2017: Principles and Practice of Multi-Agent Systems

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

6,076 円

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

6,076 円

Theoretical Aspects of Computing – ICTAC 2017

Dang Van Hung, Deepak Kapur

6,076 円

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

10,938 円

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

12,154 円

Model Checking Software

Dragan Bošnački, Anton Wijs

6,078 円

Implementation and Application of Functional Languages

Ralf Hinze

5,591 円

Security and Cryptography for Networks

Vassilis Zikas, Roberto De Prisco

6,076 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Critical Systems: Formal Methods and Automated Verification

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

6,076 円

Semantics, Logics, and Calculi

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

6,076 円

MATLAB Deep Learning

Phil Kim

7,292 円

Selected Areas in Cryptography -- SAC 2013

Tanja Lange, Kristin Lauter, Petr Lisoněk

6,076 円

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

6,076 円

Programming Languages and Systems

Xinyu Feng, Sungwoo Park

6,076 円

Language and Automata Theory and Applications

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

6,076 円

Intelligent Computer Mathematics

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

5,105 円

Verified Software. Theories, Tools, and Experiments

Sandrine Blazy, Marsha Chechik

6,076 円

Software Engineering and Formal Methods

Carlos Canal, Akram Idani

6,076 円

Models and Analysis for Distributed Systems

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

24,026 円

お楽しみいただけましたか？

最初のレビュアーになりませんか？

日本のストアです。

Static Analysis

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

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