roscoe a w (28 Ergebnisse)

Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.3.

Zustand: Good. Springer, 1985. This Book is in Good Condition. Normal wear to covers and edges, interior lightly age-toned, text is clean with no marks, binding tight. Not Ex- Library or Remaindered. 100% Guaranteed. paperback. Good.

Zustand: Good. Most items will be dispatched the same or the next working day. 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. A tan to the pages.

Zustand: New. Brand New. Soft Cover International Edition. Different ISBN and Cover Image. Priced lower than the standard editions which is usually intended to make them more affordable for students abroad. The core content of the book is generally the same as the standard edition. The country selling restrictions may be printed on the book but is no problem for the self-use. This Item maybe shipped from US or any other country as we have multiple locations worldwide.

Cloth. Zustand: Good. Type: Book N.B. Small plain label to inside front cover. Damage stamp to title page. Dent to top edge of board. Corners very slightly bumped.

Zustand: New. In.

Zustand: New. In.

Paperback. Zustand: Brand New. 548 pages. 9.06x6.06x1.34 inches. In Stock.

Zustand: New. In.

Taschenbuch. Zustand: Neu. Neuware -CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent systems, and to decide whether a program meets its specification. As a member of the family of process algebras, the concepts of communication and interaction are presented in an algebraic style.An invaluable reference on the state of the art in CSP, Understanding Concurrent Systems also serves as a comprehensive introduction to the field, in addition to providing material for a number of more advanced courses. A first point of reference for anyone wanting to use CSP or learn about its theory, the book also introduces other views of concurrency, using CSP to model and explain these. The text is fully integrated with CSP-based tools such as FDR, and describes how to create new tools based on FDR. Most of the book relies on no theoretical background other than a basic knowledge of sets and sequences. Sophisticated mathematical arguments are avoided whenever possible.Topics and features: presents a comprehensive introduction to CSP; discusses the latest advances in CSP, covering topics of operational semantics, denotational models, finite observation models and infinite-behaviour models, and algebraic semantics; explores the practical application of CSP, including timed modelling, discrete modelling, parameterised verifications and the state explosion problem, and advanced topics in the use of FDR; examines the ability of CSP to describe and enable reasoning about parallel systems modelled in other paradigms; covers a broad variety of concurrent systems, including combinatorial, timed, priority-based, mobile, shared variable, statecharts, buffered and asynchronous systems; contains exercises and case studies to support the text; supplies further tools and information at theassociated website: comlab.ox.ac.uk/ucs/.From undergraduate students of computer science in need of an introduction to the area, to researchers and practitioners desiring a more in-depth understanding of theory and practice of concurrent systems, this broad-ranging text/reference is essential reading for anyone interested in Hoare¿s CSP.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 548 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent systems, and to decide whether a program meets its specification. As a member of the family of process algebras, the concepts of communication and interaction are presented in an algebraic style.An invaluable reference on the state of the art in CSP, Understanding Concurrent Systems also serves as a comprehensive introduction to the field, in addition to providing material for a number of more advanced courses. A first point of reference for anyone wanting to use CSP or learn about its theory, the book also introduces other views of concurrency, using CSP to model and explain these. The text is fully integrated with CSP-based tools such as FDR, and describes how to create new tools based on FDR. Most of the book relies on no theoretical background other than a basic knowledge of sets and sequences. Sophisticated mathematical arguments are avoided whenever possible.Topics and features: presents a comprehensive introduction to CSP; discusses the latest advances in CSP, covering topics of operational semantics, denotational models, finite observation models and infinite-behaviour models, and algebraic semantics; explores the practical application of CSP, including timed modelling, discrete modelling, parameterised verifications and the state explosion problem, and advanced topics in the use of FDR; examines the ability of CSP to describe and enable reasoning about parallel systems modelled in other paradigms; covers a broad variety of concurrent systems, including combinatorial, timed, priority-based, mobile, shared variable, statecharts, buffered and asynchronous systems; contains exercises and case studies to support the text; supplies further tools and information at theassociated website: comlab.ox.ac.uk/ucs/.From undergraduate students of computer science in need of an introduction to the area, to researchers and practitioners desiring a more in-depth understanding of theory and practice of concurrent systems, this broad-ranging text/reference is essential reading for anyone interested in Hoare's CSP.

