Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings: 14414 (Lecture Notes in Computer Science) - Softcover

9783031493416: Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings: 14414 (Lecture Notes in Computer Science)

Softcover

ISBN 10: 3031493419 ISBN 13: 9783031493416

Verlag: Springer, 2023

This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.
The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.

The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.

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

VerlagSpringer
Erscheinungsdatum2023
ISBN 10 3031493419
ISBN 13 9783031493416
EinbandTapa blanda
SpracheEnglisch
Auflage1
Anzahl der Seiten176
HerausgeberBarbosa Haniel, Zohar Yoni
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: 26th...

Foto des Verk�ufers

Formal Methods: Foundations and Applications

Verlag: Springer Nature Switzerland, 2023

ISBN 10: 3031493419 ISBN 13: 9783031493416

Neu Kartoniert / Broschiert

Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the&nbsp26th Brazilian Symposium&nbspon&nbspFormal Methods, SBMF 2023, held in&nbspManaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefu. Bestandsnummer des Verk�ufers 1215160988

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

Yoni Zohar

Verlag: Springer Nature Switzerland, Springer Nature Switzerland Dez 2023, 2023

ISBN 10: 3031493419 ISBN 13: 9783031493416

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 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch. Bestandsnummer des Verk�ufers 9783031493416

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

Yoni Zohar

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

ISBN 10: 3031493419 ISBN 13: 9783031493416

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 the26th Brazilian SymposiumonFormal Methods, SBMF 2023, held inManaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation. 176 pp. Englisch. Bestandsnummer des Verk�ufers 9783031493416

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 : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Yoni Zohar

Verlag: Springer Nature Switzerland, Springer Nature Switzerland, 2023

ISBN 10: 3031493419 ISBN 13: 9783031493416

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 the26th Brazilian SymposiumonFormal Methods, SBMF 2023, held inManaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation. Bestandsnummer des Verk�ufers 9783031493416

Verk�ufer kontaktieren