Reachability Problems

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

ebook,ebook

Igor Potapov,Jiří Srba,Kim Guldstrand Larsen

Springer Nature Proceedings Computer Science

Comprar el eBook

Ahorra 10 %Precio de venta: $62.423 CLP.$56.180CLP

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:9783319459943
Fecha de lanzamiento:30 sept 2016
Editorial:Springer International Publishing

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

En esta serie

Formal Methods for Industrial Critical Systems

Kim Guldstrand Larsen,Tim Willemse

Dependable Software Engineering. Theories, Tools, and Applications

Ji Wang,Kim Guldstrand Larsen,Oleg Sokolsky

Lecturas relacionadas

Developments in Language Theory

Srečko Brlek, Christophe Reutenauer

$56.180

Descriptional Complexity of Formal Systems

Jeffrey Shallit, Alexander Okhotin

$56.180

Descriptional Complexity of Formal Systems

Cezar Câmpeanu, Florin Manea, Jeffrey Shallit

$56.180

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Jiří Sgall

$56.180

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$56.180

Implementation and Application of Automata

Yo-Sub Han, Kai Salomaa

$56.180

Language and Automata Theory and Applications

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

$56.180

Machines, Computations, and Universality

Benedek Nagy, Jerome Durand-Lose

$52.809

Unconventional Computation and Natural Computation

Martyn Amos, Anne Condon

$56.180

Descriptional Complexity of Formal Systems

Giovanni Pighizzini, Cezar Câmpeanu

$56.180

Computer Science -- Theory and Applications

Lev D. Beklemishev, Daniil V. Musatov

$56.180

Computer Science – Theory and Applications

Alexander S. Kulikov, Gerhard J. Woeginger

$56.180

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$56.180

Descriptive Set Theoretic Methods in Automata Theory

Michał Skrzypczak

$56.180

Computability and Complexity

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

$56.180

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

$56.180

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

Tiziana Margaria, Bernhard Steffen

$56.180

Pursuit of the Universal

Arnold Beckmann, Laurent Bienvenu, Nataša Jonoska

$56.180

Recent Trends in Algebraic Development Techniques

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

$44.943

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

Tiziana Margaria, Bernhard Steffen

$101.133

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

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

$56.180

Foundations of Software Science and Computation Structures

Bart Jacobs, Christof Löding

$56.180

Hybrid Metaheuristics

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

$56.180

Reversible Computation

Simon Devitt, Ivan Lanese

$56.180

Implementation and Application of Automata

Frank Drewes

$56.180

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

$56.180

Learning and Intelligent Optimization

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

$56.180

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu

$56.180

Formal Grammar

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

$56.180

Unveiling Dynamics and Complexity

Jarkko Kari, Florin Manea, Ion Petre

$56.180

Learning and Intelligent Optimization

Paola Festa, Meinolf Sellmann, Joaquin Vanschoren

$56.180

Cellular Automata and Discrete Complex Systems

Matthew Cook, Turlough Neary

$56.180

Language and Automata Theory and Applications

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

$56.180

Finite Difference Methods,Theory and Applications

Ivan Dimov, István Faragó, Lubin Vulkov

$56.180

Leveraging Applications of Formal Methods, Verification, and Validation

Anna-Lena Lamprecht

$56.180

Evolving Computability

Arnold Beckmann, Victor Mitrana, Mariya Soskova

$56.180

Computers and Games

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

$52.809

Formal Modeling and Analysis of Timed Systems

Martin Fränzle, Nicolas Markey

$56.180

Fundamentals of Computation Theory

Ralf Klasing, Marc Zeitoun

$56.180

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

$56.180

Formal Techniques for Distributed Objects, Components, and Systems

Elvira Albert, Ivan Lanese

$56.180

Computer Safety, Reliability, and Security

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

$56.180

Learning and Intelligent Optimization

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

$56.180

Coalgebraic Methods in Computer Science

Ichiro Hasuo

$56.180

Cellular Automata and Discrete Complex Systems

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

$56.180

Inductive Logic Programming

Jesse Davis, Jan Ramon

$52.809

Coalgebraic Methods in Computer Science

Marcello M. Bonsangue

$52.809

Foundations of Software Science and Computation Structures

Javier Esparza, Andrzej S. Murawski

$56.180

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

$56.180

Ver más por autor

Formal Methods for Industrial Critical Systems

Kim Guldstrand Larsen, Tim Willemse

$56.180