Hardcover. Zustand: Good. 215 pp. ; green textured cloth with gold lettering and designs ; no dustjacket ; Contents: Patrons, Officers and Council -- Arrangements For 1964 -- Report Of The Council -- Annual Accounts -- Presidents and Awards -- The President's Page -- The Opening Of "Bone Hill" Trial Grounds and Display Gardens / Ena Harkness -- The Future Of The Floribunda Rose and The H.T. Type Trend / E. B. Le Grice and Pat Dickson -- Miniature Roses / Hilda Murrell -- Budding Notions / J. L. Harkness -- Damask Roses / Graham Thomas -- Pot-Pourri and Other Recipes / Arbel M. Aldous -- Humus, Its Properties and Importance / F. Fairbrother -- Roses By The Sea / John Scammell -- Extending The Rose Season / S. M. Gault -- John N. Hart, Past President / Maj.-Gen. R. F. B. Naylor -- Greenhouse Roses / Beryl Tetley-Jones -- The Hamburg International Show / Bertram Park -- Roses Aloft / Rosemary James -- Oliver Mee, Past President / J. Clarke -- The Quest For Fragrance / Tony Gregory and T. C. Thacker -- Rose Growing In Scotland / A. Dick, B.Sc., M.D. -- My Standard Roses / E. G. Mort -- Rose Growing In Denmark / Niels D. Poulsen -- Roses and Retirement / R. L. Pallett -- Rose Growing Without A Garden / Fred Whitsey -- A Symposium On The Effects Op The Winter Of 1962-3 / Bertram Park, R. C. Balfour, A. Dick, Joan E. Fulford, F. A. Gibson, Maj.-Gen. R. F. B. Naylor, Nigel Raban, W. C. Thorn, R. S. Woolley -- I Know Another Garden / J. H. Wilding -- Recent Research On Roses / E. F. Allen -- Reports On The 1960 Certificated Varieties -- The Decorative Classes / Julia Clements -- Bristol Group Summer Show / Harry G. Clacy -- Cardiff Group Summer Show / H. Wyn Jones, C.B.E. -- The Summer Show / A. G. L. Hellyer -- The Northern Show / J. Roscoe -- Lt.-Col. D. Pope / W. J. W. Sanday -- Autumn Rose Show / Fred Whitsey -- The Trial Ground, 1963 / H. Edland -- The Awards To New Roses In 1963 -- International Awards 1963 -- Book Reviews -- Gilbert D. Bunch, Deputy President / L. A. Anstiss -- Rose Analysis / L. G. Turner -- Colour Plates -- Monochrome Plates -- H.R.H. The Princess Royal Unveiling The Plaque -- At The Official Opening Of "Bone Hill" -- Damask Roses, 'Mme Hardy' and 'St. Nicholas' -- Damask Rose, 'Celsiana' -- R. Primula and 'Fruhlingsmorgen' -- 'Canary Bird' (R. Xanthina Spontanea) and 'Nevada' -- 'Marguerite Hilling' and 'Climbing Peace' -- S. McGredy & Son's Stand At Hamburg -- Colchester Rose Society's Exhibit In Tile Floral Section-N.R.S. Summer Show -- Elizabeth Of Glamis -- Heure Mauve -- Miniature Roses -- Telstar -- Pascali -- Violet Carson -- Fragrant Cloud -- Paint Box -- John Church -- Evensong -- Pink Supreme -- Maria -- Radway Sunrise -- Mme Rene Cassin -- Copenhagen -- Princess Mary's Rose Borders At "Bone Hill" -- Display Of Fragrant Roses, Summer Show Arrangement. ; G. Book.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent systems, and to decide whether a program meets its specification. As a member of the family of process algebras, the concepts of communication and interaction are presented in an algebraic style.An invaluable reference on the state of the art in CSP, Understanding Concurrent Systems also serves as a comprehensive introduction to the field, in addition to providing material for a number of more advanced courses. A first point of reference for anyone wanting to use CSP or learn about its theory, the book also introduces other views of concurrency, using CSP to model and explain these. The text is fully integrated with CSP-based tools such as FDR, and describes how to create new tools based on FDR. Most of the book relies on no theoretical background other than a basic knowledge of sets and sequences. Sophisticated mathematical arguments are avoided whenever possible.Topics and features: presents a comprehensive introduction to CSP; discusses the latest advances in CSP, covering topics of operational semantics, denotational models, finite observation models and infinite-behaviour models, and algebraic semantics; explores the practical application of CSP, including timed modelling, discrete modelling, parameterised verifications and the state explosion problem, and advanced topics in the use of FDR; examines the ability of CSP to describe and enable reasoning about parallel systems modelled in other paradigms; covers a broad variety of concurrent systems, including combinatorial, timed, priority-based, mobile, shared variable, statecharts, buffered and asynchronous systems; contains exercises and case studies to support the text; supplies further tools and information at theassociated website: comlab.ox.ac.uk/ucs/.From undergraduate students of computer science in need of an introduction to the area, to researchers and practitioners desiring a more in-depth understanding of theory and practice of concurrent systems, this broad-ranging text/reference is essential reading for anyone interested in Hoare's CSP.

