Rigorous State-Based Methods

8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings

Alexander Raschke,Dominique Méry

Springer Nature Proceedings Computer Science

Comprar el eBook

Ahorra 10 %Precio de venta: $74.909 CLP.$67.418CLP

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:9783030775438
Fecha de lanzamiento:2 jun 2021
Editorial:Springer International Publishing

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

En esta serie

Rigorous State-Based Methods

Alexander Raschke,Dominique Méry,Frank Houdek

Lecturas relacionadas

The Text Mining Handbook

Ronen Feldman, James Sanger

$95.796

Fundamental Approaches to Software Engineering

Reiner Hähnle, Wil van der Aalst

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

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

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

Gratis

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

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

Shuvendu K. Lahiri, Chao Wang

Gratis

Fundamental Approaches to Software Engineering

Alessandra Russo, Andy Schürr

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratis

Trends in Functional Programming Volume 6

Marko Van Eekelen

$42.443

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV

Abdelkader Hameurlain, Josef Küng, Roland Wagner, Hendrik Decker, Lenka Lhotska, Sebastian Link

$56.180

Integrated Formal Methods

Nadia Polikarpova, Steve Schneider

$56.180

Formal Techniques for Distributed Objects, Components, and Systems

Christel Baier, Luís Caires

$56.180

Integrated Formal Methods

Brijesh Dongol, Elena Troubitsyna

$56.180

Coordination Models and Languages

Jean-Marie Jacquet, Mieke Massink

$56.180

Integrated Formal Methods

Maurice H. ter Beek, Rosemary Monahan

$84.276

Software Engineering and Formal Methods

Radu Calinescu, Corina S. Păsăreanu

$89.895

Tests and Proofs

Virgile Prevosto, Cristina Seceleanu

$56.180

Verified Software. Theories, Tools, and Experiments

Ruzica Piskac, Philipp Rümmer

$56.180

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

$44.943

Tests and Proofs

Frédéric Loulergue, Franz Wotawa

$56.180

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

Tiziana Margaria, Bernhard Steffen

$95.514

Coordination Models and Languages

Ferruccio Damiani, Ornela Dardha

$56.180

Formal Methods and Software Engineering

Adrian Riesco, Min Zhang

$56.180

Fundamentals of Software Engineering

Hossein Hojjat, Mieke Massink

$78.657

Integrated Formal Methods

Erika Ábrahám, Marieke Huisman

$89.895

Formal Aspects of Component Software

Kyungmin Bae, Peter Csaba Ölveczky

$56.180

Verified Software. Theories, Tools, and Experiments

Andrei Paskevich, Thomas Wies

$56.180

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

Tiziana Margaria, Bernhard Steffen

$95.514

Software Engineering and Formal Methods

Rocco De Nicola, Eva Kühn

$56.180

Fundamental Approaches to Software Engineering

Perdita Stevens, Andrzej Wąsowski

$56.180

Formal Aspects of Component Software

Gwen Salaün, Anton Wijs

$50.561

Formal Methods for Industrial Critical Systems

Alberto Lluch Lafuente, Anastasia Mavridou

$56.180

Verified Software. Theories, Tools and Experiments.

Akash Lal, Stefano Tonetta

$56.180

Model Checking Software

Alfons Laarman, Ana Sokolova

$56.180

Computer Security – ESORICS 2017

Simon N. Foley, Dieter Gollmann, Einar Snekkenes

$56.180

NASA Formal Methods

Aaron Dutle, César Muñoz, Anthony Narkawicz

$56.180

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

$56.180

Software Engineering and Formal Methods

Bernd-Holger Schlingloff, Ming Chai

$73.037

Formal Techniques for Distributed Objects, Components, and Systems

Ahmed Bouajjani, Alexandra Silva

$56.180

Formal Aspects of Component Software

José Proença, Markus Lumpe

$56.180

Testing Software and Systems

Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün

$56.180

Fundamental Approaches to Software Engineering

Marieke Huisman, Julia Rubin

$56.180

Coordination Models and Languages

Sung-Shik Jongmans, Antónia Lopes

$78.657

Software Engineering and Formal Methods

Alessandro Cimatti, Marjan Sirjani

$56.180

The Semantic Web

Paul Groth, Maria-Esther Vidal, Fabian Suchanek, Pedro Szekley, Pavan Kapanipathi, Catia Pesquita, Hala Skaf-Molli, Minna Tamper

$89.895

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner, Thomas Wies

$101.133

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

$56.180

Formal Methods: Foundations and Applications

Bill Roscoe, Márcio Cornélio

$44.943

Runtime Verification

Yliès Falcone, César Sánchez

$56.180

Programming Languages and Systems

Bruno C. d. S. Oliveira

$56.180

The Semantic Web

Ruben Verborgh, Katja Hose, Heiko Paulheim, Pierre-Antoine Champin, Maria Maleshkova, Oscar Corcho, Petar Ristoski, Mehwish Alam

$101.133

Formal Techniques for Distributed Objects, Components, and Systems

Elvira Albert, Ivan Lanese

$56.180

Coordination Models and Languages

Giovanna Di Marzo Serugendo, Michele Loreti

$56.180

Perspectives of System Informatics

Alexander K. Petrenko, Andrei Voronkov

$56.180

Fundamentals of Software Engineering

Hossein Hojjat, Erika Ábrahám

$67.418

Lectures on Runtime Verification

Ezio Bartocci, Yliès Falcone

$73.037

Perspectives of System Informatics

Manuel Mazzara, Andrei Voronkov

$56.180

