Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vit�ria, Brazil, December 4–6, 2024, Proceedings: 15403 (Lecture Notes in Computer Science) - Softcover

9783031781155: Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vit�ria, Brazil, December 4–6, 2024, Proceedings: 15403 (Lecture Notes in Computer Science)

Softcover

ISBN 10: 3031781155 ISBN 13: 9783031781155

Verlag: Springer, 2024

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vit�ria, Brazil, during December 4–6, 2024.

The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.

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

Verlag: Springer
Erscheinungsdatum: 2024
Sprache: Englisch
ISBN 10: 3031781155
ISBN 13: 9783031781155
Einband: Tapa blanda
Anzahl der Seiten: 224
Herausgeber: C. Nogueira Sidney, Teodorov Ciprian
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 55,40

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: 27th...

Foto des Verk�ufers

Formal Methods: Foundations and Applications

Verlag: Springer Verlag GmbH, 2024

ISBN 10: 3031781155 ISBN 13: 9783031781155

Neu Softcover

Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verk�uferbewertung 4 von 5 Sternen

Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Bestandsnummer des Verk�ufers 1929862659

Verk�ufer kontaktieren

Neu kaufen

EUR 55,40

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 : 27th Brazilian Symposium, SBMF 2024, Vit�ria, Brazil, December 4�6, 2024, Proceedings

Ciprian Teodorov

Verlag: Springer Nature Switzerland, Springer Nature Switzerland, 2024

ISBN 10: 3031781155 ISBN 13: 9783031781155

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 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vit�ria, Brazil, during December 4-6, 2024.The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems;Formal Semantics and Verification of UML Models;Formal Verification and Proof Techniques in Algorithms and Logics; andFormal Methods for Security and Privacy. Bestandsnummer des Verk�ufers 9783031781155

Verk�ufer kontaktieren

Neu kaufen

EUR 62,05

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

Ciprian Teodorov

Verlag: Springer Nature Switzerland Nov 2024, 2024

ISBN 10: 3031781155 ISBN 13: 9783031781155

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 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vit�ria, Brazil, during December 4�6, 2024.The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch. Bestandsnummer des Verk�ufers 9783031781155

Verk�ufer kontaktieren

Neu kaufen

EUR 62,05

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

Sidney C. Nogueira

Verlag: Springer, Berlin, Springer Nature Switzerland, Springer, 2024

ISBN 10: 3031781155 ISBN 13: 9783031781155

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 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vit�ria, Brazil, during December 4-6, 2024.The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems;Formal Semantics and Verification of UML Models;Formal Verification and Proof Techniques in Algorithms and Logics; andFormal Methods for Security and Privacy. 200 pp. Englisch. Bestandsnummer des Verk�ufers 9783031781155

Verk�ufer kontaktieren