Zustand: New. In.

Zustand: New. In.

Zustand: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher.

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.

Buch. Zustand: Neu. Neuware - This volume reflects the growing use of techniques from topology and category theory in the field of theoretical computer science. In so doing it offers a source of new problems with a practical flavor while stimulating original ideas and solutions. Reflecting the latest innovations at the interface between mathematics and computer science, the work will interest researchers and advanced students in both fields.

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.

Hardcover. Zustand: Very Good +. Zustand des Schutzumschlags: Very Good. 1st Edition. Xi, 486 Pp. Blue Cloth, Gilt. First Printing, With 1949 Date On Title Page.Very Good +, Cloth Clean And Unfaded, Gilt Bright, Just A Touch Of Rubbing At Corners, Slight Frays Along Top Edge Of Spine, 3/16" Fray Along Bottom Edge Of Front Board; No Marks. Original Usc Price Label Of 1949 On Rear Pastedown. Dust Jacket Priced $4.50, Light Wear, Some Fading And Browning, Minute Chips Along Edges.

Zustand: Sehr gut. XIV, (2), 171, (1) Seiten. Leicht angestaubt, Papier teils leicht gebräunt, sonst sehr gutes und sauberes Exemplar. Sprache: Deutsch Gewicht in Gramm: 500 8° (17,5-22,5 cm). Orig.-Leinenband mit goldgeprägtem Titel auf Deckel und Rücken. [Hardcover / fest gebunden]. Unveränderter photomechanischer Nachdruck der Ausgabe Leipzig, 1897 bei Johann Ambrosius Barth.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Thousands of different programming languages exist, and many more are being created each year, yet all those involved in such work must acknowledge that it is 'the highest goal of programming-language design to enable good ideas to be elegantly expressed' These are the words of Sir Charles Antony Richard Hoare, or Tony Hoare to his colleagues and friends, a man who has inspired generations of researchers in computer science. His work, grounded in practical programming, has had a profound impact on the evolution of the field. This includes the development of Hoare logic and Communicating Sequential Processes (CSP).Reflections on the Work of C.A.R. Hoare presents a comprehensive edited survey of all aspects of these subjects, with original contributions by more than 30 international leaders in the field. The book, while honoring Hoare's important contributions, assembles a collection of chapters showing the state of the art in programming languages, sequential programs, concurrency, and unified theories of programming.Topics and features: Provides a scientific biography of Tony Hoare Demonstrates a principled combination of CSP and functional programming, and a CSP semantics for the pi-calculus Reviews methods for proving Hoare formulae Investigates developments in game semantics and semantics based on the state monad Examines the satisfiability problem, void safety, and issues of auxiliary variables Introduces type families in Haskell and a description of Quicksort in Orc Describes an experiment using the Tokeneer archive, and a correctness proof of cryptographic protocols based on the Shadow Security model Presents a representation of CSP as a bigraphical reactive system, and shows how simple entities can be related to CSP processes Discusses the problem-frames approach, and explores algebraicproperties of the new programming combinators This accessible monograph is an ideal overview of theoretical and empirical evolution in programming logic and semantics of programming languages. It will serve as an invaluable resource for professionals, researchers, libraries, and students who are interested in broadening their knowledge in all of the areas covered.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Thousands of different programming languages exist, and many more are being created each year, yet all those involved in such work must acknowledge that it is 'the highest goal of programming-language design to enable good ideas to be elegantly expressed' These are the words of Sir Charles Antony Richard Hoare, or Tony Hoare to his colleagues and friends, a man who has inspired generations of researchers in computer science. His work, grounded in practical programming, has had a profound impact on the evolution of the field. This includes the development of Hoare logic and Communicating Sequential Processes (CSP).Reflections on the Work of C.A.R. Hoare presents a comprehensive edited survey of all aspects of these subjects, with original contributions by more than 30 international leaders in the field. The book, while honoring Hoare's important contributions, assembles a collection of chapters showing the state of the art in programming languages, sequential programs, concurrency, and unified theories of programming.Topics and features: Provides a scientific biography of Tony Hoare Demonstrates a principled combination of CSP and functional programming, and a CSP semantics for the pi-calculus Reviews methods for proving Hoare formulae Investigates developments in game semantics and semantics based on the state monad Examines the satisfiability problem, void safety, and issues of auxiliary variables Introduces type families in Haskell and a description of Quicksort in Orc Describes an experiment using the Tokeneer archive, and a correctness proof of cryptographic protocols based on the Shadow Security model Presents a representation of CSP as a bigraphical reactive system, and shows how simple entities can be related to CSP processes Discusses the problem-frames approach, and explores algebraicproperties of the new programming combinators This accessible monograph is an ideal overview of theoretical and empirical evolution in programming logic and semantics of programming languages. It will serve as an invaluable resource for professionals, researchers, libraries, and students who are interested in broadening their knowledge in all of the areas covered.

