Vos paramètres de confidentialité

En sélectionnant «Tout accepter», vous autorisez RakutenKobo et ses partenaires à utiliser des cookies, des technologies de suivi et des technologies similaires pour collecter vos données personnelles et les traiter aux fins suivantes: exploiter le site Web et les services Kobo et s'assurer qu'ils fonctionnent correctement, vous fournir du contenu personnalisé sur Kobo et des publicités pour Kobo sur d'autres plateformes, et mesurer les analyses et analyser comment notre site Web et nos services sont utilisés. Sinon, veuillez cliquer sur «Refuser» ci-dessous pour rejeter toutes les finalités non essentielles ou consulter les «Paramètres de confidentialité» pour gérer vos préférences pour chaque finalité. Pour plus d'informations, veuillez lire notre Politique de confidentialité.

Reachability Problems

10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

e-book,e-book

Igor Potapov,Jiří Srba,Kim Guldstrand Larsen

Springer Nature Proceedings Computer Science

Vous êtes dans la boutique États-Unis

Pas en États-Unis? Choisissez la boutique de votre pays pour voir les livres disponibles à l'achat.

Choisir sa boutique

Résumé

Catégories

À propos de ce livre

Langue :English
ISBN :9783319459943
Date de parution :30 sept. 2016
Éditeur :Springer International Publishing

Marque éditoriale :Springer
Format de fichier :EPUB2
Taille de fichier :3.86 MB
Options de téléchargement :EPUB2 (Adobe DRM)

In this series

Dependable Software Engineering. Theories, Tools, and Applications

Ji Wang,Kim Guldstrand Larsen,Oleg Sokolsky

Formal Methods for Industrial Critical Systems

Kim Guldstrand Larsen,Tim Willemse

Lectures semblables

Developments in Language Theory

Srečko Brlek, Christophe Reutenauer

46,34 €

Descriptional Complexity of Formal Systems

Jeffrey Shallit, Alexander Okhotin

46,34 €

Descriptional Complexity of Formal Systems

Cezar Câmpeanu, Florin Manea, Jeffrey Shallit

46,34 €

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Jiří Sgall

46,34 €

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

46,34 €

Implementation and Application of Automata

Yo-Sub Han, Kai Salomaa

46,34 €

Language and Automata Theory and Applications

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

46,34 €

Machines, Computations, and Universality

Benedek Nagy, Jerome Durand-Lose

43,56 €

Unconventional Computation and Natural Computation

Martyn Amos, Anne Condon

46,34 €

Descriptional Complexity of Formal Systems

Giovanni Pighizzini, Cezar Câmpeanu

46,34 €

Computer Science -- Theory and Applications

Lev D. Beklemishev, Daniil V. Musatov

46,34 €

Computer Science – Theory and Applications

Alexander S. Kulikov, Gerhard J. Woeginger

46,34 €

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

46,34 €

Descriptive Set Theoretic Methods in Automata Theory

Michał Skrzypczak

46,34 €

Computability and Complexity

Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond

46,34 €

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

46,34 €

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

Tiziana Margaria, Bernhard Steffen

46,34 €

Pursuit of the Universal

Arnold Beckmann, Laurent Bienvenu, Nataša Jonoska

46,34 €

Recent Trends in Algebraic Development Techniques

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

37,07 €

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

Tiziana Margaria, Bernhard Steffen

83,42 €

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

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

46,34 €

Foundations of Software Science and Computation Structures

Bart Jacobs, Christof Löding

46,34 €

Hybrid Metaheuristics

Maria J. Blesa, Christian Blum, Angelo Cangelosi, Vincenzo Cutello, Mario Pavone, El-Ghazali Talbi, Alessandro Di Nuovo

46,34 €

Reversible Computation

Simon Devitt, Ivan Lanese

46,34 €

Implementation and Application of Automata

Frank Drewes

46,34 €

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

46,34 €

Learning and Intelligent Optimization

Clarisse Dhaenens, Laetitia Jourdan, Marie-Eléonore Marmion

46,34 €

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu

46,34 €

Formal Grammar

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

46,34 €

Unveiling Dynamics and Complexity

