9783319366388 - introduction to concurrency theory: transition systems and ccs (texts in theoretical computer science. an eatcs series) von gorrieri, roberto; versari, cristian (12 Ergebnisse)
Sprache: Englisch
Verlag: Springer, 2016
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 39 von 45. Buch 39 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 82,71
EUR 3,49 VersandVersand innerhalb von USAAnzahl: 4 verfügbar
Zustand: New. pp. 345.
Sprache: Englisch
Verlag: Springer, 2016
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 39 von 45. Buch 39 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 85,62
EUR 14,70 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Brand New. reprint edition. 348 pages. 9.25x6.10x0.79 inches. In Stock.
Sprache: Englisch
Verlag: Springer, 2016
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 39 von 45. Buch 39 von 45 - Texts in Theoretical Computer Science. An EATCS
- 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. Introduction to Concurrency Theory | Transition Systems and CCS | Roberto Gorrieri (u. a.) | Taschenbuch | xi | Englisch | 2016 | Springer | EAN 9783319366388 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbie…ter: preigu.
Sprache: Englisch
Verlag: Springer, 2016
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 39 von 45. Buch 39 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 58,55
EUR 62,64 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them,… and to prove properties they enjoy. The rest of the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used to study various notions of equality between systems, and to investigate in detail the expressive power of the models considered.The authors proceed from very basic results to increasingly complex issues, with many examples and exercises that help to reveal the many subtleties of the topic. The book is suitable for advanced undergraduate and graduate students in computer science and engineering, and scientists engaged with theories of concurrency.
Sprache: Englisch
Verlag: Springer, 2016
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 39 von 45. Buch 39 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 118,69
EUR 29,40 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Sprache: Englisch
Verlag: Springer, 2016
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 39 von 45. Buch 39 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print-on-Demand
Anbieter: Brook Bookstore On Demand, Napoli, NA, ItalienBrook Bookstore On Demand
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 46,22
EUR 6,80 VersandVersand von Italien nach USAAnzahl: Mehr als 20 verfügbar
Zustand: new. Questo è un articolo print on demand.
Sprache: Englisch
Verlag: Springer, 2016
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 39 von 45. Buch 39 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print-on-Demand
Anbieter: Basi6 International, Irving, TX, USABasi6 International
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 58,20
Versand nach gratisVersand innerhalb von USAAnzahl: 10 verfügbar
Zustand: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days.
Sprache: Englisch
Verlag: Springer International Publishing Okt 2016, 2016
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 39 von 45. Buch 39 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes,…to compose them, and to prove properties they enjoy. The rest of the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used to study various notions of equality between systems, and to investigate in detail the expressive power of the models considered.The authors proceed from very basic results to increasingly complex issues, with many examples and exercises that help to reveal the many subtleties of the topic. The book is suitable for advanced undergraduate and graduate students in computer science and engineering, and scientists engaged with theories of concurrency. 348 pp. Englisch.
Sprache: Englisch
Verlag: Springer, 2016
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 39 von 45. Buch 39 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print-on-Demand
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 82,85
EUR 7,64 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
Zustand: New. Print on Demand pp. 345 This item is printed on demand.
Sprache: Englisch
Verlag: Springer, 2016
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 39 von 45. Buch 39 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print-on-Demand
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 82,91
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: New. PRINT ON DEMAND pp. 345.
Sprache: Englisch
Verlag: Springer International Publishing, 2016
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 39 von 45. Buch 39 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 47,23
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Authors among the leading scientists and educators in the fieldProgresses gently from basic results to increasingly complex issuesClass-tested text, supported throughout with examples and exercisesRoberto Gorrieri is a…professor .
Sprache: Englisch
Verlag: Springer, Palgrave Macmillan Okt 2016, 2016
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 39 von 45. Buch 39 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print-on-Demand
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to c…ompose them, and to prove properties they enjoy. The rest of the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used to study various notions of equality between systems, and to investigate in detail the expressive power of the models considered.The authors proceed from very basic results to increasingly complex issues, with many examples and exercises that help to reveal the many subtleties of the topic. The book is suitable for advanced undergraduate and graduate students in computer science and engineering, and scientists engaged with theories of concurrency.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 348 pp. Englisch.
