A w roscoe (35 Ergebnisse)
Sprache: Englisch
Verlag: Springer Exclusive(Cbs), 2011
Serie: Texts in Computer Science, Buch 18 von 83. Buch 18 von 83 - Texts in Computer Science
- Softcover
- Internationale Ausgabe
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenInternationale AusgabeZustand: Neu
EUR 27,28
Versand nach gratisVersand innerhalb von USAAnzahl: 5 verfügbar
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.
Sprache: Englisch
Verlag: Canada Department Of Mines and Technical Surveys, Ottawa, 1953
- Softcover
Anbieter: Irolita Books, Aurora, ON, KanadaIrolita Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 26,20
EUR 2,19 VersandVersand von Kanada nach USAAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: VERY GOOD. Tan card covers have light wear to corners. Map is present in rear pocket and is in excellent condition. 25 cm. 3 pages. Additional info or photos on request. Ships in sturdy cardboard packaging, with tracking and insurance.
- Softcover
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes KönigreichWorldofBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 24,17
EUR 6,57 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
The Modelling and Analysis of Security Protocols: The Csp Approach
P. Y. A. Ryan; S. A. Schneider; M. H. Goldsmith; G. Lowe; A. W. Roscoe
- Softcover
Anbieter: ThriftBooks-Dallas, Dallas, TX, USAThriftBooks-Dallas
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 44,89
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Sprache: Englisch
Verlag: Springer London, 2010
Serie: Texts in Computer Science, Buch 18 von 83. Buch 18 von 83 - Texts in Computer Science
- Hardcover
Anbieter: PBShop.store US, Wood Dale, IL, USAPBShop.store US
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 54,80
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Sprache: Englisch
Verlag: Springer London, 2010
Serie: Texts in Computer Science, Buch 18 von 83. Buch 18 von 83 - Texts in Computer Science
- Hardcover
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes KönigreichPBShop.store UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 49,67
EUR 7,93 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Sprache: Englisch
Verlag: Springer, 2010
Serie: Texts in Computer Science, Buch 18 von 83. Buch 18 von 83 - Texts in Computer Science
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 54,43
EUR 14,06 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer, 2012
Serie: Texts in Computer Science, Buch 18 von 83. Buch 18 von 83 - Texts in Computer Science
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,39
EUR 14,06 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer, 2010
Serie: Texts in Computer Science, Buch 18 von 83. Buch 18 von 83 - Texts in Computer Science
- Hardcover
Anbieter: Speedyhen, Hertfordshire, Vereinigtes KönigreichSpeedyhen
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 45,57
EUR 48,11 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: NEW.
Sprache: Englisch
Verlag: Springer, 2013
Serie: Texts in Computer Science, Buch 18 von 83. Buch 18 von 83 - Texts in Computer Science
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 84,06
EUR 14,67 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 548 pages. 9.06x6.06x1.34 inches. In Stock.
Sprache: Englisch
Verlag: Springer London, 2010
Serie: Texts in Computer Science, Buch 18 von 83. Buch 18 von 83 - Texts in Computer Science
- Hardcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 56,43
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: New. Presents a comprehensive and up-to-date guide to the theory and practice of concurrencyExamines the ability of CSP to describe and enable reasoning about parallel systems modelled in other paradigmsContains exercises throughout, and supplies supporting reso.
- Hardcover
Anbieter: Better World Books, Mishawaka, IN, USABetter World Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 111,22
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 103,17
EUR 14,06 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Weitere BilderSprache: Englisch
Verlag: Springer, 2012
Serie: Texts in Computer Science, Buch 18 von 83. Buch 18 von 83 - Texts in Computer Science
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Understanding Concurrent Systems | A. W. Roscoe | Taschenbuch | Texts in Computer Science | xviii | Englisch | 2012 | Springer | EAN 9781447126003 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer London, 2010
Serie: Texts in Computer Science, Buch 18 von 83. Buch 18 von 83 - Texts in Computer Science
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 57,57
EUR 64,72 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 C…SP 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.
Sprache: Englisch
Verlag: Springer London, Springer London, 2012
Serie: Texts in Computer Science, Buch 18 von 83. Buch 18 von 83 - Texts in Computer Science
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 58,55
EUR 64,10 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 theo…ry 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.
Verlag: Bone Hill, Chiswell Green, St. Albans, Hertfordshire, England : The National Rose Society of Great Britain, 1964., 1964
- Hardcover
Anbieter: Joseph Valles - Books, Stockbridge, GA, USAJoseph Valles - Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 49,68
EUR 14,87 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. 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.
Weitere BilderSprache: Englisch
Verlag: Springer Nature B.V., 2010
Serie: Texts in Computer Science, Buch 18 von 83. Buch 18 von 83 - Texts in Computer Science
- Hardcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 63,45
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Understanding Concurrent Systems | A. W. Roscoe | Buch | xviii | Englisch | 2010 | Springer Nature B.V. | EAN 9781848822573 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 71,14
EUR 7,63 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Used. pp. xv + 565 Illus.
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 148,56
EUR 9,21 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New. This work consists of a selection of papers from the proceedings of a special session on topology and category theory in computer science, held at The Oxford Topology Symposium in June 1989. The session Editor(s): Reed, G. M.; Roscoe, A. W.; Wachter, R. F. Num Pages: 402 pages, line drawings. BIC Classification: PB…C; PBM; PBP; UYA. Category: (P) Professional & Vocational. Dimension: 241 x 161 x 29. Weight in Grams: 811. . 1991. New. hardcover. . . . . Books ship from the US and Ireland.
Die Entstehung der Dalton'schen Atomtheorie in neuer Beleuchtung. Ein Beitrag zur Geschichte der Chemie. [Von Henry E. Roscoe und Arthur Harden. Ins Deutsche übertragen von Georg W. Kahlbaum]. (= Monographien aus der Geschichte der Chemie, zweites Heft).
Kahlbaum, Georg W. A. (Übers.), Henry E. Roscoe und Arthur Harden:
Verlag: Leipzig: Zentralantiquariat der Deutschen Demokratischen Republik, 1970
- Hardcover
Anbieter: Antiquariat Kretzer, Kirchhain-Emsdorf, DeutschlandAntiquariat Kretzer
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 18,00
EUR 50,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: 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 de…r Ausgabe Leipzig, 1897 bei Johann Ambrosius Barth.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 166,59
EUR 14,06 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 166,59
EUR 14,06 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 72,46
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Used. pp. xv + 565.
Ideological Differences And World Order: Studies In The Philosophy And Science Of The World's Cultures
Northrop, F. S. C. (Editor); Roscoe Pound; Fung Yu-Lan; Chiang Yee; Charles M. Bakewell; Matila Ghyka; Robert Grinnell; Overton H., Taylor; Leopoldo Zea; John N. Hazard; T. V. Smith; P. W. Bridgman; Lord Lindsay Of Birker; Henri Peyre; Manuel Sandoval Vallarta; Julian Huxley; David Bidney; Clyde Kluckhohn; Francisco Romero; Pitrim A. Sorokin; Gray L. Dorsey
Sprache: Englisch
Verlag: Yale University Press, New Haven, 1949
- Hardcover
- Erstausgabe
Anbieter: Arroyo Seco Books, Pasadena, Member IOBA, Pasadena, CA, USAArroyo Seco Books, Pasadena, Member IOBA
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenVerbandsmitglied: IOBA
Zustand: Gebraucht - Gut
EUR 193,09
EUR 7,02 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. 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.
- Hardcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 103,85
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Gut. Zustand: Gut | Seiten: 408 | Sprache: Englisch | Produktart: Bücher | 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 solutio…ns. Reflecting the latest innovations at the interface between mathematics and computer science, the work will interest researchers and advanced students in both fields.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 140,10
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Reflections on the Work of C.A.R. Hoare | Cliff B. Jones (u. a.) | Taschenbuch | xii | Englisch | 2014 | Springer | EAN 9781447161523 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Hardcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 106,97
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 408 | Sprache: Englisch | Produktart: Bücher | 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 a…nd solutions. Reflecting the latest innovations at the interface between mathematics and computer science, the work will interest researchers and advanced students in both fields.
- Hardcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 126,83
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 430 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 168,73
EUR 63,34 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 expre…ssed' 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.
