Static Analysis

23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

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

Xavier Rival

Springer Nature Proceedings Computer Science

電子書籍を購入

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

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

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

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9783662534137
発売日　2016年9月30日
出版社：Springer Berlin Heidelberg

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

関連書籍

Elements of Programming

Paul McJones, Alexander Stepanov

5,506 円

The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway

14,185 円

Markov Logic

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

4,557 円

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

24,413 円

Applied Integer Programming

Der-San Chen, Robert G. Batson, Yu Dang

21,429 円

Machine Learning Algorithms

Giuseppe Bonaccorso

4,994 円

または Kobo Plus なら無料

Readings in Artificial Intelligence and Software Engineering

Charles Rich, Richard C. Waters

9,934 円

Static Analysis

Sandrine Blazy, Thomas Jensen

6,076 円

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

6,076 円

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

6,076 円

Programming Languages and Systems

Xinyu Feng, Sungwoo Park

6,076 円

Advances in Cryptology – CRYPTO 2016

Matthew Robshaw, Jonathan Katz

6,076 円

Advances in Cryptology – ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

6,076 円

Progress in Cryptology – AFRICACRYPT 2016

David Pointcheval, Abderrahmane Nitaj, Tajjeeddine Rachidi

6,076 円

Advances in Cryptology -- CRYPTO 2012

Ran Canetti, Reihaneh Safavi-Naini

6,076 円

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

6,076 円

Perspectives of System Informatics

Manuel Mazzara, Andrei Voronkov

6,076 円

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

10,938 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Progress in Cryptology -- LATINCRYPT 2015

Kristin Lauter, Francisco Rodríguez-Henríquez

6,076 円

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

12,154 円

Programming Languages and Systems

Peter Thiemann

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Advances in Cryptology – EUROCRYPT 2016

Marc Fischlin, Jean-Sébastien Coron

12,154 円

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

6,076 円

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

6,076 円

Programming Languages and Systems

Hongseok Yang

12,154 円

Topics in Cryptology - CT-RSA 2016

Kazue Sako

6,076 円

Advances in Cryptology – EUROCRYPT 2016

Marc Fischlin, Jean-Sébastien Coron

12,154 円

Public-Key Cryptography – PKC 2016

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

6,076 円

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

12,154 円

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

6,076 円

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

6,076 円

Advances in Cryptology -- ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

12,154 円

Fast Software Encryption

Thomas Peyrin

10,331 円

Public-Key Cryptography – PKC 2017

Serge Fehr

6,076 円

Functional and Logic Programming

Andy King, Oleg Kiselyov

5,834 円

Foundational and Practical Aspects of Resource Analysis

Marko van Eekelen, Ugo Dal Lago

6,076 円

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

6,076 円

Advances in Cryptology – CRYPTO 2016

Matthew Robshaw, Jonathan Katz

6,076 円

Formal Aspects of Component Software

José Proença, Markus Lumpe

6,076 円

Formal Modeling and Analysis of Timed Systems

Alessandro Abate, Gilles Geeraerts

6,076 円

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

6,076 円

Introduction to Scilab

Sandeep Nagar

5,469 円

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

4,862 円

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Jiří Sgall

6,076 円

Software Verification and Analysis

Janusz Laski, William Stanley

6,076 円

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

6,076 円

Selected Areas in Cryptography -- SAC 2013

Tanja Lange, Kristin Lauter, Petr Lisoněk

6,076 円

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

6,076 円

ModelEd, TestEd, TrustEd

Arend Rensink, Joost-Pieter Katoen, Rom Langerak

6,076 円

Fast Software Encryption

Gregor Leander

6,076 円

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

5,834 円

Cryptography and Coding

Jens Groth

6,076 円

Logical Foundations of Computer Science

Sergei Artemov, Anil Nerode

6,076 円

Logic for Programming, Artificial Intelligence, and Reasoning

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

6,076 円

Runtime Verification

Ezio Bartocci, Rupak Majumdar

6,076 円

Practical Aspects of Declarative Languages

John Reppy, Marco Gavanelli

4,862 円

Introduction to Octave

Sandeep Nagar

6,685 円

Runtime Verification

Yliès Falcone, César Sánchez

6,076 円

Specification of Software Systems

V.S. Alagar, K. Periyasamy

6,076 円

Advances in Cryptology – CRYPTO 2016

Jonathan Katz, Matthew Robshaw

6,076 円

Selected Areas in Cryptography - SAC 2015

Orr Dunkelman, Liam Keliher

6,076 円

Small Dynamic Complexity Classes

Thomas Zeume

6,076 円

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

10,938 円

Progress in Cryptology -- INDOCRYPT 2015

Alex Biryukov, Vipul Goyal

6,076 円

Information and Communication Technologies in Education, Research, and Industrial Applications

Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis

6,076 円

Developments in Language Theory

