Get Free Shipping on orders over $79
Formal Methods: Foundations and Applications : 27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4-6, 2024, Proceedings - Ciprian Teodorov
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Go digital and save!

Formal Methods: Foundations and Applications

27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4-6, 2024, Proceedings

By: Ciprian Teodorov (Editor), Sidney C. Nogueira (Editor)

Paperback | 30 December 2024

At a Glance

Paperback


$99.00

or 4 interest-free payments of $24.75 with

 or 

Ships in 5 to 7 business days

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.

More in Network Hardware

Bluetooth LE Audio : Fundamental to Recent Advances - Himanshu Bhalla

RRP $183.00

$162.75

11%
OFF
Practical Monitoring : Effective Strategies for the Real World - Mike Julian
Designing Embedded Hardware 2e : O'Reilly Ser. - John Catsoulis

RRP $95.00

$43.75

54%
OFF
Cisco IOS in a Nutshell : In a Nutshell - James Boney

RRP $75.99

$30.00

61%
OFF
UNIX in a Nutshell : In a Nutshell - Arnold Robbins

RRP $85.75

$43.75

49%
OFF
Computer Viruses and Malware : Advances In Information Security - John Aycock
JUNOS Cookbook : Cookbooks (O'Reilly) - Aviva Garrett

RRP $104.75

$41.00

61%
OFF
Getting Started with Bluetooth Low Energy - Carles Cufi Akiba

RRP $85.75

$34.00

60%
OFF
Juniper QFX5100 Series - Douglas Richard, Jr. Hanks

RRP $114.00

$45.00

61%
OFF
JUNOS Enterprise Switching : OREILLY - Harry Reynolds

RRP $133.00

$53.00

60%
OFF
Getting Started with Netduino : OREILLY - Chris Walker

RRP $38.00

$15.00

61%
OFF
Applied Embedded Electronics : Design Essentials for Robust Systems - Jerry Twomey
Cryptocurrency Mining For Dummies : 2nd Edition - Peter Kent

RRP $49.95

$42.75

14%
OFF
Android Smartphones For Dummies : For Dummies - Jerome DiMarzio

RRP $49.95

$42.75

14%
OFF