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.

Verlag: Springer
Erscheinungsdatum: 2022
Sprache: Englisch
ISBN 10: 3031224752
ISBN 13: 9783031224751
Einband: Tapa blanda
Auflage: 1
Anzahl der Seiten: 164
Herausgeber: Lima Lucas, Moln�r Vince
Kontakt zum Hersteller: Nicht verf�gbar
Verantwortliche Person: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Neu kaufen

Diesen Artikel anzeigen

EUR 52,76

W�hrung umrechnen

EUR 7,67 f�r den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

In den Warenkorb

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

Beispielbild f�r diese ISBN

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

Verlag: Springer, 2022

ISBN 10: 3031224752 ISBN 13: 9783031224751

Neu Softcover

Anbieter: Best Price, Torrance, CA, USA

Verk�uferbewertung 5 von 5 Sternen

Zustand: New. SUPER FAST SHIPPING. Bestandsnummer des Verk�ufers 9783031224751

Verk�ufer kontaktieren

Neu kaufen

EUR 52,76

W�hrung umrechnen

Versand: EUR 7,67

Innerhalb der USA

Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Formal Methods: Foundations and Applications (Paperback)

Lucas Lima

Verlag: Springer International Publishing AG, Cham, 2022

ISBN 10: 3031224752 ISBN 13: 9783031224751

Neu Paperback Erstausgabe

Anbieter: Grand Eagle Retail, Mason, OH, USA

Verk�uferbewertung 5 von 5 Sternen

Paperback. Zustand: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verk�ufers 9783031224751

Verk�ufer kontaktieren

Neu kaufen

EUR 60,65

W�hrung umrechnen

Versand: Gratis

Innerhalb der USA

Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

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

Verlag: Springer, 2022

ISBN 10: 3031224752 ISBN 13: 9783031224751

Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Zustand: New. In. Bestandsnummer des Verk�ufers ria9783031224751_new

Verk�ufer kontaktieren

Neu kaufen

EUR 58,52

W�hrung umrechnen

Versand: EUR 13,85

Von Vereinigtes K�nigreich nach USA

Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

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

Lima, Lucas

Verlag: Springer 2022-12, 2022

ISBN 10: 3031224752 ISBN 13: 9783031224751

Neu PF

Anbieter: Chiron Media, Wallingford, Vereinigtes K�nigreich

Verk�uferbewertung 4 von 5 Sternen

PF. Zustand: New. Bestandsnummer des Verk�ufers 6666-IUK-9783031224751

Verk�ufer kontaktieren

Neu kaufen

EUR 56,54

W�hrung umrechnen

Versand: EUR 17,91

Von Vereinigtes K�nigreich nach USA

Versandziele, Kosten & Dauer

Anzahl: 10 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