What people are saying - Write a review
We haven't found any reviews in the usual places.
The Evolution of Personal Computing and Communications Environments
K Blakeslee and I Sugarbroad
49 other sections not shown
Other editions - View all
13lh World Computer abstract algorithm application architecture automata automaton basic Boolean called cell communication complexity Computer Congress 94 Computer Science constraints construct datatypes defined definition denote edge efficient elements Elsevier Science B.V. equivalent evaluation evolving algebra example execution finite formal formula function functional programming given global graph IEEE IFIP implementation input integer interface Keyword Codes linear Linear Logic logic machine method mobile multisets node NP-complete object operations optimal output packet parallel computing partial evaluator Pchrson performance Petri nets polynomial prefetching probe problem Proc processors programming language Prolog proof reachability recursive regular language rights reserved rules Science B.V. North-Holland semantics semigroup sequence Simon Editors simulation solution spanning tree specification structure synchronous syntactic monoid task temporal logic Theorem theory transformation transition variables verification World Computer World Computer Congress