Model Checking, Synthesis, and Learning

Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Ernst-Rüdiger Olderog,Bernhard Steffen,Wang Yi

Computer Science (R0)

電子書籍を購入

15 % 引き販売価格　9,294 円7,900 円

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

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

ストアを選ぶ

購入する

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9783030913847
発売日　2021年12月2日
出版社：Springer International Publishing

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

関連書籍

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

無料

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

無料

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

無料

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman

無料

Programming Languages and Systems

Amal Ahmed

無料

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

無料

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman

無料

Tools and Algorithms for the Construction and Analysis of Systems

Tomáš Vojnar, Lijun Zhang

無料

Tools and Algorithms for the Construction and Analysis of Systems

Tomáš Vojnar, Lijun Zhang

無料

Computer Aided Verification

Isil Dillig, Serdar Tasiran

無料

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

無料

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

無料

Foundations of Software Science and Computation Structures

Orna Kupferman, Pawel Sobocinski

無料

Computer Aided Verification

Sharon Shoham, Yakir Vizel

無料

Language and Automata Theory and Applications

Adrian-Horia Dediu, Bianca Truthe, Carlos Martín-Vide, Jan Janoušek

6,076 円

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

6,076 円

Computer Aided Verification

Constantin Enea, Akash Lal

無料

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

無料

Programming Languages and Systems

Thomas Wies

無料

Reachability Problems

Matthew Hague, Igor Potapov

6,076 円

Principles of Systems Design

Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar

10,938 円

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

6,076 円

Automated Technology for Verification and Analysis

Zhe Hou, Vijay Ganesh

9,116 円

Dependable Software Engineering: Theories, Tools, and Applications

Martin Fränzle, Deepak Kapur, Naijun Zhan

6,076 円

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

6,076 円

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

6,076 円

Language and Automata Theory and Applications

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

6,076 円

Frontiers of Combining Systems

Boris Konev, Giles Reger

9,116 円

A Journey from Process Algebra via Timed Automata to Model Learning

Nils Jansen, Mariëlle Stoelinga, Petra van den Bos

6,076 円

Graph Transformation

Fabio Gadducci, Timo Kehrer

6,076 円

Theoretical Aspects of Computing – ICTAC 2018

Bernd Fischer, Tarmo Uustalu

9,723 円

NASA Formal Methods

Kristin Yvonne Rozier, Swarat Chaudhuri

12,154 円

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

6,076 円

Theoretical Aspects of Computing – ICTAC 2017

Dang Van Hung, Deepak Kapur

6,076 円

KI 2017: Advances in Artificial Intelligence

Gabriele Kern-Isberner, Johannes Fürnkranz, Matthias Thimm

6,076 円

Inductive Logic Programming

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto

6,076 円

Automated Technology for Verification and Analysis

Dang Van Hung, Oleg Sokolsky

6,076 円

Computer Aided Verification

Constantin Enea, Akash Lal

無料

Physically Unclonable Functions

Roel Maes

6,076 円

Logic-Based Program Synthesis and Transformation

Maribel Fernández

9,116 円

Fundamentals of Software Engineering

Hossein Hojjat, Erika Ábrahám

7,292 円

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner, Thomas Wies

10,938 円

SOFSEM 2016: Theory and Practice of Computer Science

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

6,076 円

Intelligent Computer Mathematics

Fairouz Kamareddine, Claudio Sacerdoti Coen

6,076 円

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

6,076 円

Fundamentals of Computation Theory

Evripidis Bampis, Aris Pagourtzis

10,938 円

Semantics, Logics, and Calculi

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

6,076 円

It's All About Coordination

Frank de Boer, Marcello Bonsangue, Jan Rutten

6,076 円

SOFSEM 2018: Theory and Practice of Computer Science

A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jiří Wiedermann

6,076 円

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

6,076 円

Software Engineering and Formal Methods

Radu Calinescu, Corina S. Păsăreanu

9,723 円

Reachability Problems

Igor Potapov, Jiří Srba, Kim Guldstrand Larsen

6,076 円

Formal Methods

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

