Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands May 30-June 3, (Lecture Notes in Computer Science)
De Roever, W. P.; De Bakker, J. W.; School/Workshop On Linear Time, Branching Time, And Partial Order In Logics And Models For Concurrency (1988 : Noordwijkerhout, Netherlands)
Vendido por NEPO UG, Rüsselsheim am Main, Alemania
Vendedor de AbeBooks desde 15 de noviembre de 2018
Usado - Encuadernación de tapa blanda
Condición: Usado - Bueno
Cantidad disponible: 1 disponibles
Añadir al carrito