Formal Methods: Foundations and Applications: 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025, Proceedings (Lecture Notes in Computer Science, Band 16363) - Softcover

Name: Formal Methods: Foundations and Applications: 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025, Proceedings (Lecture Notes in Computer Science, Band 16363)
ISBN: 9783032120854

9783032120854: Formal Methods: Foundations and Applications: 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025, Proceedings (Lecture Notes in Computer Science, Band 16363)

Softcover

ISBN 10: 3032120853 ISBN 13: 9783032120854

Verlag: Springer, 2025

Alle Exemplare dieser ISBN-Ausgabe

1 Gebraucht

Von EUR 51,37

10 Neu

Von EUR 52,63

This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3–5, 2025.

The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Process Algebras and Time; Formal Verification; Testing; Availability and Contracts; Formal Methods and AI; and Teaching and Foundations.

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

Verlag: Springer
Erscheinungsdatum: 2025
Sprache: Englisch
ISBN 10: 3032120853
ISBN 13: 9783032120854
Einband: Taschenbuch
Anzahl der Seiten: 261
Herausgeber: Ter Beek Maurice H., Teixeira Leopoldo
Kontakt zum Hersteller: Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland

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

Beispielbild f�r diese ISBN

Formal Methods: Foundations and Applications: 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3�"5, 2025, Proceedings (Lecture Notes in Computer Science)

Verlag: Springer, 2025

ISBN 10: 3032120853 ISBN 13: 9783032120854

Gebraucht paperback

Anbieter: Books From California, Simi Valley, CA, USA

Verk�uferbewertung 4 von 5 Sternen

paperback. Zustand: Fine. Bestandsnummer des Verk�ufers mon0004071946

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 51,37

EUR 4,44 Versand
Versand innerhalb von USA

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Formal Methods: Foundations and Applications (eng)

ter Beek, Maurice H.

Verlag: Springer, 2025

ISBN 10: 3032120853 ISBN 13: 9783032120854

Neu Softcover

Print-on-Demand

Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien

Verk�uferbewertung 5 von 5 Sternen

Zustand: new. Questo � un articolo print on demand. Bestandsnummer des Verk�ufers MALY9V6A48

Verk�ufer kontaktieren

Neu kaufen

EUR 52,63

EUR 5,50 Versand
Versand von Italien nach USA

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Formal Methods: Foundations and Applications (Paperback)

Leopoldo Teixeira

Verlag: Springer Nature Switzerland AG, Cham, 2025

ISBN 10: 3032120853 ISBN 13: 9783032120854

Neu Paperback

Anbieter: Grand Eagle Retail, Bensenville, IL, USA

Verk�uferbewertung 5 von 5 Sternen

Paperback. Zustand: new. Paperback. This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 35, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Process Algebras and Time; Formal Verification; Testing; Availability and Contracts; Formal Methods and AI; and Teaching and Foundations. This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 35, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 submissions. Formal Methods and AI; Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verk�ufers 9783032120854

Verk�ufer kontaktieren

Neu kaufen

EUR 61,11

Versand gratis
Versand innerhalb von USA

Anzahl: 1 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Formal Methods: Foundations and Applications

Maurice H. ter Beek

Verlag: Springer, Berlin, Springer Nature Switzerland, Springer, 2025

ISBN 10: 3032120853 ISBN 13: 9783032120854

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 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3 5, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Process Algebras and Time; Formal Verification; Testing; Availability and Contracts; Formal Methods and AI; and Teaching and Foundations. 243 pp. Englisch. Bestandsnummer des Verk�ufers 9783032120854

Verk�ufer kontaktieren

Neu kaufen

EUR 62,05

EUR 23,00 Versand
Versand von Deutschland nach USA

Anzahl: 2 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Formal Methods: Foundations and Applications

Verlag: Springer Verlag GmbH, 2025

ISBN 10: 3032120853 ISBN 13: 9783032120854

Neu Softcover

Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verk�uferbewertung 5 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 2684272382

Verk�ufer kontaktieren

Neu kaufen

EUR 55,40

EUR 48,99 Versand
Versand von Deutschland nach USA

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Formal Methods: Foundations and Applications: 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 35, 2025, Proceedings (Lecture Notes in Computer Science, 16363)

ter Beek, Maurice H. (Editor)/ Teixeira, Leopoldo (Editor)

Verlag: Springer, 2025

ISBN 10: 3032120853 ISBN 13: 9783032120854

Neu Paperback

Anbieter: Revaluation Books, Exeter, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Paperback. Zustand: Brand New. 261 pages. 6.14x0.55x9.21 inches. In Stock. Bestandsnummer des Verk�ufers x-3032120853

Verk�ufer kontaktieren

Neu kaufen

EUR 94,46

EUR 11,98 Versand
Versand von Vereinigtes K�nigreich nach USA

Anzahl: 2 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings

Maurice H. Ter Beek

Verlag: Springer, 2025

ISBN 10: 3032120853 ISBN 13: 9783032120854

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 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3 5, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Process Algebras and Time; Formal Verification; Testing; Availability and Contracts; Formal Methods and AI; and Teaching and Foundations. Bestandsnummer des Verk�ufers 9783032120854

Verk�ufer kontaktieren

Neu kaufen

EUR 75,75

EUR 35,00 Versand
Versand von Deutschland nach USA

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Formal Methods: Foundations and Applications (Paperback)

Leopoldo Teixeira

Verlag: Springer Nature Switzerland AG, Cham, 2025

ISBN 10: 3032120853 ISBN 13: 9783032120854

Neu Paperback

Print-on-Demand

Anbieter: CitiRetail, Stevenage, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Paperback. Zustand: new. Paperback. This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 35, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Process Algebras and Time; Formal Verification; Testing; Availability and Contracts; Formal Methods and AI; and Teaching and Foundations. This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 35, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 submissions. Formal Methods and AI; This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Bestandsnummer des Verk�ufers 9783032120854

Verk�ufer kontaktieren

Neu kaufen

EUR 75,28

EUR 44,34 Versand
Versand von Vereinigtes K�nigreich nach USA

Anzahl: 1 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Formal Methods: Foundations and Applications

Maurice H. Ter Beek

Verlag: Springer, Springer Nov 2025, 2025

ISBN 10: 3032120853 ISBN 13: 9783032120854

Neu Taschenbuch

Print-on-Demand

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 35, 2025.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 264 pp. Englisch. Bestandsnummer des Verk�ufers 9783032120854

Verk�ufer kontaktieren