13,369 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

6,076 円

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

6,076 円

Automated Technology for Verification and Analysis

Ahmed Bouajjani, Lukáš Holík, Zhilin Wu

9,116 円

Inductive Logic Programming

Jesse Davis, Jan Ramon

5,834 円

Graph Transformation

Fabio Gadducci, Timo Kehrer

6,076 円

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

6,076 円

Formal Methods in Outer Space

Ezio Bartocci, Yliès Falcone, Martin Leucker

6,685 円

SOFSEM 2021: Theory and Practice of Computer Science

Tomáš Bureš, Riccardo Dondi, Johann Gamper, Giovanna Guerrini, Tomasz Jurdziński, Claus Pahl, Florian Sikora, Prudence W.H. Wong

12,154 円

Theoretical Aspects of Computing – ICTAC 2021

Antonio Cerone, Peter Csaba Ölveczky

9,116 円

Theoretical Information Reuse and Integration

Thouraya Bouabana-Tebibel, Stuart H Rubin

12,154 円

Theoretical Aspects of Computing – ICTAC 2022

Helmut Seidl, Zhiming Liu, Corina S. Pasareanu

6,076 円

Language and Automata Theory and Applications

Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira

6,076 円

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

6,076 円

Formal Methods: Foundations and Applications

Simone Cavalheiro, José Fiadeiro

7,900 円

Formal Techniques for Distributed Objects, Components, and Systems

Kirstin Peters, Tim A. C. Willemse

6,076 円

Progress in Cryptology – INDOCRYPT 2016

Somitra Kumar Sanadhya, Orr Dunkelman

6,076 円

Integrated Formal Methods

Brijesh Dongol, Elena Troubitsyna

6,076 円

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

25,017 円

Inductive Logic Programming

Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese

6,076 円

NASA Formal Methods

Clark Barrett, Misty Davies, Temesghen Kahsai

6,076 円

Verification, Model Checking, and Abstract Interpretation

Cezara Dragoi, Michael Emmi, Jingbo Wang

9,116 円

Perspectives of System Informatics

Manuel Mazzara, Andrei Voronkov

6,076 円

Bridging the Semantic Gap in Image and Video Analysis

Halina Kwaśnicka, Lakhmi C. Jain

6,076 円

Tests and Proofs

Bernhard K. Aichernig, Carlo A. Furia

6,076 円

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

12,154 円

Logic Programming and Nonmonotonic Reasoning

Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski

6,076 円

ModelEd, TestEd, TrustEd

Arend Rensink, Joost-Pieter Katoen, Rom Langerak

6,076 円

Graph Transformation, Specifications, and Nets

Reiko Heckel, Gabriele Taentzer

6,076 円

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

6,076 円

NASA Formal Methods

Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez

15,800 円

Logic, Rewriting, and Concurrency

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

6,076 円

Formal Modeling and Analysis of Timed Systems

Nathalie Bertrand, Nils Jansen

6,076 円

Formal Methods: Foundations and Applications

Lucas Lima, Vince Molnár

6,685 円

Application and Theory of Petri Nets and Concurrency

Luis Gomes, Robert Lorenz

9,723 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Logic-Based Program Synthesis and Transformation

Emanuele De Angelis, Wim Vanhoof

6,685 円

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

Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl

6,076 円

Programming Languages and Systems

Bruno C. d. S. Oliveira

6,076 円

Formal Aspects of Component Software

Gwen Salaün, Anton Wijs

5,469 円

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman, António Ravara

8,507 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

その他の著書

Bridging the Gap Between AI and Reality

Bernhard Steffen

無料

Bridging the Gap Between AI and Reality

Bernhard Steffen

無料

Faithful Disobedience

Wang Yi, Hannah Nation, J. D. Tseng, Ian Johnson

4,438 円

Formal Methods for Industrial Critical Systems

Anne Remke, Bernhard Steffen

7,049 円

Bridging the Gap Between AI and Reality

Bernhard Steffen

8,507 円

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Tiziana Margaria, Bernhard Steffen

12,154 円

Provably Correct Systems

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

