Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings: 13768 (Lecture Notes in Computer Science) - Softcover

9783031224751: Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings: 13768 (Lecture Notes in Computer Science)

Softcover

ISBN 10: 3031224752 ISBN 13: 9783031224751

Verlag: Springer, 2022

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022.

The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the construction

of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

VerlagSpringer
Erscheinungsdatum2022
ISBN 10 3031224752
ISBN 13 9783031224751
EinbandTapa blanda
SpracheEnglisch
Auflage1
Anzahl der Seiten164
HerausgeberLima Lucas, Moln�r Vince
Kontakt zum HerstellerNicht verf�gbar

Neu kaufen

Diesen Artikel anzeigen

EUR 52,76

W�hrung umrechnen

Gratis f�r den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

In den Warenkorb

Suchergebnisse f�r Formal Methods: Foundations and Applications: 25th...

Foto des Verk�ufers

Formal Methods: Foundations and Applications

Verlag: Springer, Berlin|Springer International Publishing|Springer, 2023

ISBN 10: 3031224752 ISBN 13: 9783031224751

Neu Kartoniert / Broschiert

Anbieter: moluna, Greven, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Kartoniert / Broschiert. Zustand: New. Bestandsnummer des Verk�ufers 748634244

Verk�ufer kontaktieren

Neu kaufen

EUR 52,76

W�hrung umrechnen

Versand: Gratis

Innerhalb Deutschlands

Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Formal Methods: Foundations and Applications

Vince Moln�r

Verlag: Springer International Publishing, Springer Nature Switzerland Dez 2022, 2022

ISBN 10: 3031224752 ISBN 13: 9783031224751

Neu Taschenbuch

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch. Bestandsnummer des Verk�ufers 9783031224751

Verk�ufer kontaktieren

Neu kaufen

EUR 58,84

W�hrung umrechnen

Versand: Gratis

Innerhalb Deutschlands

Versandziele, Kosten & Dauer

Anzahl: 2 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Formal Methods: Foundations and Applications : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6�9, 2022, Proceedings

Vince Moln�r

Verlag: Springer International Publishing, 2022

ISBN 10: 3031224752 ISBN 13: 9783031224751

Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the constructionof high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area. Bestandsnummer des Verk�ufers 9783031224751

Verk�ufer kontaktieren

Neu kaufen

EUR 58,84

W�hrung umrechnen

Versand: Gratis

Innerhalb Deutschlands

Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Formal Methods: Foundations and Applications

Vince Moln�r

Verlag: Springer International Publishing Dez 2022, 2022

ISBN 10: 3031224752 ISBN 13: 9783031224751

Neu Taschenbuch

Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the constructionof high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area. 164 pp. Englisch. Bestandsnummer des Verk�ufers 9783031224751

Verk�ufer kontaktieren