Stéphane Demri – författare

Visar alla böcker från författaren Stéphane Demri. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Temporal Logics in Computer Science

   Finite-State Systems

   Av Stéphane Demri, Valentin Goranko m. fl.

   Inbunden, 2016

   1676 kr

   Tillfälligt slut

   This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most …