12,154 円

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria, Bernhard Steffen

8,507 円

Real Time and Such

Susanne Graf, Paul Pettersson, Bernhard Steffen

6,685 円

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Tiziana Margaria, Bernhard Steffen

6,076 円

Transactions on Foundations for Mastering Change I

Bernhard Steffen

6,076 円

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Tiziana Margaria, Bernhard Steffen

6,076 円

Computing and Software Science

Bernhard Steffen, Gerhard Woeginger

3,645 円

The Combined Power of Research, Education, and Dissemination

Mike Hinchey, Bernhard Steffen

9,116 円

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Tiziana Margaria, Bernhard Steffen

9,723 円

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Tiziana Margaria, Bernhard Steffen

10,331 円

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Tiziana Margaria, Bernhard Steffen

8,507 円

Bridging the Gap Between AI and Reality

Bernhard Steffen

8,507 円

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

Tiziana Margaria, Bernhard Steffen

6,076 円

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Tiziana Margaria, Bernhard Steffen

8,021 円

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Tiziana Margaria, Bernhard Steffen

7,900 円

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

Tiziana Margaria, Bernhard Steffen

8,507 円

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Tiziana Margaria, Bernhard Steffen

9,723 円

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Tiziana Margaria, Bernhard Steffen

9,116 円

Leveraging Applications of Formal Methods, Verification and Validation: Applications

Tiziana Margaria, Bernhard Steffen

6,076 円

SOFSEM 2017: Theory and Practice of Computer Science

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria

6,076 円

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

Tiziana Margaria, Bernhard Steffen

6,076 円

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Tiziana Margaria, Bernhard Steffen

10,331 円

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

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

日本のストアです。

Model Checking, Synthesis, and Learning

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Programming Languages and Systems

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Foundations of Software Science and Computation Structures

Computer Aided Verification

Language and Automata Theory and Applications

Formal Techniques for Safety-Critical Systems

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Programming Languages and Systems

Reachability Problems

Principles of Systems Design

Tools and Algorithms for the Construction and Analysis of Systems

Automated Technology for Verification and Analysis

Dependable Software Engineering: Theories, Tools, and Applications

Computer Aided Verification

Verification, Model Checking, and Abstract Interpretation

Language and Automata Theory and Applications

Frontiers of Combining Systems

A Journey from Process Algebra via Timed Automata to Model Learning

Graph Transformation

Theoretical Aspects of Computing – ICTAC 2018

NASA Formal Methods

Computer Aided Verification

Theoretical Aspects of Computing – ICTAC 2017

KI 2017: Advances in Artificial Intelligence

Inductive Logic Programming

Automated Technology for Verification and Analysis

Computer Aided Verification

Physically Unclonable Functions

Logic-Based Program Synthesis and Transformation

Fundamentals of Software Engineering

Verification, Model Checking, and Abstract Interpretation

SOFSEM 2016: Theory and Practice of Computer Science

Intelligent Computer Mathematics

Formal Techniques for Safety-Critical Systems

Fundamentals of Computation Theory

Semantics, Logics, and Calculi

It's All About Coordination

SOFSEM 2018: Theory and Practice of Computer Science

FM 2016: Formal Methods

Software Engineering and Formal Methods

Reachability Problems

Formal Methods

Computer Aided Verification

Automated Technology for Verification and Analysis

Theoretical Aspects of Computing – ICTAC 2016

Automated Technology for Verification and Analysis

Inductive Logic Programming

Graph Transformation

Formal Methods and Software Engineering

Formal Methods in Outer Space

SOFSEM 2021: Theory and Practice of Computer Science

Theoretical Aspects of Computing – ICTAC 2021

Theoretical Information Reuse and Integration

Theoretical Aspects of Computing – ICTAC 2022

Language and Automata Theory and Applications

Theoretical Aspects of Computing - ICTAC 2015

Formal Methods: Foundations and Applications

Formal Techniques for Distributed Objects, Components, and Systems

Progress in Cryptology – INDOCRYPT 2016

Integrated Formal Methods

Tractability