Srečko Brlek, Christophe Reutenauer

6,076 円

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

6,076 円

Compiler Design

Helmut Seidl, Reinhard Wilhelm, Sebastian Hack

8,507 円

Model Checking Software

Dragan Bošnački, Anton Wijs

6,078 円

Verified Software: Theories, Tools, and Experiments

Arie Gurfinkel, Sanjit A. Seshia

6,076 円

Structured Object-Oriented Formal Language and Method

Zhenhua Duan, Shaoying Liu

6,076 円

Compiler Design

Reinhard Wilhelm, Helmut Seidl, Sebastian Hack

6,928 円

Programming Languages

Fernando Castor, Yu David Liu

6,076 円

Security and Cryptography for Networks

Vassilis Zikas, Roberto De Prisco

6,076 円

Reliable Software Technologies – Ada-Europe 2016

Eduardo Quiñones, Luís Miguel Pinho, Marko Bertogna

6,076 円

Model Checking Software

Bernd Fischer, Jaco Geldenhuys

6,076 円

Integrated Formal Methods

Erika Ábrahám, Marieke Huisman

9,723 円

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

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

6,076 円

Rewriting Logic and Its Applications

Dorel Lucanu

6,076 円

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

6,076 円

Fast Software Encryption

Shiho Moriai

6,076 円

Provable Security

Man-Ho Au, Atsuko Miyaji

6,076 円

Descriptional Complexity of Formal Systems

Cezar Câmpeanu, Florin Manea, Jeffrey Shallit

6,076 円

Conceptual Modeling

Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor

6,076 円

Modeling and Verification of Real-time Systems

Nicolas Navet, Stephan Merz

35,715 円

Automated Reasoning with Analytic Tableaux and Related Methods

Cláudia Nalon, Renate A. Schmidt

7,900 円

Theory and Applications of Satisfiability Testing – SAT 2016

Nadia Creignou, Daniel Le Berre

6,076 円

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

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

日本のストアです。

Static Analysis

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

Elements of Programming

The Functional Approach to Programming

Markov Logic

Tractability

Applied Integer Programming

Machine Learning Algorithms

Readings in Artificial Intelligence and Software Engineering

Static Analysis

Verification, Model Checking, and Abstract Interpretation

Logic-Based Program Synthesis and Transformation

Programming Languages and Systems

Advances in Cryptology – CRYPTO 2016

Advances in Cryptology – ASIACRYPT 2015

Progress in Cryptology – AFRICACRYPT 2016

Advances in Cryptology -- CRYPTO 2012

Verification, Model Checking, and Abstract Interpretation

Perspectives of System Informatics

Advances in Cryptology – EUROCRYPT 2017

Computer Aided Verification

Progress in Cryptology -- LATINCRYPT 2015

Theory of Cryptography

Programming Languages and Systems

Tools and Algorithms for the Construction and Analysis of Systems

Advances in Cryptology – EUROCRYPT 2016

Tools and Algorithms for the Construction and Analysis of Systems

Trustworthy Global Computing

Programming Languages and Systems

Topics in Cryptology - CT-RSA 2016

Advances in Cryptology – EUROCRYPT 2016

Public-Key Cryptography – PKC 2016

Advances in Cryptology – EUROCRYPT 2017

Automated Technology for Verification and Analysis

Logic-Based Program Synthesis and Transformation

Advances in Cryptology -- ASIACRYPT 2015

Fast Software Encryption

Public-Key Cryptography – PKC 2017

Functional and Logic Programming

Foundational and Practical Aspects of Resource Analysis

Interactive Theorem Proving

Advances in Cryptology – CRYPTO 2016

Formal Aspects of Component Software

Formal Modeling and Analysis of Timed Systems

Formal Methods and Software Engineering

Introduction to Scilab

Trustworthy Global Computing

Topics in Theoretical Computer Science

Software Verification and Analysis

Logic-Based Program Synthesis and Transformation

Selected Areas in Cryptography -- SAC 2013

Theoretical Aspects of Computing - ICTAC 2015

ModelEd, TestEd, TrustEd

Fast Software Encryption

Declarative Programming and Knowledge Management

Cryptography and Coding

Logical Foundations of Computer Science

Logic for Programming, Artificial Intelligence, and Reasoning

Runtime Verification

Practical Aspects of Declarative Languages

Introduction to Octave

Runtime Verification

Specification of Software Systems

Advances in Cryptology – CRYPTO 2016

Selected Areas in Cryptography - SAC 2015

Small Dynamic Complexity Classes

Advances in Cryptology – EUROCRYPT 2017

Progress in Cryptology -- INDOCRYPT 2015

Information and Communication Technologies in Education, Research, and Industrial Applications

Developments in Language Theory

Theoretical Aspects of Computing – ICTAC 2016

Compiler Design

Model Checking Software

Verified Software: Theories, Tools, and Experiments