Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency
W. P. De Roever
Venduto da Books Puddle, New York, NY, U.S.A.
Venditore AbeBooks dal 22 novembre 2018
Nuovi - Brossura
Condizione: Nuovo
Quantità: 1 disponibili
Aggiungere al carrello