"Published in cooperation with NATO Scientific Affairs Division.".
Topics
Electronic data processing :: Distributed processing :: Congresses
System design :: Congresses
Logic, Symbolic and mathematical :: Congresses
Catalogue Data
OBNB ID GB9656201
ISBN 10 3540609474
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.11
ISBD
P1053 viii,467p.
P1042 Includes bibliographies.
Buy a copy
OBNB doesn't sell books, but you may be able to find a copy at one of these websites:
Deductive program design. ISBN 3540609474. Published by Springer in 1996. Publication and catalogue information, links to buy online and reader comments.