9780821835715 - mathematical techniques for analyzing concurrent and probabilistic systems di kwiatkowska, marta; norman, gethin; parker, david (7 risultati)
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
J. J. M. M. Rutten, Marta Kwiatkowska, Gethin Norman, And David Parker
- Rilegato
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 105,48
EUR 5,87 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 106,76
EUR 14,62 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. illustrated edition. 215 pages. 10.00x7.00x0.50 inches. In Stock.
- Rilegato
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 134,02
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardback. Condizione: 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 fr…om 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.
- Rilegato
Da: THE SAINT BOOKSTORE, Southport, Regno UnitoTHE SAINT BOOKSTORE
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 133,77
EUR 19,98 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardback. Condizione: New. New copy - Usually dispatched within 4 working days.
Lingua: Inglese
Editore: American Mathematical Society, Centre de Recherches Mathematiques, 2004
- Rilegato
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 162,99
EUR 9,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 1 disponibili
Condizione: 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 probabilist…ic 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. . . . .
Lingua: Inglese
Editore: American Mathematical Society, Centre de Recherches Mathematiques, 2004
- Rilegato
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 168,07
EUR 9,07 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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 probabilist…ic 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.
- Rilegato
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 126,83
EUR 76,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardback. Condizione: 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 fr…om 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.
