Abbildung von Bonfanti / Gargantini | Rigorous State-Based Methods | 1. Auflage | 2024 | beck-shop.de

eBook

Bonfanti / Gargantini / Leuschel / Riccobene / Scandurra

Rigorous State-Based Methods

10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Springer Nature Switzerland

ISBN 978-3-031-63790-2

Standardpreis

80,24 €

sofort lieferbar!

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

auch verfügbar als Buch (Softcover) für 80,24 €

Bibliografische Daten

eBook. PDF. Weiches DRM (Wasserzeichen)

2024

XV, 398 p. 137 illus., 101 illus. in color..

In englischer Sprache

Umfang: 398 S.

Verlag: Springer Nature Switzerland

ISBN: 978-3-031-63790-2

Weiterführende bibliografische Daten

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science

auch verfügbar als Buch (Softcover) für 80,24 €

Produktbeschreibung

This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 2024.

The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.

Autorinnen und Autoren

Produktsicherheit

Hersteller

Springer-Verlag GmbH

Tiergartenstr. 17
69121 Heidelberg, DE

ProductSafety@springernature.com

Topseller & Empfehlungen für Sie

Ihre zuletzt angesehenen Produkte