Articoli correlati a Concurrent And Real-Time Systems: The Csp Approach
Sinossi
Bisher gibt es relativ wenig Bücher, die sich auf einführendem Niveau mit CSP (Communicating Sequential Processes), einer Theorie parallel laufender Systeme ("concurrent systems"), beschäftigen. Dieses Werk füllt eine Lücke; es ist das einzige gegenwärtig verfügbare Lehrbuch, an dem sich Dozenten orientieren können, die die Theorie solcher Systeme in vollem Umfang behandeln möchten. Eine ausgezeichnete Auswahl von Beispielen und Übungen motiviert die Studenten, sich näher mit diesem schwierigen Fachgebiet zu beschäftigen. (10/99)
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
Steve Schneider is the author of Concurrent and Real-time Systems: The CSP Approach, published by Wiley.
Dalla quarta di copertina
The CSP approach has been widely used in the specification, analysis and verification of concurrent and real-time systems, and for understanding the particular issues that can arise when concurrency is present. It provides a language which enables specifications and designs to be clearly expressed and understood, together with a supporting theory which allows them to be analysed and shown to be correct. This book supports advanced level courses on concurrency covering timed and untimed CSP. The first half introduces the language of CSP, the primary semantic models (traces, failures, divergences and infinite traces), and their use in the modelling, analysis and verification of concurrent systems. The second half of the book introduces time into the language, brings in the timed semantic model (timed failures) and finally presents the theory of timewise refinement which links the two halves together. Author's Website containing:
* Exercises and solutions
* Instructor's resources
* Example CSP programs to run on FDR and ProBe
* Links to useful sites
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreJohn Wiley & Sons
- Data di pubblicazione1999
- ISBN 10 0471623733
- ISBN 13 9780471623731
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine528
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 70,07
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati della ricerca per Concurrent And Real-Time Systems: The Csp Approach
Foto dell'editore
Concurrent and Real-Time Systems : The CSP Approach
Editore:
Wiley & Sons, Incorporated, John, 1999
ISBN 10: 0471623733
ISBN 13: 9780471623731
Antico o usato
Brossura
Prima edizione
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 1st Edition. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Codice articolo GRP27658983
Quantità: 1 disponibili
Foto dell'editore
Concurrent and Real-Time Systems : The CSP Approach
Editore:
Wiley & Sons, Incorporated, John, 1999
ISBN 10: 0471623733
ISBN 13: 9780471623731
Antico o usato
Brossura
Prima edizione
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. 1st Edition. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Codice articolo 16358883-20
Quantità: 1 disponibili
Foto dell'editore
Concurrent and Real-Time Systems: The CSP Approach
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Clean from markings. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1050grams, ISBN:9780471623731. Codice articolo 9829928
Quantità: 1 disponibili
Foto dell'editore
Concurrent And Real-Time Systems
Editore:
John Wiley & Sons, 2000
ISBN 10: 0471623733
ISBN 13: 9780471623731
Antico o usato
Softcover
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 2000. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 2000. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-863-277
Quantità: 1 disponibili
Foto dell'editore
Concurrent and Real-Time Systems: The CSP Approach
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less 2.05. Codice articolo G0471623733I2N00
Quantità: 1 disponibili
Foto dell'editore
Concurrent and Real-Time Systems : The CSP Approach
Editore:
Wiley & Sons, Incorporated, John, 1999
ISBN 10: 0471623733
ISBN 13: 9780471623731
Antico o usato
Brossura
Prima edizione
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 1st Edition. Used book that is in clean, average condition without any missing pages. Codice articolo 5075371-6
Quantità: 2 disponibili
Immagini fornite dal venditore
Concurrent And Real-Time Systems: The CSP Approach (Worldwide Series in Computer Science) The CSP Approach
Editore:
John Wiley & Sons 05.11.1999., 1999
ISBN 10: 0471623733
ISBN 13: 9780471623731
Antico o usato
Brossura
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Gut. Auflage: 1. Auflage. 528 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 22,4 x 16,8 x 3,6 cm, Taschenbuch. Codice articolo 368165
Quantità: 1 disponibili
Immagini fornite dal venditore
Concurrent and Realtime Systems
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. The CSP approach has been widely used in the specification, analysis and verification of concurrent and real-time systems, and for understanding the particular issues that can arise when concurrency is present. It provides a language which enables specifica. Codice articolo 446917521
Quantità: Più di 20 disponibili
Foto dell'editore
Concurrent and Real-Time Systems
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 4 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000. Codice articolo FW-9780471623731
Quantità: 15 disponibili
Immagini fornite dal venditore
Concurrent and Real-Time Systems : The Csp Approach
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 33960
Quantità: Più di 20 disponibili