Denvir b (28 Ergebnisse)

Zustand: Very Good. Zustand des Schutzumschlags: 11730710. 1778236097. 5/8/2026 10:28:17 AM.

Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Clean from markings. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:0582491436.…

Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,400grams, ISBN:9780582491373. …

Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9780500202098.

Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Dust jacket in good condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,850grams, ISBN:9781855851016.…

Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:058249141X.

Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Clean from markings. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:058249141X.…

Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1500grams, ISBN:9780500282144. …

Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Clean from markings. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,350grams, ISBN:0706417879. …

Zustand: Poor. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In poor condition, suitable as a reading copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,250grams, ISBN:0423510207. …

Paperback. Zustand: Very Good. No Dust Jacket. Lecture Notes in Computer Science 207 Cambridge, September 1983 Proceedings. Light shelf wear, front covers faintly marked, slightly grubby, and bearing a library ink stamp. Traces of sticker residue across spine foot; faintly bumped spine head and rubbed corners. Spine face and foot of page block slightly grubby and marked due to age. Sound, clean book with strong binding and bright text. ADG. Ex-Library.…

Zustand: Good. Volume 2. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN. …

Zustand: Fair. Volume 2. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Clean from markings In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,300grams, ISBN.…

Paperback. Zustand: Very Good. No Dust Jacket. Lecture Notes in Computer Science 207; previous owner's initials discreetly inscribed on the title page. Faintly bumped spine head and rubbed corners. Covers are slightly marked due to age. Sound, clean book with tight binding. ADG. Used.

Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Folio Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN.

Paperback. Zustand: Good. With a slight tan and light edgewear to the boards. A fair copy. Good condition is defined as: a copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Most items will be dispatched the same or the next working day.…

First Edition: Cream bds., brown titles, 200 x 270 mm., 400 grms., 14 pp. of text + 39 full-page plates, of which 8 in colour, original pictorial dw., unclipped, chipped at edges and crns., G/VG copy.

22 S., 54 Tafeln. 8°, Orig.-Leinebd. m. ill. Orig.-Umschlag. Oberer Schnitt mit leichten Stockflecken, sonst guter Zustand. 750 gr.

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 392 pages. 9.21x6.14x0.89 inches. In Stock.

Hardcover. Zustand: Good. pp. 20 / 39 buitentekstblaadjes Jean-Baptiste-Siméon Chardin, French Art, Masters of Painting, The Vegetable Scraper, The Ray Dutch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Using algebra for concurrency: Some approaches.- Some aspects of net theory.- From state machines to temporal logic: Specification methods for protocol standards.- A practical approach to the analysis of concurrent systems.- The problem set.- Specifying problem one using the 'failure' sets model for CSP and deriving CSP processes which meet this specification.- Two-way channel with disconnect.- Workshop on analysis of concurrent systems attempt at problem 3: The firing squad.- Parallel combinator reduction machine.- Workshop on analysis of concurrent systems attempt at problem 8: Mixing synchronous and asynchronous input.- Workshop on analysis of concurrent systems attempt at problem 10: The matrix switch.- On the specification of the firing squad problem.- Towards the hierarchical, temporal logic, specification of concurrent systems.- Two way channel with disconnect.- An example of specification and verification in CESAR.- Trace theory and the specification of concurrent systems.- Syntax and informal semantics of DyNe, a parallel language.- Examples of a real-time temporal logic specification.- Problems from the workshop on the analysis of concurrent systems.- A simple railway system.- Description and analysis using CIRCAL.- Firing squad.- Specification of a simplified Network Service in Z (Problem 2).- Specification of a simplified Network Service in CSP (Problem 2).- A solution to problem 7 - parallel combinator reduction machine -.- A temporal analysis of some concurrent systems.- Solutions to problem no. 2.- A CSP solution to the 'trains' problem.- The train set problem.- Conclusions.…

Kartoniert / Broschiert. Zustand: New. Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard- and software is widely appre.

Taschenbuch. Zustand: Neu. Neuware - Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard- and software is widely appreciated by academics and workers in industry, despite the fact that certain research areas, such as the application to industrial-scale problems, are still in their infancy. This volume contains the papers presented at the 5th Refinement Workshop held in London, 8-10 January 1992. Its theme was the theory and practice of software specifications, which is the transformation of formal software specifications into more correct specifications, designs and codes. This has been an important area of research for the last 5 years and the workshop addressed specific issues and problems related to it. Among the topics discussed in this volume are: the role of refinement in software development, parallel designs and implementations, methods and tools for verification of critical properties, refinement and confidentiality, concurrent processes as objects, the compliance of Ada programs with Z specifications and a tactic driven refinement tool. This is the latest refinement workshop proceedings to be published in the Workshops in Computing series (the 3rd and 4th workshops having appeared in 1990 and 1991 respectively). It will be of interest to academic and industrial researchers, postgraduate students and research-oriented developers in the computer industry.…

Zürich, Fretz & Wasmuth Verlag, (1949), in-8, cart. edit. con sovracc., pp. 17, (3). Con 31 tavv. in b.n., 8 a col. e nota bibliografica.

Paperback. Zustand: Fine. pp. 0 / Naam op titelpagina / Name on title page German.

Lisse, Zuid, 1992. 424 pp. Linnen + omslag. Bibliografie. Illustraties. *goede staat*.