Static Analysis

22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

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

Sandrine Blazy,Thomas Jensen

Springer Nature Proceedings Computer Science

電子書籍を購入

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

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

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

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9783662482889
発売日　2016年7月5日
出版社：Springer Berlin Heidelberg

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

シリーズの内容

Verified Software. Theories, Tools, and Experiments

Sandrine Blazy,Marsha Chechik

関連書籍

Elements of Programming

Paul McJones, Alexander Stepanov

5,506 円

Markov Logic

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

4,557 円

The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway

14,185 円

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

24,413 円

Computation in Science

Konrad Hinsen

4,365 円

Big Data Integration Theory

Zoran Majkić

6,076 円

Machine Learning Algorithms

Giuseppe Bonaccorso

4,994 円

または Kobo Plus なら無料

Handbook of Process Algebra

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

27,900 円

Readings in Artificial Intelligence and Software Engineering

Charles Rich, Richard C. Waters

9,934 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

6,076 円

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

12,154 円

Progress in Cryptology -- LATINCRYPT 2015

Kristin Lauter, Francisco Rodríguez-Henríquez

6,076 円

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

10,938 円

Advances in Cryptology – ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

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 円

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

6,076 円

Topics in Cryptology - CT-RSA 2016

Kazue Sako

6,076 円

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

6,076 円

Public-Key Cryptography – PKC 2016

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

6,076 円

Advances in Cryptology -- ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

12,154 円

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

12,154 円

Public-Key Cryptography – PKC 2017

Serge Fehr

6,076 円

Fast Software Encryption

Gregor Leander

6,076 円

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

6,076 円

Programming Languages and Systems

Hongseok Yang

12,154 円

Compiler Design

Helmut Seidl, Reinhard Wilhelm, Sebastian Hack

8,507 円

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

6,076 円

Verified Software: Theories, Tools, and Experiments

Arie Gurfinkel, Sanjit A. Seshia

6,076 円

Programming Languages and Systems

Peter Thiemann

6,076 円

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

5,834 円

Cryptography and Coding

Jens Groth

6,076 円

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

10,938 円

Compiler Design

Reinhard Wilhelm, Helmut Seidl, Sebastian Hack

6,928 円

Programming Languages and Systems

Xinyu Feng, Sungwoo Park

6,076 円

Selected Areas in Cryptography - SAC 2015

Orr Dunkelman, Liam Keliher

6,076 円

Provably Correct Systems

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

12,154 円

Scala: From a Functional Programming Perspective

Vicenç Torra

6,076 円

Selected Areas in Cryptography -- SAC 2013

Tanja Lange, Kristin Lauter, Petr Lisoněk

6,076 円

Functional and Logic Programming

Andy King, Oleg Kiselyov

5,834 円

Rewriting Logic and Its Applications

Dorel Lucanu

6,076 円

Formal Aspects of Component Software

Ivan Lanese, Eric Madelaine

6,076 円

Mathematical Software – ICMS 2016

Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese

6,076 円

Progress in Cryptology -- INDOCRYPT 2015

Alex Biryukov, Vipul Goyal

6,076 円

Formal Methods for Multicore Programming

Marco Bernardo, Einar Broch Johnsen

5,834 円

Runtime Verification

Ezio Bartocci, Rupak Majumdar

6,076 円

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

6,076 円

Practical Aspects of Declarative Languages

Francesco Calimeri, Kevin Hamlen, Nicola Leone

5,105 円

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

6,076 円

Logic for Programming, Artificial Intelligence, and Reasoning

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

6,076 円

Structured Object-Oriented Formal Language and Method

Zhenhua Duan, Shaoying Liu

6,076 円

Logic, Rewriting, and Concurrency

Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott

6,076 円

SOFSEM 2016: Theory and Practice of Computer Science

Rūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania

6,076 円

Fast Software Encryption

Shiho Moriai

6,076 円

Artificial Intelligence in Medicine

Annette ten Teije, Christian Popow, John H. Holmes, Lucia Sacchi

7,900 円

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

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

6,076 円

Cryptography and Information Security in the Balkans

Lars R. Knudsen, Enes Pasalic

6,076 円

Software Engineering for Resilient Systems

Ivica Crnkovic, Elena Troubitsyna

6,076 円

Applications of Declarative Programming and Knowledge Management

Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf

6,076 円

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

4,862 円

Logic Programming and Nonmonotonic Reasoning

Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski

6,076 円

Hardware and Software: Verification and Testing

Nir Piterman

5,834 円

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

6,076 円

Interactive Theorem Proving

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

6,076 円

Selected Areas in Cryptography -- SAC 2014

Antoine Joux, Amr Youssef

6,076 円

