Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December...

— —

Sidney C. Nogueira Ciprian Teodorov

Formal Methods

Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December...

Sidney C. Nogueira, Ciprian Teodorov

$147.95 $118.08

Paperback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Springer International Publishing AG
29 November 2024

Software Engineering; Mathematical theory of computation; Artificial intelligence; Expert & knowledge-based systems; Natural language & machine translation

Series: Lecture Notes in Computer Science

Summary
Details

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.

Edited by: Sidney C. Nogueira, Ciprian Teodorov
Imprint: Springer International Publishing AG
Country of Publication: Switzerland
Volume: 15403
Dimensions: Height: 235mm, Width: 155mm,
ISBN: 9783031781155
ISBN 10: 3031781155
Series: Lecture Notes in Computer Science
Pages: 205
Publication Date: 29 November 2024
Audience: Professional and scholarly , Undergraduate
Format: Paperback
Publisher's Status: Active