Condizione: As New. Unread book in perfect condition.
Condizione: New.
Condizione: New. pp. 336.
Condizione: New. pp. 345.
Da: Revaluation Books, Exeter, Regno Unito
EUR 81,72
Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 336 pages. 9.50x6.50x1.00 inches. In Stock.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 107,43
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Lingua: Inglese
Editore: Springer International Publishing Okt 2016, 2016
ISBN 10: 3319366386 ISBN 13: 9783319366388
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Lingua: Inglese
Editore: Springer International Publishing Sep 2015, 2015
ISBN 10: 331921490X ISBN 13: 9783319214900
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: 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.
Da: Majestic Books, Hounslow, Regno Unito
EUR 79,88
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 345 This item is printed on demand.
Da: Majestic Books, Hounslow, Regno Unito
EUR 81,28
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 336.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 79,87
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 336.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 80,10
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 345.
Lingua: Inglese
Editore: Springer International Publishing, 2016
ISBN 10: 3319366386 ISBN 13: 9783319366388
Da: moluna, Greven, Germania
EUR 47,23
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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 .
Lingua: Inglese
Editore: Springer International Publishing, 2015
ISBN 10: 331921490X ISBN 13: 9783319214900
Da: moluna, Greven, Germania
EUR 47,23
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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 .