Peter Markstein (45 results)

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

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

Hardcover. Condition: Fine. 1st Edition. Large hardcover in excellent, unmarked, near-pristine condition (slightest handling). 400 pages. [2.8 lbs]. Book.

HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.

HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.

Vintage full-color still photograph from the 1967 UK film. Based on the "Great Train Robbery" that took place in Buckinghamshire in 1963. 8 x 10 inches. Very Good plus, with a few tiny tears and light creases.

Condition: New.

Paperback or Softback. Condition: New. Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers. Book.

Condition: As New. Unread book in perfect condition.

Condition: New.

Paperback. Condition: New. Print on Demand. This book is an experiment in extending a theoretical programming language, SETL, for operating system description. The author suggests an extension to this language to allow the description of algorithms involving interrupts, parallelism, and machine-dependent features. Using this extension, several complete operating systems are presented in detail. The first is a simple uniprogrammed batch system illustrating basic control mechanisms and scheduling. The second is a multiprogrammed batch system showing additional complications due to conflicts for resources and conflicting objectives. The third is an interactive system that includes data sharing capabilities. The principal question the author is trying to address is: can SETL be used for the specification of operating systems as effectively as it can be used for other classes of problems? The reader, after studying the examples of Chapters III, IV, and V, will have formed his answer to this question. This book is an experiment of this kind and cannot confine itself to the discussion of small examples. An experiment of this kind cannot confine itself to the discussion of small examples. Operating systems are inherently larger and more complex than, say, sorting algorithms. To give a fair demonstration of the extended SETL the author felt it necessary to describe an entire operating system; even a simple example of this kind is relatively large, and requires at least a dozen pages of code. If this experiment is successful, then detailed specifications of several operating systems, in comprehensible form, appear in this work. In order to motivate the examples which are presented, and make them as clear as possible, this book has been cast in the form of an introductory text on operating systems which contains three completely coded examples. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.…

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: New. pp. 276.

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.

Condition: New. pp. xvi + 454.

Condition: New. pp. xvi + 454 Illus.

Condition: Sehr gut. Zustand: Sehr gut | Seiten: 276 | Sprache: Englisch | Produktart: Bücher | This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification. …

Condition: New. pp. xvi + 454.

Condition: Used. pp. xiii + 340 1st Edition.

Condition: Used. pp. xvi + 400.

Condition: Used. pp. xiii + 340 Illus.