takasu (16 Ergebnisse)

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: New. pp. 264.

Zustand: New. 1967. paperback. . . . . . Books ship from the US and Ireland.

Zustand: New. In.

JP Oversized. Zustand: Brand New. Japanese language. 9.76x9.37x0.67 inches. In Stock.

Zustand: Buone. inglese Condizioni dell'esterno: manca sovracopertina - costa logorata Condizioni dell'interno: ingiallite da fattore tempo.

Zustand: New. &Uumlber den AutorEdited by John F. Hart and Satoru TakasuKlappentextThis book presents the papers delivered at the Conference on Systems and Computer Science held at the University of Western Ontario in Sept.

Taschenbuch. Zustand: Neu. Neuware - This book presents the papers delivered at the Conference on Systems and Computer Science held at the University of Western Ontario in September 1965. The primary purposes of the Conference were the promotion of research and the development of the teaching of computer science in Canadian universities. The papers focus attention on some of the concepts of Computer Science as a new field of study and at the same time provide a background for scientists looking at the subject for the first time. The chief developments in computer science have been concerned with the 'applied' rather than the 'pure' areas of the field: numerical analysis, applied statistics and operations research, and data processing. But there is something more to computers than the physical components and this book represents an attempt to correct the imbalance between 'applied' and 'pure' by drawing attention to certain theoretical aspects of computer and information science. Among the topics discussed are the theory of finite and infinite automata, aspects of formal language theory, heuristic and non-heuristic approaches to theorem proving and the mathematical formulation of the theory of general systems. There are also references to the problems of machine design, to software systems including higher-level languages, to multiple control computer models and to applied systems. This collection of papers will appeal first to graduate students and professors in Computer Science. It will also be of interest to computer scientists in industry and in government and university research groups and to the scientific public interested in discovering some of the principal ingredients and directions of the computer and information sciences.

Zustand: New. In.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - On the abstract specification and formal analysis of synchronization properties of concurrent systems.- On the formal specification and analysis of loosely connected processes.- Synchronized parallel computation and slowdown of translators.- Nondeterminism, parallelism and intermittent assertions.- A formal specification technique for abstract data types with parallelism.- Verifying parallel programs with resource allocation.- Equivalent key problem of the relational database model.- A file organization suitable for relational database operations.- Specified programming.- A calculus for proving properties of while-programs.- 'E-correctness' of a set of 'computation processes'.- Program synthesis through Gödel's interpretation.- The vienna development method (VDM).- On a uniform formal description of data structures.- Extending an implementation language to a specification language.- Some design principles and theory for OBJ-0, a language to express and execute algebraic specifications of programs.- The specification and proof of correctness of interactive programs.- On a theory of decision problems in programming languages.- A representative strong equivalence class for accessible flowchart schemes.- Recursive programs as functions in a first order theory.

14 S. OBr. (PAW. Abh. d. math.-nat. Kl. 1939/23). Sprache: Deutsch 0 gr.

Hardcover. Zustand: Very Good-. Zustand des Schutzumschlags: Good. 1st Edition (Unstated). 249 pages; wear to DJ edges, minor tears. Rubbing to DJ. Light fading to pages and to DJ. Very Good condition otherwise. No other noteworthy defects. No markings. ; - Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries. Your item will be carefully cushioned in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence.

JP Oversized. Zustand: Brand New. Japanese language. 11.65x8.27x0.55 inches. In Stock.

Originalbroschur. 4°. 45-49 SS. angerändert. berieben. etwas gebräunt. sehr guter Zustand. Reprinted from Japanese Journal of Mathematics", Vol. I. in englischer Sprache (in english).

Originalbroschur. 4°. 279-294 SS. mit Lager- und Gebrauchsspuren. gebräunt. sehr guter Zustand. Reprinted from the Science Reports of the Tôhoku Imperial University", Series I, Vol. XIV, NO. 3. in englischer Sprache (in english).