Formal Models and Semantics

Bozzano G Luisa

Jun. 2014 · Handbook of Theoretical Computer Science Boek 2 · Elsevier

E-boek

1280

Bladsye

Geskik

Graderings en resensies word nie geverifieer nie. Kom meer te wete

Meer oor hierdie e-boek

The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.

Gradeer hierdie e-boek

Sê vir ons wat jy dink.

Lees inligting

Slimfone en tablette

Installeer die Google Play Boeke-app vir Android en iPad/iPhone. Dit sinkroniseer outomaties met jou rekening en maak dit vir jou moontlik om aanlyn of vanlyn te lees waar jy ook al is.

Skootrekenaars en rekenaars

Jy kan jou rekenaar se webblaaier gebruik om na oudioboeke wat jy op Google Play gekoop het, te luister.

E-lesers en ander toestelle

Om op e-inktoestelle soos Kobo-e-lesers te lees, moet jy ’n lêer aflaai en dit na jou toestel toe oordra. Volg die gedetailleerde hulpsentrumaanwysings om die lêers na ondersteunde e-lesers toe oor te dra.

Gee onwettige inhoud aan