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)

Comprar el eBook

Ahorra 10 %Precio de venta: $81.153 CLP.$73.037CLP

Estás en la librería de Chile

¿No estás en Chile? Elige la librería de tu país para ver los libros que puedes comprar.

Elige tu librería

Comprar ahora

¿Por qué leer con nosotros?

Kobo anima a los amantes de los libros a leer más.

Experiencia de lectura mejorada con nuestros eReaders Kobo

Catálogo de libros extenso y relevante

Aplicación de lectura gratuita de Kobo

Sinopsis

Categorías

Acerca de este libro

Idioma:English
ISBN:9783030913847
Fecha de lanzamiento:3 dic 2021
Editorial:Springer International Publishing

Edición:Springer
Formato de archivo:EPUB3
Tamaño de archivo:20.96 MB
Opciones de descarga:EPUB3 (Adobe DRM)

Lecturas relacionadas

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

Gratis

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

Gratis

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman

Gratis

Programming Languages and Systems

Amal Ahmed

Gratis

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Tomáš Vojnar, Lijun Zhang

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Tomáš Vojnar, Lijun Zhang

Gratis

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Gratis

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratis

Foundations of Software Science and Computation Structures

Orna Kupferman, Pawel Sobocinski

Gratis

Computer Aided Verification

Sharon Shoham, Yakir Vizel

Gratis

Language and Automata Theory and Applications

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

$56.180

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

$56.180

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratis

Programming Languages and Systems

Thomas Wies

Gratis

Reachability Problems

Matthew Hague, Igor Potapov

$56.180

Principles of Systems Design

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

$101.133

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

$56.180

Automated Technology for Verification and Analysis

Zhe Hou, Vijay Ganesh

$84.276

Dependable Software Engineering: Theories, Tools, and Applications

Martin Fränzle, Deepak Kapur, Naijun Zhan

$56.180

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

$56.180

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

$56.180

Language and Automata Theory and Applications

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

$56.180

Frontiers of Combining Systems

Boris Konev, Giles Reger

$84.276

A Journey from Process Algebra via Timed Automata to Model Learning

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

$56.180

Graph Transformation

Fabio Gadducci, Timo Kehrer

$56.180

Theoretical Aspects of Computing – ICTAC 2018

Bernd Fischer, Tarmo Uustalu

$89.895

NASA Formal Methods

Kristin Yvonne Rozier, Swarat Chaudhuri

$101.133

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

$56.180

Theoretical Aspects of Computing – ICTAC 2017

Dang Van Hung, Deepak Kapur

$56.180

KI 2017: Advances in Artificial Intelligence

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

$56.180

Inductive Logic Programming

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto

$56.180

Automated Technology for Verification and Analysis

Dang Van Hung, Oleg Sokolsky

$56.180

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Physically Unclonable Functions

Roel Maes

$56.180

Logic-Based Program Synthesis and Transformation

Maribel Fernández

$84.276

Fundamentals of Software Engineering

Hossein Hojjat, Erika Ábrahám

$67.418

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner, Thomas Wies

$101.133

SOFSEM 2016: Theory and Practice of Computer Science

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

$56.180

Intelligent Computer Mathematics

Fairouz Kamareddine, Claudio Sacerdoti Coen

$56.180

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

$56.180

Fundamentals of Computation Theory

Evripidis Bampis, Aris Pagourtzis

$101.133

Semantics, Logics, and Calculi

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

$56.180

It's All About Coordination

Frank de Boer, Marcello Bonsangue, Jan Rutten

$56.180

SOFSEM 2018: Theory and Practice of Computer Science

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

$56.180

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

$56.180

Software Engineering and Formal Methods

Radu Calinescu, Corina S. Păsăreanu

$89.895

Reachability Problems

Igor Potapov, Jiří Srba, Kim Guldstrand Larsen

$56.180

Formal Methods

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

$112.372

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

$56.180

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

$56.180

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

$56.180

Automated Technology for Verification and Analysis

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

$84.276

Inductive Logic Programming

Jesse Davis, Jan Ramon

$52.809

Graph Transformation

Fabio Gadducci, Timo Kehrer

$56.180

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

$56.180

Formal Methods in Outer Space

Ezio Bartocci, Yliès Falcone, Martin Leucker

$61.799

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

$101.133

Theoretical Aspects of Computing – ICTAC 2021

Antonio Cerone, Peter Csaba Ölveczky

$84.276

Theoretical Information Reuse and Integration

Thouraya Bouabana-Tebibel, Stuart H Rubin

$101.133

Theoretical Aspects of Computing – ICTAC 2022

