Rigorous Software Development

An Introduction to Program Verification

Jorge Sousa Pinto,Maria João Frade,Simão Melo de Sousa,José Bacelar Almeida

Computer Science (R0)

Buy the eBook

15 % 引き販売価格　4,998 円4,248 円

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

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

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9780857290182
発売日　2017年11月15日
出版社：Springer London

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

関連書籍

From Mathematics to Generic Programming

Alexander Stepanov, Daniel Rose

3,417 円

Introduction to the Analysis of Algorithms, An

Robert Sedgewick, Philippe Flajolet

11,157 円

Logic in Computer Science

Michael Huth, Mark Ryan

10,502 円

Mathematics of Discrete Structures for Computer Science

Gordon J. Pace

6,076 円

Introduction to Compiler Design

Torben Ægidius Mogensen

4,248 円

Introduction to Artificial Intelligence

Nathanael T. Black, Wolfgang Ertel

4,248 円

Computability Theory

Herbert B. Enderton

6,661 円

Bayesian Networks

Timo Koski, John Noble

15,225 円

Algebraic Geometry Modeling In Information Theory

Edgar Martinez-moro

4,718 円

Modeling in Event-B

Jean-Raymond Abrial

24,413 円

Kernel Methods for Pattern Analysis

John Shawe-Taylor, Nello Cristianini

17,184 円

Markov Logic

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

4,557 円

Practical Foundations for Programming Languages

Robert Harper

12,684 円

Practical Foundations for Programming Languages

Robert Harper

12,274 円

A Concise Introduction to Languages and Machines

Alan P. Parkes

3,641 円

Handbook of Process Algebra

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

27,900 円

Mathematical Logic for Computer Science

Mordechai Ben-Ari

7,292 円

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Michael Gelfond, Yulia Kahl

9,820 円

Big Data Integration Theory

Zoran Majkić

6,076 円

The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway

14,185 円

Principles of Data Mining

Max Bramer

5,464 円

An Introduction to Support Vector Machines and Other Kernel-based Learning Methods

Nello Cristianini, John Shawe-Taylor

15,958 円

Algebra for Applications

Arkadii Slinko

4,254 円

A First Course in Computational Algebraic Geometry

Wolfram Decker, Gerhard Pfister

3,137 円

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

24,413 円

Learning Bayesian Models with R

Hari Manassery Koduvely

3,530 円

または Kobo Plus なら無料

Probabilistic Reasoning in Intelligent Systems

Judea Pearl

10,200 円

Pattern Recognition and Machine Learning

Y. Anzai

15,000 円

Theory of Fuzzy Computation

Apostolos Syropoulos

6,076 円

Fundamentals of the Theory of Computation: Principles and Practice

Raymond Greenlaw, H. James Hoover

6,661 円

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

5,834 円

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

6,076 円

Foundations of Information and Knowledge Systems

Guillermo Simari, Marc Gyssens

6,076 円

Theories of Programming Languages

John C. Reynolds

11,866 円

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

6,076 円

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

6,076 円

Recent Trends in Algebraic Development Techniques

Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu

4,862 円

A Primer on Scientific Programming with Python

Hans Petter Langtangen

7,292 円

Programming Languages and Systems

Peter Thiemann

6,076 円

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu

6,076 円

Applied Logic for Computer Scientists

Mauricio Ayala-Rincón, Flávio L. C. de Moura

5,469 円

Programming Languages and Systems

Hongseok Yang

12,154 円

Developments in Language Theory

Srečko Brlek, Christophe Reutenauer

6,076 円

Automated Reasoning

Nicola Olivetti, Ashish Tiwari

9,723 円

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

6,076 円

Clusters, Orders, and Trees: Methods and Applications

Panos M. Pardalos, Fuad Aleskerov, Boris Goldengorin

12,154 円

Corpus-Based Methods in Language and Speech Processing

Steve Young, Gerrit Bloothooft

12,154 円

Algorithmic Aspects of Cloud Computing

Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos

5,105 円

Scalable Uncertainty Management

Christoph Beierle, Alex Dekhtyar

6,076 円

The Correctness-by-Construction Approach to Programming

Bruce W. Watson, Derrick G. Kourie

12,154 円

Finite Difference Methods,Theory and Applications

Ivan Dimov, István Faragó, Lubin Vulkov

6,076 円

Descriptional Complexity of Formal Systems

Jeffrey Shallit, Alexander Okhotin

6,076 円

Programming Languages and Operational Semantics

Maribel Fernández

4,861 円

Static Analysis

Sandrine Blazy, Thomas Jensen

6,076 円

Descriptional Complexity of Formal Systems

Cezar Câmpeanu, Florin Manea, Jeffrey Shallit

6,076 円

Mathematics of Program Construction

Ralf Hinze, Janis Voigtländer

6,076 円

Directed Algebraic Topology and Concurrency

