Gå direkt till innehållet
Concise Introduction to Alternating-Time Temporal Logics
Spara

Concise Introduction to Alternating-Time Temporal Logics

Lägsta pris på PriceRunner
Undertitel
A Guide for Understanding the Model-Checking Problem
Författare
Stéphane Demri
ISBN
9783032118844
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
2026-04-19
Sidor
202