Verification, Model Checking, and Abstract Interpretation

Cezara Dragoi, Michael Emmi, Jingbo Wang

$84.276

Principles of Security and Trust

Matteo Maffei, Mark Ryan

$56.180

Runtime Verification

Jyotirmoy Deshmukh, Dejan Ničković

$56.180

Public-Key Cryptography – PKC 2017

Serge Fehr

$56.180

Meta-Programming and Model-Driven Meta-Program Development

Vytautas Štuikys, Robertas Damaševičius

$101.133

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

$56.180

Critical Systems: Formal Methods and Automated Verification

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

$56.180

Model Checking Software

Georgiana Caltais, Christian Schilling

$61.799

Paradigms in Cryptology – Mycrypt 2016. Malicious and Exploratory Cryptology

Raphaël C.-W. Phan, Moti Yung

$56.180

Verified Software. Theories, Tools, and Experiments

Sandrine Blazy, Marsha Chechik

$56.180

The Semantic Web – ISWC 2016

Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Krötzsch, Freddy Lecue, Fabian Flöck, Yolanda Gil

$56.180

It's All About Coordination

Frank de Boer, Marcello Bonsangue, Jan Rutten

$56.180

Tools and Methods of Program Analysis

Vladimir Itsykson, Andre Scedrov, Victor Zakharov

$56.180

A Journey from Process Algebra via Timed Automata to Model Learning

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

$56.180

Software Similarity and Classification

Silvio Cesare, Yang Xiang

$56.180

Tests and Proofs

Einar Broch Johnsen, Sebastian Gabmeyer

$56.180

Topics in Cryptology - CT-RSA 2016

Kazue Sako

$56.180

Practical Aspects of Declarative Languages

Yuliya Lierler, Walid Taha

$56.180

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

Tiziana Margaria, Bernhard Steffen

$101.133

Theory and Practice of Model Transformation

Esther Guerra, Mark van den Brand

$56.180

Advances in Databases and Information Systems

Alberto Abelló, Panos Vassiliadis, Oscar Romero, Robert Wrembel

$73.037

Coordination Models and Languages

Alberto Lluch Lafuente, José Proença

$56.180

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

$56.180

Patterns, Programming and Everything

R. Nigel Horspool, Karin K. Breitman

$101.133

Advances in Cryptology – CRYPTO 2017

Jonathan Katz, Hovav Shacham

$101.133

Principles of Security and Trust

Frank Piessens, Luca Viganò

$56.180

Formal Analysis by Abstract Interpretation

Benjamin Aziz

$67.418

SOFSEM 2018: Theory and Practice of Computer Science

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

$56.180

NASA Formal Methods

Kristin Yvonne Rozier, Swarat Chaudhuri

$101.133

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

$56.180

NASA Formal Methods

Clark Barrett, Misty Davies, Temesghen Kahsai

$56.180

Ver más por autor

Logic, Computation and Rigorous Methods

Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe

$56.180

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Yamine Ait-Ameur, Shin Nakajima, Dominique Méry

$101.133

Rigorous State-Based Methods

Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque

$84.276

Model and Data Engineering

El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez

$56.180

Rigorous Methods in Theory and Practice

Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe, Bernhard Thalheim

$73.037

Rigorous State-Based Methods

Alexander Raschke, Dominique Méry, Frank Houdek

$56.180

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

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

$56.180

¿Te ha gustado el libro?

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

Esta es nuestra librería de Chile.

Rigorous State-Based Methods

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

En esta serie

Rigorous State-Based Methods

Lecturas relacionadas

The Text Mining Handbook

Fundamental Approaches to Software Engineering

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

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

Computer Aided Verification

Computer Aided Verification

Fundamental Approaches to Software Engineering

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Trends in Functional Programming Volume 6

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV

Integrated Formal Methods

Formal Techniques for Distributed Objects, Components, and Systems

Integrated Formal Methods

Coordination Models and Languages

Integrated Formal Methods

Software Engineering and Formal Methods

Tests and Proofs

Verified Software. Theories, Tools, and Experiments

Trustworthy Global Computing

Tests and Proofs

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

Coordination Models and Languages

Formal Methods and Software Engineering

Fundamentals of Software Engineering

Integrated Formal Methods

Formal Aspects of Component Software

Verified Software. Theories, Tools, and Experiments

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

Software Engineering and Formal Methods

Fundamental Approaches to Software Engineering

Formal Aspects of Component Software

Formal Methods for Industrial Critical Systems

Verified Software. Theories, Tools and Experiments.

Model Checking Software

Computer Security – ESORICS 2017

NASA Formal Methods

Formal Methods and Software Engineering

Software Engineering and Formal Methods

Formal Techniques for Distributed Objects, Components, and Systems

Formal Aspects of Component Software

Testing Software and Systems

Fundamental Approaches to Software Engineering

Coordination Models and Languages

Software Engineering and Formal Methods

The Semantic Web

Verification, Model Checking, and Abstract Interpretation

Software Engineering and Formal Methods

Formal Methods: Foundations and Applications

Runtime Verification

Programming Languages and Systems

The Semantic Web

Formal Techniques for Distributed Objects, Components, and Systems

Coordination Models and Languages

Perspectives of System Informatics

Fundamentals of Software Engineering

Lectures on Runtime Verification

Perspectives of System Informatics

Verification, Model Checking, and Abstract Interpretation

Principles of Security and Trust

Runtime Verification

Public-Key Cryptography – PKC 2017

Meta-Programming and Model-Driven Meta-Program Development

Formal Aspects of Component Software