Jarkko Kari, Florin Manea, Ion Petre

46,34 €

Learning and Intelligent Optimization

Paola Festa, Meinolf Sellmann, Joaquin Vanschoren

46,34 €

Cellular Automata and Discrete Complex Systems

Matthew Cook, Turlough Neary

46,34 €

Language and Automata Theory and Applications

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

46,34 €

Finite Difference Methods,Theory and Applications

Ivan Dimov, István Faragó, Lubin Vulkov

46,34 €

Leveraging Applications of Formal Methods, Verification, and Validation

Anna-Lena Lamprecht

46,34 €

Evolving Computability

Arnold Beckmann, Victor Mitrana, Mariya Soskova

46,34 €

Computers and Games

H. Jaap van den Herik, Hiroyuki Iida, Aske Plaat

43,56 €

Formal Modeling and Analysis of Timed Systems

Martin Fränzle, Nicolas Markey

46,34 €

Fundamentals of Computation Theory

Ralf Klasing, Marc Zeitoun

46,34 €

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

46,34 €

Formal Techniques for Distributed Objects, Components, and Systems

Elvira Albert, Ivan Lanese

46,34 €

Computer Safety, Reliability, and Security

Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch

46,34 €

Learning and Intelligent Optimization

Roberto Battiti, Dmitri E. Kvasov, Yaroslav D. Sergeyev

46,34 €

Coalgebraic Methods in Computer Science

Ichiro Hasuo

46,34 €

Cellular Automata and Discrete Complex Systems

Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca

46,34 €

Inductive Logic Programming

Jesse Davis, Jan Ramon

43,56 €

Coalgebraic Methods in Computer Science

Marcello M. Bonsangue

43,56 €

Foundations of Software Science and Computation Structures

Javier Esparza, Andrzej S. Murawski

46,34 €

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

46,34 €

Autres livres de l'auteur

Reachability Problems - eBook par Paul C. Bell, Patrick Totzke, Igor Potapov

Avez-vous aimé le livre ?

Soyez la première personne à noter ce livre et à laisser un avis !

Vos paramètres de confidentialité

Reachability Problems

Résumé

À propos de ce livre

Détails du livre

Comment lire

In this series

Dependable Software Engineering. Theories, Tools, and Applications

Formal Methods for Industrial Critical Systems

Lectures semblables

Developments in Language Theory

Descriptional Complexity of Formal Systems

Descriptional Complexity of Formal Systems

Topics in Theoretical Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Implementation and Application of Automata

Language and Automata Theory and Applications

Machines, Computations, and Universality

Unconventional Computation and Natural Computation

Descriptional Complexity of Formal Systems

Computer Science -- Theory and Applications

Computer Science – Theory and Applications

Tools and Algorithms for the Construction and Analysis of Systems

Descriptive Set Theoretic Methods in Automata Theory

Computability and Complexity

Tools and Algorithms for the Construction and Analysis of Systems

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

Pursuit of the Universal

Recent Trends in Algebraic Development Techniques

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

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

Foundations of Software Science and Computation Structures

Hybrid Metaheuristics

Reversible Computation

Implementation and Application of Automata

FM 2016: Formal Methods

Learning and Intelligent Optimization

Unifying Theories of Programming

Formal Grammar

Unveiling Dynamics and Complexity

Learning and Intelligent Optimization

Cellular Automata and Discrete Complex Systems

Language and Automata Theory and Applications

Finite Difference Methods,Theory and Applications

Leveraging Applications of Formal Methods, Verification, and Validation

Evolving Computability

Computers and Games

Formal Modeling and Analysis of Timed Systems

Fundamentals of Computation Theory

Verification, Model Checking, and Abstract Interpretation

Formal Techniques for Distributed Objects, Components, and Systems

Computer Safety, Reliability, and Security

Learning and Intelligent Optimization

Coalgebraic Methods in Computer Science

Cellular Automata and Discrete Complex Systems

Inductive Logic Programming

Coalgebraic Methods in Computer Science

Foundations of Software Science and Computation Structures

Verification, Model Checking, and Abstract Interpretation

Autres livres de l'auteur