Description: Springer Formal Modeling Analysis Of Timed Systems: 20th Int Conference, Formats 2022 Warsaw, Poland. LNCS 13465 Like New, Good Condition Free Shipping This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022. The 12 full papers together with 2 short papers that were carefully reviewed and selected from 30 submissions are presented in this volume with 3 full-length papers associated with invited/anniversary talks. The papers focus on topics such as modelling, design and analysis of timed computational systems. The conference aims in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of real-timed, hybrid and probabilistic systems.
Price: 52.99 USD
Location: Memphis, Tennessee
End Time: 2024-11-05T17:22:55.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Seller
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Book Title: Formal Modeling and Analysis of Timed Systems
ISBN-13: 9783031158384
Educational Level: Adult & Further Education, High School, Vocational School
Level: Intermediate, Advanced, Business, Technical
Number of Pages: Xvii, 307 Pages
Publication Name: Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings
Language: English
Publisher: Springer International Publishing A&G
Publication Year: 2022
Subject: Information Theory, Computer Science, General, Databases / General
Item Weight: 17.6 Oz
Type: Textbook
Item Length: 9.3 in
Author: David Parker
Subject Area: Mathematics, Computers
Series: Lecture Notes in Computer Science Ser.
Item Width: 6.1 in
Format: Trade Paperback
