Search alternatives:
computer worlds » computer world, computer works, computer worms
computer terms » computer worms, computer tools, computer time
computers work » computers web, computer network
computer wird » computer word, computer wie, computer work
computer worlds » computer world, computer works, computer worms
computer terms » computer worms, computer tools, computer time
computers work » computers web, computer network
computer wird » computer word, computer wie, computer work
|
by Homer, Steven, Nerode, Anil, Platek, Richard A., Sacks, Gerald E.
Published 1990
Table of Contents:
“... -- Making computers safe for the world: An introduction to proofs of programs part I -- Prolog Programming...”Published 1990
Springer Berlin Heidelberg