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

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

Brossura

ISBN 10: 3031224752 ISBN 13: 9783031224751

Casa editrice: Springer, 2022

Vedi tutte le copie di questa edizione con ISBN

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore: Springer
Data di pubblicazione: 2022
Lingua: Inglese
ISBN 10: 3031224752
ISBN 13: 9783031224751
Rilegatura: Copertina flessibile
Numero edizione: 1
Numero di pagine: 164
Redattore: Lima Lucas, Moln�r Vince
Contatto del produttore: non disponibile
Persona responsabile: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Compra nuovo

Visualizza questo articolo

EUR 52,01

Convertire valuta

EUR 7,56 per la spedizione in U.S.A.

Destinazione, tempi e costi

Aggiungi al carrello

Risultati della ricerca per Formal Methods: Foundations and Applications: 25th...

Foto dell'editore

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

Editore: Springer, 2022

ISBN 10: 3031224752 ISBN 13: 9783031224751

Nuovo Brossura

Da: Best Price, Torrance, CA, U.S.A.

Valutazione del venditore 5 su 5 stelle

Condizione: New. SUPER FAST SHIPPING. Codice articolo 9783031224751

Contatta il venditore

Compra nuovo

EUR 52,01

Convertire valuta

Spese di spedizione: EUR 7,56

In U.S.A.

Destinazione, tempi e costi

Quantit�: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Formal Methods: Foundations and Applications (Paperback)

Lucas Lima

Editore: Springer International Publishing AG, Cham, 2022

ISBN 10: 3031224752 ISBN 13: 9783031224751

Nuovo Paperback Prima edizione

Da: Grand Eagle Retail, Mason, OH, U.S.A.

Valutazione del venditore 5 su 5 stelle

Paperback. Condizione: 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. Codice articolo 9783031224751

Contatta il venditore

Compra nuovo

EUR 59,79

Convertire valuta

Spese di spedizione: GRATIS

In U.S.A.

Destinazione, tempi e costi

Quantit�: 1 disponibili

Aggiungi al carrello

Foto dell'editore

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

Editore: Springer, 2022

ISBN 10: 3031224752 ISBN 13: 9783031224751

Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle

Condizione: New. In. Codice articolo ria9783031224751_new

Contatta il venditore

Compra nuovo

EUR 58,19

Convertire valuta

Spese di spedizione: EUR 13,78

Da: Regno Unito a: U.S.A.

Destinazione, tempi e costi

Quantit�: Pi� di 20 disponibili

Aggiungi al carrello

Foto dell'editore

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

Lima, Lucas

Editore: Springer 2022-12, 2022

ISBN 10: 3031224752 ISBN 13: 9783031224751

Nuovo PF

Da: Chiron Media, Wallingford, Regno Unito

Valutazione del venditore 4 su 5 stelle

PF. Condizione: New. Codice articolo 6666-IUK-9783031224751

Contatta il venditore

Compra nuovo

EUR 56,23

Convertire valuta

Spese di spedizione: EUR 17,81

Da: Regno Unito a: U.S.A.

Destinazione, tempi e costi

Quantit�: 10 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Formal Methods: Foundations and Applications

Vince Moln�r

Editore: Springer International Publishing Dez 2022, 2022

ISBN 10: 3031224752 ISBN 13: 9783031224751

Nuovo Taschenbuch

Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle

Taschenbuch. Condizione: 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. Codice articolo 9783031224751

Contatta il venditore