Takasu (17 Ergebnisse)

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

Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

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 English.

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. Systems and Computer Science | Proceedings of a Conference Held at the University of Western Ontario September 10-11, 1965 | John F Hart (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | University of Toronto Press | EAN 9781487591458 | Verantwortliche Person für die EU: Mare Nostrum Group B.V., Doelen 72, 4831 GR BREDA, NIEDERLANDE, gpsr[at]mare-nostrum[dot]co[dot]uk | Anbieter: preigu.…

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).

Zustand: New. In English.

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.