roever w p (26 Ergebnisse)

Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, Feb. 9 (weekend SALE item)* 442 pp., paperback, ex library, else text clean & binding tight. - 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.

paperback. Zustand: Acceptable. Zustand des Schutzumschlags: No Dust Jacket. Ex-library book. Scuffed softcover with significantly creased spine and creased and worn leading corners. Minor shelf wear to the cover edges. Some minor scratches and superficial marks on covers. Traces of library sticker on foot of spine and covers. Page block is grubby with library stamps. Library plate on inside front cover. Library stamps on title, catalogue and some text pages (with no obstruction of text). Upper edge of title page is torn off. Upper leading corners of early pages are lightly creased. Binding is sound, and text remains clear throughout. T. Ex-Library.

Paperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 489; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Traces of sticker residue across spine head; faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.

Paperback. Zustand: Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 430; Ex-Library. Fractional bump to front spine side. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Minute traces of sticker residue to spine face. Faintly bumped spine head and leading corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.

Notas y Comunicaciones del Instituto Geológico y Minero de Espana 63: 223-232, 1 fig 8vo, offprint.

1994. 16 x 24 cm. VIII, 692 S. VIII, 692 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. (Lecture Notes in Computer Science). Sprache: Englisch.

Zustand: Sehr gut. Auflage: 1993. 676 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,6 x 16,0 x 3,8 cm, Taschenbuch.

IX/112 S./pp., Originalbroschur (publisher's paper covers), Bibliotheksexemplar von guter Erhaltung / fine exlibrary, keine Unterstreichungen oder Anmerkungen/no underlinings or remarks, (Mathematical Centre Tracts 70), Sprache: englisch.

REX Workshop Beekbergen, The Netherlands, June 1992. Proceedings. Berlin, Springer 1993. VIII, 659 S., OKart. Sehr gutes Exemplar.

Zustand: New. pp. 713.

Zustand: New. pp. viii + 442 Illus.

Broschiert. Zustand: Gut. 808 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 1220.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Over the last few years, object-oriented programming has been recognized as the best way currently available of structuring software systems. It emphasizes grouping together data and the operations performed on them, encapsulating the whole behind a clean interface, and organizing the resulting entities in a hierarchy based on specialization in functionality. In this way it provides excellent support for the construction of large systems. Up to now, there has been relatively little effort to develop formal theories of object-oriented programming. However, for the field to mature, a more formal understanding of the basic concepts of object-oriented programming is necessary. This volume presents the proceedings of the School/Workshop on Foundations of Object-Oriented Programming (FOOL) held in Noordwijkerhout, The Netherlands, May 28 - June 1, 1990. The workshop was an activity of the project REX (Research and Education in Concurrent Systems).

Zustand: New. pp. 723.

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 456 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Zustand: Gut. Zustand: Gut | Seiten: 736 | Sprache: Englisch | Produktart: Bücher | In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of real-time with the purpose of stepping back and viewing the results achieved as well as considering the directions of ongoing research. The volume gives a representative picture of what is going on in the field worldwide, presented by eminent, active researchers. The material in the volume was prepared by the authors after the workshop took place and reflects the results of the workshop discussions.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 736 | Sprache: Englisch | Produktart: Bücher | In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of real-time with the purpose of stepping back and viewing the results achieved as well as considering the directions of ongoing research. The volume gives a representative picture of what is going on in the field worldwide, presented by eminent, active researchers. The material in the volume was prepared by the authors after the workshop took place and reflects the results of the workshop discussions.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Researchers working on the semantics of programminglanguages came together in The Netherlands in June 1992 fora workshop on Semantics - Foundations and Applications. Thisvolume is based on the meeting and contains materialprepared by the lecturers after the meeting took place. Thevolume includes papers on a wide range of topics in bothfoundationsand applications, including:- Comparative domain theory, category theory, informationsystems,- Concurrency: process algebras, asynchronous communication,action semantics, trace nets, process refinement, concurrentconstraint programming,- Predicate transformers, refinement,weakest preconditions,- Comparative semantics of programming concepts, fullabstraction,- Reasoning about programs: total correctness, epistemiclogic,- Logic programming,- Functional programming: sequentiality, integration withconcurrency, applied structured operational semantics.The workshop was an activity of the project REX (ResearchandEducation in Concurrent Systems) sponsored by theNetherlands NFI (NationaleFaciliteit Informatica)Programme.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In the past decade, the formal theory of specification,verfication and development of real-time programs has grownfrom work of a few specialized groups to a real 'bandwagon'.Many eminent research groups have shifted their interests inthis direction. Consequently, research in real-time is nowentering established research areas in formal methods, suchas process algebra, temporal logic, and model checking.This volume contains the proceedings of a workshop dedicatedto the theory of real-time with the purpose of stepping backand viewing the results achieved as well as considering thedirections of ongoing research. The volume gives arepresentative picture of what is going on in the fieldworldwide, presented by eminent, active researchers. Thematerial in the volume was prepared by the authors after theworkshop took place and reflects the results of the workshopdiscussions.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The REX School/Symposium 'A Decade of Concurrency - Reflections and Perspectives' was the final event of a ten-year period of cooperation between three Dutch research groups working on the foundations of concurrency. Ever since its inception in 1983, the goal of the project has been to contribute to the cross-fertilization between formal methods from the fields of syntax, semantics, and proof theory, aimed at an improved understanding of the nature of parallel computing. The material presented in this volume was prepared by the lecturers (and their coauthors) after the meeting took place. In total, the volume constitutes a thorough state-of-the-art report of the research activities in concurrency.

Taschenbuch. Zustand: Gut. 713 Seiten Sofort verfügbar Versand spätestens am nächsten Arbeitstag Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sprache: Englisch Gewicht in Gramm: 550.

figs, 2 pls, 4to, wrps 0.0.

Softcover. Sprache: Deutsch Gewicht in Gramm: 550.

Softcover. AA - 4133 Sprache: Deutsch Gewicht in Gramm: 550.

Zustand: New.