Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987 Proceedings (Lecture Notes in Computer Science 398)
Barringer, H.; Banieqbal, H. & Pnueli, A. (eds.)
Venduto da PsychoBabel & Skoob Books, Didcot, Regno Unito
Venditore AbeBooks dal 6 ottobre 2003
Usato - Brossura
Condizione: Usato - Molto buono
Quantità: 1 disponibili
Aggiungere al carrello