Advances in Temporal Logic: 16
Springer (9780792361497) | Temporal Logic, Applied Logic Series, Advances in Temporal, Verification of computer, Disciplines of computer, Temporal systems, User interaction, Tools for verification & Interaction of Temporal reasoning
Stores where to buy this product
Sponsored This site contains affiliate links for which we may receive compensation. More information
This product has not been found in any sponsored store recently, please check similar products from our sponsors or review other stores we offer where you may find the product.
Similar products
| This product in Comparor | |
|---|---|
|
Category
This product is cataloged in our store in these categories
|
- Algorithms - Architecture & Microprocessors - Artificial Intelligence - Information Systems - Security - Introduction to Programming - Mathematical Theory - Mathematical Logic |
|
International
Find this product in one of our international stores
|
|
| Colors
Predominant colors of the product |
|
| Tags | Temporal Logic Applied Logic Series Advances in Temporal Verification of computer Disciplines of computer Temporal systems User interaction Tools for verification Interaction of Temporal reasoning |
| Identifiers | |
| Brand | ![]() Springer is a German brand that produces high-quality bicycles. The company has a rich history, dating back to 1885, and is known for its innovative designs and quality products. Springer bikes are popular among cyclists of all levels, and the brand is known for its commitment to customer satisfaction. |
| ID | 18554857 |
| Dimensions / Weight | |
| Key Features | |
Related articles
Springer (9789048153893)
Explore the mind‑bending journey of a young woman who discovers she can manipulate time. As she learns to master her gift, she must confront moral dilemmas and enemies that threaten the very fabric of reality.