Hardcover. Zustand: Near Fine. Zustand des Schutzumschlags: Very Good + Jacket. 1st Edition. Xi, 486 Pp. Blue Cloth, Gilt. First Printing, With 1949 Date On Title Page.Near Fine, Cloth Clean And Unfaded, Gilt Bright, Just A Touch Of Rubbing At Corners, No Marks. Dust Jacket Priced $4.50, Light Wear. [ Loose Bookplate Of Science Service, Washington, Indicating The Book Was Listed March 12, 1949, Received Oct 6 1949, A Duplicate Copy; Science Service Is A Nonprofit Organization Based In Washington, Dc. Founded In 1921 By Newspaper Magnate E.W. Scripps, Its Mission Is To Promote Understanding And Appreciation Of Science Among The American Public.].

textbook. Zustand: Gut. 464 Seiten; 9780132948449.3 Gewicht in Gramm: 1.

Single Issue Magazine. Zustand: Fair. First Edition. Features: They Shall Have Wings - Powerful Novelet of Danger in the Sky by Theodore Roscoe; Satans on Saturn (part 1 of 5); The Old Haverton Try - Football at its Fastest and Funniest; Women of Daring - Switchboard Heroines; The Scarlet Blade (part 2 of 3); Peace Gun; Legends of the Legionaries; Crooked Caribbean Cross (part 5 of 7); An Appreciation of Matthew White, Jr.; and more. 112 pages. Unmarked. Contents moderately tanned. Chipping from covers. Binding intact. A worthy vintage example. ; 8vo.

Hardcover. Zustand: Very good. First Edition. Each volume 5 1/2 x 9 inches. Vol. I, (1897) xi, 211 p. , Vol. II, (1898) xiv, 171 p., Vol. III, (1899), Vol. IV, (1900) xix, 230 p., Vol. V, (1900) xxi, 278 p., Vol. VI, (1901) xi, 331p., Vol. VII, (1903) xiv, 194 p., Vol. Viii, (1904) lviii, 274 pages. Rebound in the 1940s in red cloth with gilt lettering on spines. Condition is Very Good; Covers and spines excellent, Vol. IV title page has some foxing, otherwise text and illustrations are very clean and unmarked. Heavy set - extra shipping may apply. Sci. RGR.

Zustand: Gut. Jeweils ca. 200 Seiten. Die Einzeltitel meist mit Portrait des behandelten Forschers, versehen mit Anmerkungen und Erläuterungen. - Einbände insgesamt leicht angestaubt und mit vereinzelten schwachen Flecken und Lagerspuren. Schnitte angestaubt und wie das Papier gleichmäßig leicht gebräunt. Band 7 mit nur schmal nach innen färbendem Wasserfleck auf dem Kopfschnitt. Gelegentlich Archivstempel auf dem Vorsatz, sonst noch sehr gutes, wenngleich ein wenig gealtertes Exemplar. Sprache: Deutsch Gewicht in Gramm: 3550 8° (21,5 x 14,5 cm). Orig.-Leinenbände mit goldgeprägtem Titel auf Deckel und Rücken. [Hardcover / fest gebunden]. 8 Bände (= so vollständig). Unveränderter photomechanischer Nachdruck der Ausgabe Leipzig, 1897-1904 bei Johann Ambrosius Barth.