Téléchargez le livre : Rigorous State-Based Methods

Rigorous State-Based Methods

7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings de

, ,

Éditeur :

Springer


Collection :

Lecture Notes in Computer Science

Paru le : 2020-05-22

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
77,00 €
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description

This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic.
The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress).
Pages
428 pages
Collection
Lecture Notes in Computer Science
Parution
2020-05-22
Marque
Springer
EAN papier
9783030480769
EAN PDF
9783030480776
Informations sur l'ebook
Nombre pages copiables
4
Nombre pages imprimables
42
Taille du fichier
23962 Ko
Prix
77,00 €
EAN EPUB
9783030480776
Informations sur l'ebook
Nombre pages copiables
4
Nombre pages imprimables
42
Taille du fichier
26921 Ko
Prix
77,00 €

Suggestions personnalisées