Lanean...

Logics of programs

Xehetasun bibliografikoak
Egile nagusia: rohit Parikh
Formatua: Printed Book
Hizkuntza:English
Argitaratua: Springer-Verlag 1985

DCS

Aleari buruzko argibideak DCS
Sailkapena: 004.43
Alea Egoera zuzenean ez dago erabilgarri