Sprache: Englisch
Verlag: University of Toronto Press, 1967
ISBN 10: 1487591454 ISBN 13: 9781487591458
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 24,93
Anzahl: 15 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: Better World Books, Mishawaka, IN, USA
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.
Sprache: Englisch
Verlag: University of Toronto Press, 1967
ISBN 10: 1487591454 ISBN 13: 9781487591458
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 32,51
Anzahl: 3 verfügbar
In den WarenkorbZustand: New. pp. 264.
Sprache: Englisch
Verlag: University of Toronto Press, 1967
ISBN 10: 1487591454 ISBN 13: 9781487591458
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. 1967. paperback. . . . . . Books ship from the US and Ireland.
Sprache: Englisch
Verlag: University of Toronto Press, 1967
ISBN 10: 1487591454 ISBN 13: 9781487591458
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 35,74
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Japanisch
Verlag: ToÌkyoÌ : Kinnohoshisha, 2011., 2011
ISBN 10: 4323024436 ISBN 13: 9784323024431
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 21,67
Anzahl: 1 verfügbar
In den WarenkorbJP Oversized. Zustand: Brand New. Japanese language. 9.76x9.37x0.67 inches. In Stock.
Anbieter: moluna, Greven, Deutschland
EUR 41,56
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Über 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.
Verlag: University Of Toronto Press, 1967
Anbieter: Librodifaccia, Alessandria, AL, Italien
Zustand: Buone. inglese Condizioni dell'esterno: manca sovracopertina - costa logorata Condizioni dell'interno: ingiallite da fattore tempo.
Sprache: Englisch
Verlag: University Of Toronto Press Dez 1967, 1967
ISBN 10: 1487591454 ISBN 13: 9781487591458
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
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, focused 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.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 114,13
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Mathematical Studies of Information Processing | Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978 | E. K. Blum (u. a.) | Taschenbuch | x | Englisch | 1979 | Springer | EAN 9783540095415 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
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.
Verlag: Berlin, 1940
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, Deutschland
14 S. OBr. (PAW. Abh. d. math.-nat. Kl. 1939/23). Sprache: Deutsch 0 gr.
Verlag: University of Toronto Press, Toronto, 1967
Erstausgabe
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.
Verlag: Japan. 1924., 1924
Anbieter: Antiquariat am Flughafen, Berlin, Deutschland
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).
Verlag: Sendai, Japan. 1925., 1925
Anbieter: Antiquariat am Flughafen, Berlin, Deutschland
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).