Scedrov andre (24 Ergebnisse)

Soft cover. Zustand: Very Good. 162 pages, a very good plus paperback, ex-university library [3540527346].

8vo. Original printed card covers (softback) (VG). Pp. 162 (pages tanned; previous owner's neat inscription on front endpaper).

Zustand: Very Good. 488 pp., Paperback, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

Zustand: New. In.

Softcover. Zustand: Gut. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. C-01582 3540527346 Sprache: Englisch Gewicht in Gramm: 550.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types. …

Paperback. Zustand: Very Good. Providence, Rhode Island: American Mathematical Society, 1989. x, 134 pp. 25.5 x 18 cm. Glossy stiff paper wrappers printed with dark blue, with white and dark blue lettering to covers and spine. Memoirs of the Mathematical Society, Volume 79, Number 404, May 1989. Light sunning to spine, with some rubbing to spine ends. Some light soil and slight age toning to covers, with light curling to corners. Some light creases to upper corner of text block. Interior is clean and unmarked. Binding sound with no creases or cracks. . Soft Cover. Very Good. …

paperback. Zustand: Good. minor wear and creasing cover warped.

Zustand: New. In.

Zustand: New. In.

Paperback. Zustand: Brand New. revised edition. 228 pages. 9.25x6.10x0.55 inches. In Stock.

Zustand: New. In.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - For more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent general recognition that technologies for software security are highly needed.This book assesses the state of the art in software and systems security by presenting a carefully arranged selection of revised invited and reviewed papers. It covers basic aspects and recently developed topics such as security of pervasive computing, peer-to-peer systems and autonomous distributed agents, secure software circulation, compilers for fail-safe C language, construction of secure mail systems, type systems and multiset rewriting systems for security protocols, and privacy issues as well.…

Kartoniert / Broschiert. Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.…

Kartoniert / Broschiert. Zustand: New.

Taschenbuch. Zustand: Neu. Tools and Methods of Program Analysis | 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers | Vladimir Itsykson (u. a.) | Taschenbuch | Communications in Computer and Information Science | xviii | Englisch | 2017 | Springer | EAN 9783319717333 | 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.

Softcover. Zustand: Gut. Gebraucht - Gut Zustand: Gut, XI, 471 p. Also available online. About this book: For more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent general recognition that technologies for software security are highly needed. This book assesses the state of the art in software and systems security by presenting a carefully arranged selection of revised invited and reviewed papers. It covers basic aspects and recently developed topics such as security of pervasive computing, peer-to-peer systems and autonomous distributed agents, secure software circulation, compilers for fail-safe C language, construction of secure mail systems, type systems and multiset rewriting systems for security protocols, and privacy issues as well. Written for Researchers and professionals.…

Paperback. Zustand: Brand New. 433 pages. 9.25x6.10x0.89 inches. In Stock.

Taschenbuch. Zustand: Neu. Logic, Language, Information, and Computation | 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings | Helle Hvid Hansen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxxviii | Englisch | 2023 | Springer | EAN 9783031397837 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 436 | Sprache: Englisch | Produktart: Bücher | Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2023, held in Halifax, NS, Canada, during July 11¿14, 2023. The 24 full papers (21 contributed, 3 invited) included in this book were carefully reviewed and selected from 46 submissions. The book also contains the abstracts for the 7 invited talks and 4 tutorials presented at WoLLIC 2023. The WoLLIC conference series aims at fostering interdisciplinary research in pure and applied logic. …

Softcover. Zustand: gut. 2023. Logic, Language, Information, and Computation In deutscher Sprache. pages.