Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems

Buy Now

Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings (Paperback, 1st ed. 2021) Loot Price: R1,485

Discovery Miles 14 850

Repayment Terms: R139 pm x 12*

Add to cart

Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021,...

Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings (Paperback, 1st ed. 2021)

Catalin Dima, Mahsa Shirmohammadi

Series: Lecture Notes in Computer Science, 12860

(sign in to rate)

Loot Price R1,485 Discovery Miles 14 850 | Repayment Terms: R139 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021. The 8 full papers that were carefully reviewed and selected from 19 submissions are presented in this volume with 2 invited talks. The papers focus on topics such as probabilistic computation, logic and verification, robotic planning, complexity of timed pattern matching, safety violations in real-time systems, modal and temporal logics, and others.

General

Imprint:	Springer Nature Switzerland AG
Country of origin:	Switzerland
Series:	Lecture Notes in Computer Science, 12860
Release date:	August 2021
First published:	2021
Editors:	Catalin Dima • Mahsa Shirmohammadi
Dimensions:	235 x 155mm (L x W)
Format:	Paperback
Pages:	155
Edition:	1st ed. 2021
ISBN-13:	978-3-03-085036-4
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > General theory of computing > Data structures Books > Computing & IT > Computer programming > Algorithms & procedures Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Applications of computing > Computer modelling & simulation Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems Promotions
LSN:	3-03-085036-6
Barcode:	9783030850364