Helmut Seidl, Zhiming Liu, Corina S. Pasareanu

$56.180

Language and Automata Theory and Applications

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

$56.180

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

$56.180

Formal Methods: Foundations and Applications

Simone Cavalheiro, José Fiadeiro

$73.037

Formal Techniques for Distributed Objects, Components, and Systems

Kirstin Peters, Tim A. C. Willemse

$56.180

Progress in Cryptology – INDOCRYPT 2016

Somitra Kumar Sanadhya, Orr Dunkelman

$56.180

Integrated Formal Methods

Brijesh Dongol, Elena Troubitsyna

$56.180

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

$157.317

Inductive Logic Programming

Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese

$56.180

NASA Formal Methods

Clark Barrett, Misty Davies, Temesghen Kahsai

$56.180

Verification, Model Checking, and Abstract Interpretation

Cezara Dragoi, Michael Emmi, Jingbo Wang

$84.276

Perspectives of System Informatics

Manuel Mazzara, Andrei Voronkov

$56.180

Bridging the Semantic Gap in Image and Video Analysis

Halina Kwaśnicka, Lakhmi C. Jain

$56.180

Tests and Proofs

Bernhard K. Aichernig, Carlo A. Furia

$56.180

Advances in Cryptology – ASIACRYPT 2016

Jung Hee Cheon, Tsuyoshi Takagi

$101.133

Logic Programming and Nonmonotonic Reasoning

Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski

$56.180

ModelEd, TestEd, TrustEd

Arend Rensink, Joost-Pieter Katoen, Rom Langerak

$56.180

Graph Transformation, Specifications, and Nets

Reiko Heckel, Gabriele Taentzer

$56.180

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

$56.180

NASA Formal Methods

Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez

$134.848

Logic, Rewriting, and Concurrency

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

$56.180

Formal Modeling and Analysis of Timed Systems

Nathalie Bertrand, Nils Jansen

$56.180

Formal Methods: Foundations and Applications

Lucas Lima, Vince Molnár

$61.799

Application and Theory of Petri Nets and Concurrency

Luis Gomes, Robert Lorenz

$89.895

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

$56.180

Logic-Based Program Synthesis and Transformation

Emanuele De Angelis, Wim Vanhoof

$61.799

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

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

$56.180

Programming Languages and Systems

Bruno C. d. S. Oliveira

$56.180

Formal Aspects of Component Software

Gwen Salaün, Anton Wijs

$50.561

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman, António Ravara

$78.657

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$56.180

Ver más por autor

Formal Methods for Industrial Critical Systems

Anne Remke, Bernhard Steffen

$64.047

Bridging the Gap Between AI and Reality

Bernhard Steffen

$78.657

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

Tiziana Margaria, Bernhard Steffen

$101.133

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria, Bernhard Steffen

$78.657

Real Time and Such

Susanne Graf, Paul Pettersson, Bernhard Steffen

$61.799

Provably Correct Systems

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

$101.133

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

Tiziana Margaria, Bernhard Steffen

$56.180

Transactions on Foundations for Mastering Change I

Bernhard Steffen

$56.180

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

Tiziana Margaria, Bernhard Steffen

$56.180

Computing and Software Science

Bernhard Steffen, Gerhard Woeginger

$33.703

The Combined Power of Research, Education, and Dissemination

Mike Hinchey, Bernhard Steffen

$84.276

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

Tiziana Margaria, Bernhard Steffen

$89.895

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

Tiziana Margaria, Bernhard Steffen

$95.514

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

Tiziana Margaria, Bernhard Steffen

$78.657

Bridging the Gap Between AI and Reality

Bernhard Steffen

$78.657

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

Tiziana Margaria, Bernhard Steffen

$56.180

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

Tiziana Margaria, Bernhard Steffen

$73.037

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Tiziana Margaria, Bernhard Steffen

$73.037

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

Tiziana Margaria, Bernhard Steffen

$78.657

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

Tiziana Margaria, Bernhard Steffen

$84.276

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

Tiziana Margaria, Bernhard Steffen

$89.895

Leveraging Applications of Formal Methods, Verification and Validation: Applications

Tiziana Margaria, Bernhard Steffen

$56.180

SOFSEM 2017: Theory and Practice of Computer Science

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

$56.180

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

Tiziana Margaria, Bernhard Steffen

$56.180

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

Tiziana Margaria, Bernhard Steffen

$95.514

¿Te ha gustado el libro?

¡Sé la primera persona en valorar y reseñar este libro!

Esta es nuestra librería de Chile.

Model Checking, Synthesis, and Learning

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

Lecturas relacionadas

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