Erweiterte Suche
Preis einschränken:

37,44 EUR*
Details International-Symposium-on-Theoretical-Programming-Lecture-Notes-in-Computer-Science-5-Band-5

An axiomatic definition of the programming language PASCAL.- The logic of "can do".- Copying in commutation Operator schemata.- On synthesizing programs given by examples.- Central technical issues in programming language design.- Sur quelques syst s ...