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.
Risultati 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. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Codice articolo GRP27658983
Compra usato
EUR 5,36
Spedizione EUR 5,72
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
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. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Codice articolo 16358883-20
Compra usato
EUR 5,36
Spedizione EUR 5,72
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 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. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Codice articolo 5075371-6
Compra usato
EUR 11,63
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 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
Compra usato
EUR 25,62
Spedizione EUR 24,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 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
Compra usato
EUR 69,27
Spedizione EUR 2,24
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Concurrent and Real-time Systems: The CSP Approach (eng)
Da: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 4 su 5 stelle
Condizione: new. Codice articolo dee6366584d64d536ce99951eb7ca539
Compra nuovo
EUR 64,79
Spedizione EUR 8,00
Spedito da Italia a U.S.A.
Spedito da Italia a U.S.A.
Quantità: Più di 20 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: New. Codice articolo 33960-n
Compra nuovo
EUR 71,84
Spedizione EUR 2,24
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Concurrent and Real-time Systems (Paperback)
Editore:
John Wiley & Sons Inc, New York, 1999
ISBN 10: 0471623733
ISBN 13: 9780471623731
Nuovo
Paperback
Prima edizione
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. 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 analyzed 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. Accompanying website: Containing the following: -Exercises and solutions -Instructors resources - Example CSP programs to run on FDR and ProBe -Links to useful sites Partial Contents: Part I: The Language of CSP; Sequential Processes; Concurrency; Abstraction and Control Flow; Part II: Analyzing Processes; Traces; Specification and Verification with Traces; Stable Failures; Specification and Verification with Failures; Failures, Divergences, and Infinite Traces; Part III: Introducing Time; The Timed Language; Timed transition systems; Part IV: Timed Analysis; Semantics of Timed CSP; Timed Specification and Verification; Timewise Refinement; Appendix A: Event-based Time; A.1 Standard CSP and $tock$; A.2 Translating from Timed CSP; A.3 Notes; Appendix B: Model-checking with FDR; B.1 Interacting with FDR; B.2 How FDR Checks Refinement; B.3 Machine readable CSP; Index of Processes. This volume provides an elementary introduction to Communicating Sequential Processes (CSP) and its use as a formal method for understanding concurrency. Examples and exercises are presented throughout to aid teaching and to help motivate students studying this difficult subject. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780471623731
Compra nuovo
EUR 74,14
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Concurrent and Real-time Systems
Editore:
John Wiley and Sons Inc, US, 1999
ISBN 10: 0471623733
ISBN 13: 9780471623731
Nuovo
Paperback
Prima edizione
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. 1st. 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). Codice articolo LU-9780471623731
Compra nuovo
EUR 76,07
Spedizione gratuita
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 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
Compra nuovo
EUR 73,04
Spedizione EUR 7,74
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 15 disponibili