Verwandte Artikel zu Mathematical Techniques for Analyzing Concurrent and...
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (Crm Monograph Series, 23, Band 23) - Hardcover
Inhaltsangabe
Two sets of lectures first presented at a 2002 workshop on "Mathematical Techniques for Analyzing Systems" are presented, exploring different aspects of the mathematical concept of concurrency and its applications in theoretical computer science. The first set of lectures examine the coalgebraic approach to concurrency, presenting a "calculus of streams" for coalgebraic reasoning. The second set discusses modeling and verification of probabilistic, concurrent systems, particularly focusing on automated tools for the study of system behavior and performance. The material is aimed at beginning graduate students. Annotation ©2004 Book News, Inc., Portland, OR (booknews.com)
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Mathematical Techniques for Analyzing Concurrent and...
Beispielbild für diese ISBN
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers FW-9780821835715
Neu kaufen
EUR 105,06
EUR 5,85 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Brand New. illustrated edition. 215 pages. 10.00x7.00x0.50 inches. In Stock. Bestandsnummer des Verkäufers __0821835718
Neu kaufen
EUR 106,33
EUR 14,56 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
Verlag:
American Mathematical Society, US, 2004
ISBN 10: 0821835718
ISBN 13: 9780821835715
Neu
Hardcover
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardback. Zustand: New. This book consists of two sets of lecture notes devoted to slightly different methods of analysis of concurrent and probabilistic computational systems. The first set of lectures develops a calculus of streams (a generalization of the set of natural numbers) based on the coinduction principle coming from the theory of coalgebras. It is now well understood that the interplay between algebra (for describing structure) and coalgebra (for describing dynamics) is crucial for understanding concurrent systems. There is a striking analogy between streams and formula calculus reminiscent of those appearing in quantum calculus. These lecture notes will appeal to anyone working in concurrency theory but also to algebraists and logicians.The other set of lecture notes focuses on methods for automatically verifying probabilistic systems using techniques of model checking. The unique aspect of these lectures is the coverage of both theory and practice. The authors have been responsible for one of the most successful experimental systems for probabilistic model checking. These lecture notes are of interest to software engineers, real-time programmers, researchers in machine learning and numerical analysts who may well be interested to see how standard numerical techniques are used in a novel context. Both sets of lectures are expository and suitable for graduate courses in theoretical computer science and for research mathematicians interested in design and analysis of concurrent and probabilistic computational systems. Bestandsnummer des Verkäufers LU-9780821835715
Neu kaufen
EUR 133,35
Versand gratis
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
Verlag:
American Mathematical Society, 2004
ISBN 10: 0821835718
ISBN 13: 9780821835715
Neu
Hardcover
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardback. Zustand: New. New copy - Usually dispatched within 4 working days. Bestandsnummer des Verkäufers B9780821835715
Neu kaufen
EUR 133,23
EUR 19,90 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (Crm Monograph Series, 23)
ISBN 10: 0821835718
ISBN 13: 9780821835715
Neu
Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In English. Bestandsnummer des Verkäufers ria9780821835715_new
Neu kaufen
EUR 156,15
EUR 13,15 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (Crm Monograph Series)
ISBN 10: 0821835718
ISBN 13: 9780821835715
Neu
Hardcover
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Consists of two sets of lecture notes devoted to slightly different methods of analysis of concurrent and probabilistic computational systems. This book is suitable for graduate courses in theoretical computer science and for research mathematicians interested in design and analysis of concurrent and probabilistic computational systems. Editor(s): Panangaden, Prakash; Breugel, Franck van. Series: CRM Monograph Series. Num Pages: 215 pages, illustrations. BIC Classification: PBT. Category: (P) Professional & Vocational. Weight in Grams: 624. . 2004. Hardcover. . . . . Bestandsnummer des Verkäufers V9780821835715
Neu kaufen
EUR 162,99
EUR 9,50 Versand
Versand von Irland nach USA
Versand von Irland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (Crm Monograph Series)
ISBN 10: 0821835718
ISBN 13: 9780821835715
Neu
Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Consists of two sets of lecture notes devoted to slightly different methods of analysis of concurrent and probabilistic computational systems. This book is suitable for graduate courses in theoretical computer science and for research mathematicians interested in design and analysis of concurrent and probabilistic computational systems. Editor(s): Panangaden, Prakash; Breugel, Franck van. Series: CRM Monograph Series. Num Pages: 215 pages, illustrations. BIC Classification: PBT. Category: (P) Professional & Vocational. Weight in Grams: 624. . 2004. Hardcover. . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9780821835715
Neu kaufen
EUR 167,23
EUR 9,03 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
Verlag:
American Mathematical Society, US, 2004
ISBN 10: 0821835718
ISBN 13: 9780821835715
Neu
Hardcover
Anbieter: Rarewaves.com UK, London, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardback. Zustand: New. This book consists of two sets of lecture notes devoted to slightly different methods of analysis of concurrent and probabilistic computational systems. The first set of lectures develops a calculus of streams (a generalization of the set of natural numbers) based on the coinduction principle coming from the theory of coalgebras. It is now well understood that the interplay between algebra (for describing structure) and coalgebra (for describing dynamics) is crucial for understanding concurrent systems. There is a striking analogy between streams and formula calculus reminiscent of those appearing in quantum calculus. These lecture notes will appeal to anyone working in concurrency theory but also to algebraists and logicians.The other set of lecture notes focuses on methods for automatically verifying probabilistic systems using techniques of model checking. The unique aspect of these lectures is the coverage of both theory and practice. The authors have been responsible for one of the most successful experimental systems for probabilistic model checking. These lecture notes are of interest to software engineers, real-time programmers, researchers in machine learning and numerical analysts who may well be interested to see how standard numerical techniques are used in a novel context. Both sets of lectures are expository and suitable for graduate courses in theoretical computer science and for research mathematicians interested in design and analysis of concurrent and probabilistic computational systems. Bestandsnummer des Verkäufers LU-9780821835715
Neu kaufen
EUR 130,88
EUR 75,70 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar