Get Free Shipping on orders over $49
Lecture Notes in Computer Science : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings - Haniel Barbosa
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Lecture Notes in Computer Science

26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

By: Haniel Barbosa (Editor), Yoni Zohar (Editor)

Paperback | 2 December 2023

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.
The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.

The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.

More in Network Hardware

Applied Embedded Electronics : Design Essentials for Robust Systems - Jerry Twomey