Fundamental Approaches to Software Engineering

Marieke Huisman, Julia Rubin

6,076 円

Model Checking Software

Bernd Fischer, Jaco Geldenhuys

6,076 円

Introduction to Scilab

Sandeep Nagar

5,469 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Rewriting Logic and Its Applications

Santiago Escobar

5,834 円

Practical Aspects of Declarative Languages

John Reppy, Marco Gavanelli

4,862 円

Software Verification and Analysis

Janusz Laski, William Stanley

6,076 円

Formal Methods: Foundations and Applications

Bill Roscoe, Márcio Cornélio

4,862 円

The Correctness-by-Construction Approach to Programming

Bruce W. Watson, Derrick G. Kourie

12,154 円

Theory and Applications of Satisfiability Testing – SAT 2016

Nadia Creignou, Daniel Le Berre

6,076 円

Modeling and Verification of Real-time Systems

Nicolas Navet, Stephan Merz

35,715 円

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

6,076 円

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Tiziana Margaria, Bernhard Steffen

6,076 円

Implementation and Application of Automata

Frank Drewes

6,076 円

Stream Ciphers

Andreas Klein

9,116 円

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

6,076 円

Specification of Software Systems

V.S. Alagar, K. Periyasamy

6,076 円

Implementation and Application of Functional Languages

Ralf Hinze

5,591 円

Engineering Trustworthy Software Systems

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

6,076 円

Essentials of Constraint Programming

Thom Frühwirth, Slim Abdennadher

6,076 円

Information Security and Cryptology

Dongdai Lin, XiaoFeng Wang, Moti Yung

6,076 円

Inductive Logic Programming

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto

6,076 円

その他の著書

Verified Software. Theories, Tools, and Experiments

Sandrine Blazy, Marsha Chechik

6,076 円

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

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

日本のストアです。

Static Analysis

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

シリーズの内容

Verified Software. Theories, Tools, and Experiments

関連書籍

Elements of Programming

Markov Logic

The Functional Approach to Programming

Tractability

Computation in Science

Big Data Integration Theory

Machine Learning Algorithms

Handbook of Process Algebra

Readings in Artificial Intelligence and Software Engineering

Computer Aided Verification

Verification, Model Checking, and Abstract Interpretation

Logic-Based Program Synthesis and Transformation

Tools and Algorithms for the Construction and Analysis of Systems

Advances in Cryptology – EUROCRYPT 2017

Progress in Cryptology -- LATINCRYPT 2015

Advances in Cryptology – EUROCRYPT 2017

Advances in Cryptology – ASIACRYPT 2015

Verification, Model Checking, and Abstract Interpretation

Advances in Cryptology – EUROCRYPT 2016

Logic-Based Program Synthesis and Transformation

Topics in Cryptology - CT-RSA 2016

Interactive Theorem Proving

Public-Key Cryptography – PKC 2016

Advances in Cryptology -- ASIACRYPT 2015

Theory of Cryptography

Public-Key Cryptography – PKC 2017

Fast Software Encryption

Automated Technology for Verification and Analysis

Programming Languages and Systems

Compiler Design

Trustworthy Global Computing

Verified Software: Theories, Tools, and Experiments

Programming Languages and Systems

Declarative Programming and Knowledge Management

Cryptography and Coding

Advances in Cryptology – EUROCRYPT 2017

Compiler Design

Programming Languages and Systems

Selected Areas in Cryptography - SAC 2015

Provably Correct Systems

Scala: From a Functional Programming Perspective

Selected Areas in Cryptography -- SAC 2013

Functional and Logic Programming

Rewriting Logic and Its Applications

Formal Aspects of Component Software

Mathematical Software – ICMS 2016

Progress in Cryptology -- INDOCRYPT 2015

Formal Methods for Multicore Programming

Runtime Verification

Theoretical Aspects of Computing - ICTAC 2015

Practical Aspects of Declarative Languages

Theoretical Aspects of Computing – ICTAC 2016

Logic for Programming, Artificial Intelligence, and Reasoning

Structured Object-Oriented Formal Language and Method

Logic, Rewriting, and Concurrency

SOFSEM 2016: Theory and Practice of Computer Science

Fast Software Encryption

Artificial Intelligence in Medicine

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

Cryptography and Information Security in the Balkans

Software Engineering for Resilient Systems

Applications of Declarative Programming and Knowledge Management

Trustworthy Global Computing

Logic Programming and Nonmonotonic Reasoning

Hardware and Software: Verification and Testing

Formal Methods and Software Engineering

Interactive Theorem Proving

Selected Areas in Cryptography -- SAC 2014

Fundamental Approaches to Software Engineering

Model Checking Software