Lisbeth Fajstrup, Eric Goubault, Samuel Mimram, Martin Raussen, Emmanuel Haucourt

12,154 円

An Introduction to Data Analysis using Aggregation Functions in R

Simon James

6,076 円

Implementation and Application of Automata

Frank Drewes

6,076 円

Parallel Processing and Applied Mathematics

Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, Kazimierz Wiatr

6,076 円

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

6,076 円

Compiler Design

Reinhard Wilhelm, Helmut Seidl, Sebastian Hack

6,928 円

Logic, Rationality, and Interaction

Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada

6,076 円

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

6,076 円

Formal Grammar

Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla

6,076 円

Language and Automata Theory and Applications

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

6,076 円

Supercomputing

Sergey Sobolev, Vladimir Voevodin

6,076 円

Engineering Trustworthy Software Systems

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

6,076 円

Learning and Intelligent Optimization

Paola Festa, Meinolf Sellmann, Joaquin Vanschoren

6,076 円

Logic Programming and Nonmonotonic Reasoning

Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski

6,076 円

Scalable Techniques for Formal Verification

Sandip Ray

12,154 円

Introduction to MATLAB for Engineers and Scientists

Sandeep Nagar

4,254 円

Graph Transformation

Juan de Lara, Detlef Plump

6,076 円

Small Dynamic Complexity Classes

Thomas Zeume

6,076 円

Theory and Applications of Models of Computation

Rahul Jain, Sanjay Jain, Frank Stephan

6,076 円

Logic for Programming, Artificial Intelligence, and Reasoning

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

6,076 円

Developments in Language Theory

Émilie Charlier, Julien Leroy, Michel Rigo

6,076 円

Inductive Logic Programming

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto

6,076 円

Foundations of Software Science and Computation Structures

Javier Esparza, Andrzej S. Murawski

6,076 円

Relational and Algebraic Methods in Computer Science

Peter Höfner, Damien Pous, Georg Struth

6,076 円

Limits of Computation

Bernhard Reus

5,469 円

Graph Transformation

Francesco Parisi-Presicce, Bernhard Westfechtel

5,834 円

Markov Chains and Dependability Theory

Gerardo Rubino, Bruno Sericola

10,911 円

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

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

日本のストアです。

Rigorous Software Development

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

From Mathematics to Generic Programming

Introduction to the Analysis of Algorithms, An

Logic in Computer Science

Mathematics of Discrete Structures for Computer Science

Introduction to Compiler Design

Introduction to Artificial Intelligence

Computability Theory

Bayesian Networks

Algebraic Geometry Modeling In Information Theory

Modeling in Event-B

Kernel Methods for Pattern Analysis

Markov Logic

Practical Foundations for Programming Languages

Practical Foundations for Programming Languages

A Concise Introduction to Languages and Machines

Handbook of Process Algebra

Mathematical Logic for Computer Science

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Big Data Integration Theory

The Functional Approach to Programming

Principles of Data Mining

An Introduction to Support Vector Machines and Other Kernel-based Learning Methods

Algebra for Applications

A First Course in Computational Algebraic Geometry

Tractability

Learning Bayesian Models with R

Probabilistic Reasoning in Intelligent Systems

Pattern Recognition and Machine Learning

Theory of Fuzzy Computation

Fundamentals of the Theory of Computation: Principles and Practice

Declarative Programming and Knowledge Management

Logic-Based Program Synthesis and Transformation

Foundations of Information and Knowledge Systems

Theories of Programming Languages

Interactive Theorem Proving

Theoretical Aspects of Computing – ICTAC 2016

Recent Trends in Algebraic Development Techniques

A Primer on Scientific Programming with Python

Programming Languages and Systems

Unifying Theories of Programming

Applied Logic for Computer Scientists

Programming Languages and Systems

Developments in Language Theory

Automated Reasoning

Theoretical Aspects of Computing - ICTAC 2015

Clusters, Orders, and Trees: Methods and Applications

Corpus-Based Methods in Language and Speech Processing

Algorithmic Aspects of Cloud Computing

Scalable Uncertainty Management

The Correctness-by-Construction Approach to Programming

Finite Difference Methods,Theory and Applications

Descriptional Complexity of Formal Systems

Programming Languages and Operational Semantics

Static Analysis

Descriptional Complexity of Formal Systems

Mathematics of Program Construction

Directed Algebraic Topology and Concurrency

An Introduction to Data Analysis using Aggregation Functions in R

Implementation and Application of Automata

Parallel Processing and Applied Mathematics

Logic-Based Program Synthesis and Transformation

Compiler Design

Logic, Rationality, and Interaction

Trustworthy Global Computing

Formal Grammar

Language and Automata Theory and Applications

Supercomputing

Engineering Trustworthy Software Systems

Learning and Intelligent Optimization

Logic Programming and Nonmonotonic Reasoning

Scalable Techniques for Formal Verification

Introduction to MATLAB for Engineers and Scientists