Siirry suoraan sisältöön
Concise Introduction to Alternating-Time Temporal Logics
Tallenna

Concise Introduction to Alternating-Time Temporal Logics

Alaotsikko
A Guide for Understanding the Model-Checking Problem
Kirjailija
Stéphane Demri
ISBN
9783032118844
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
28.4.2026
Sivumäärä
202