AKTUELLE PARTNERANGEBOTE

Concise Introduction to Alternating-Time Temporal Logics

Brand : Birkhauser, Binding : hardcover, Label : Concise Introduction to Alternating-Time Temporal Logics : A Guide for Understanding the Model-Checking Problem (Computer Science Foundations and Applied Logic), medium : hardcover, numberOfPages : 211, publicationDate : 2026-04-28, releaseDate : 2026-04-28, authors : Stéphane Demri, languages : english, ISBN : 3032118840

1 Angebote · ab 52,97 € gemeldete Gesamtkosten