Articoli correlati a Formal Methods: Foundations and Applications: 27th...
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings: 15403 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2024
- ISBN 10 3031781155
- ISBN 13 9783031781155
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine224
- RedattoreC. Nogueira Sidney, Teodorov Ciprian
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 55,40
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati della ricerca per Formal Methods: Foundations and Applications: 27th...
Immagini fornite dal venditore
Formal Methods: Foundations and Applications
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Codice articolo 1929862659
Quantitą: Pił di 20 disponibili
Immagini fornite dal venditore
Formal Methods: Foundations and Applications
Editore:
Springer, Berlin, Springer Nature Switzerland, Springer, 2024
ISBN 10: 3031781155
ISBN 13: 9783031781155
Nuovo
Taschenbuch
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 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. Codice articolo 9783031781155
Quantitą: 2 disponibili
Immagini fornite dal venditore
Formal Methods: Foundations and Applications : 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4æ6, 2024, Proceedings
Editore:
Springer Nature Switzerland, Springer Nature Switzerland, 2024
ISBN 10: 3031781155
ISBN 13: 9783031781155
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783031781155
Quantitą: 1 disponibili
Immagini fornite dal venditore
Formal Methods: Foundations and Applications
Editore:
Springer Nature Switzerland Nov 2024, 2024
ISBN 10: 3031781155
ISBN 13: 9783031781155
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783031781155
Quantitą: 2 disponibili
Foto dell'editore
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings (Lecture Notes in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783031781155_new
Quantitą: Pił di 20 disponibili
Foto dell'editore
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings (Lecture Notes in Computer Science)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783031781155
Quantitą: Pił di 20 disponibili
Foto dell'editore
Formal Methods: Foundations and Applications (Paperback)
Editore:
Springer International Publishing AG, Cham, 2024
ISBN 10: 3031781155
ISBN 13: 9783031781155
Nuovo
Paperback
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitoria, Brazil, during December 46, 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. This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitoria, Brazil, during December 46, 2024.The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Codice articolo 9783031781155
Quantitą: 1 disponibili
Foto dell'editore
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4-6, 2024, Proceedings
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo 26403511711
Quantitą: 4 disponibili
Foto dell'editore
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 46, 2024, Proceedings: 15403 (Lecture Notes in Computer Science, 15403)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 223 pages. 9.25x6.10x9.25 inches. In Stock. Codice articolo x-3031781155
Quantitą: 2 disponibili
Foto dell'editore
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4-6, 2024, Proceedings
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Print on Demand. Codice articolo 410691136
Quantitą: 4 disponibili