Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Bernd Fischer,Jaco Geldenhuys

Springer Nature Proceedings Computer Science

Comprar el eBook

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

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

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

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9783319234045
発売日　2016年7月5日
出版社：Springer International Publishing

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

シリーズの内容

Theoretical Aspects of Computing – ICTAC 2018

Bernd Fischer,Tarmo Uustalu

関連書籍

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

24,413 円

Formal Development of a Network-Centric RTOS

Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev

13,369 円

Bridging Constraint Satisfaction and Boolean Satisfiability

Justyna Petke

6,076 円

Systematic Program Design

Yanhong Annie Liu

7,910 円

Markov Logic

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

4,557 円

Applied Integer Programming

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

21,429 円

Machine Learning Algorithms

Giuseppe Bonaccorso

4,994 円

または Kobo Plus なら無料

Multilingual Natural Language Processing Applications

Daniel Bikel, Imed Zitouni

11,109 円

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

6,076 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Hardware and Software: Verification and Testing

Nir Piterman

5,834 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

6,076 円

Verified Software: Theories, Tools, and Experiments

Arie Gurfinkel, Sanjit A. Seshia

6,076 円

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

4,862 円

Modeling and Verification of Real-time Systems

Nicolas Navet, Stephan Merz

35,715 円

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

6,076 円

Principles of Security and Trust

Frank Piessens, Luca Viganò

6,076 円

Software Engineering and Formal Methods

Rocco De Nicola, Eva Kühn

6,076 円

Applied Cryptography and Network Security

Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider

6,076 円

Integrated Formal Methods

Erika Ábrahám, Marieke Huisman

9,723 円

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler

18,231 円

NASA Formal Methods

Clark Barrett, Misty Davies, Temesghen Kahsai

6,076 円

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

6,076 円

Topics in Cryptology - CT-RSA 2016

Kazue Sako

6,076 円

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Principles and Practice of Constraint Programming

J. Christopher Beck

6,076 円

Fundamental Approaches to Software Engineering

Perdita Stevens, Andrzej Wąsowski

6,076 円

Cryptography and Information Security in the Balkans

Lars R. Knudsen, Enes Pasalic

6,076 円

Tests and Proofs

Bernhard K. Aichernig, Carlo A. Furia

6,076 円

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

6,076 円

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

5,834 円

Theory and Practice of Formal Methods

Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen

6,076 円

Provably Correct Systems

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

12,154 円

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

6,076 円

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

6,076 円

Applied Cryptography and Network Security

Tal Malkin, Vladimir Kolesnikov, Michalis Polychronakis, Allison Lewko

6,076 円

Theory and Applications of Satisfiability Testing – SAT 2016

Nadia Creignou, Daniel Le Berre

6,076 円

Networked Systems

Ahmed Bouajjani, Hugues Fauconnier

6,076 円

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

12,154 円

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

6,076 円

Semantics, Logics, and Calculi

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

6,076 円

Public-Key Cryptography – PKC 2017

Serge Fehr

6,076 円

NASA Formal Methods

Sanjai Rayadurgam, Oksana Tkachuk

7,900 円

Information Security

Yvo Desmedt

6,076 円