Formal Methods: Foundations and Applications : 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings (Lecture Notes in Computer Science 15403) (2025. xvi, 200 S. XVI, 200 p. 65 illus. 235 mm)

Name: Formal Methods: Foundations and Applications : 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings (Lecture Notes in Computer Science 15403) (2025. xvi, 200 S. XVI, 200 p. 65 illus. 235 mm)
Brand: SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING
SKU: 00000_00000_00000_00000
Price: 128.16 SGD
Availability: InStock

Herausgegeben:C. Nogueira, Sidney/ Teodorov, Ciprian

128.16 SGD

Member Price

115.35

English

Quantity:

Product Description

XVIII, 205 p. 76 illus., 35 illus. in color.

... Read Full Text

Publisher

SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING

Publication Date

ISBN

9783031781155

Pages

210

Item Type

Book

Format

Paperback

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

Free domestic shipping on orders over 50.00SGD

Your Cart

Formal Methods: Foundations and Applications : 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings (Lecture Notes in Computer Science 15403) (2025. xvi, 200 S. XVI, 200 p. 65 illus. 235 mm)

Product Description

Available to Order

Formal Methods: Foundations and Applications : 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings (Lecture Notes in Computer Science 15403) (2025. xvi, 200 S. XVI, 200 p. 65 illus. 235 mm)

Recently Viewed Items

Related Products