Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings (Lecture Notes in Computer Science 14996) (2024. 2024. x

Name: Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings (Lecture Notes in Computer Science 14996) (2024. 2024. x
Brand: SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING
SKU: 00000_00000_00000_00000
Price: 106.74 SGD
Availability: OutOfStock

Herausgegeben:Hillston, Jane/ Soudjani, Sadegh/ Waga, Masaki

106.74 SGD

Member Price

96.07

English

Quantity:

Product Description

XIV, 338 p. 90 illus., 54 illus. in color.

... Read Full Text

Publisher

SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING

Publication Date

ISBN

9783031684159

Pages

350

Item Type

Book

Format

Paperback

Unavailable

This product is currently out of stock. Please check back later.

您的购物车

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings (Lecture Notes in Computer Science 14996) (2024. 2024. x

Product Description

Unavailable

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings (Lecture Notes in Computer Science 14996) (2024. 2024. x

Recently Viewed Items

Related Products