Concise Introduction to Alternating Time Temporal Logics: A Guide for Understanding the Model Checking Problem

Prices from
52.14

Featured

COMPARE ALL WEBSHOPS (2)

Description

Concise Introduction to Alternating Time Temporal Logics: A Guide for Understanding the Model Checking Problem

Compare webshops (2)

Shop
Price
 52.14
 52.14
Description (0)

Concise Introduction to Alternating Time Temporal Logics: A Guide for Understanding the Model Checking Problem


Product specifications

Brand Birkhauser
EAN
  • 9783032118844

Featured Choice
 52.14
To Shop