Articoli correlati a Formal Methods for Concurrency
The aim of this work is to provide a practical introduction to the formal specification of concurrent and real-time systems. It is intended for those with some basic knowledge or experience of computing but does not assume knowledge of the particular problems of concurrent and real-time systems. It concentrates on one group of languages, based on Robin Milner's Calculus of Communicating Systems (CCS). Supported throughout by examples and exercises, the practical applicability of the method is demonstrated and the benefits of a rigorous approach made clear. This text recognizes that building formal specifications, using abstraction and formal reasoning, are difficult skills to master, and thus adopts a practical, student-friendly approach.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
- EditoreCoriolis Group
- Data di pubblicazione1996
- ISBN 10 1850321736
- ISBN 13 9781850321736
- RilegaturaCopertina flessibile
- Numero di pagine290
Compra usato
Condizioni: discretoThe aim of this work is to provide... Scopri di più su questo articolo
EUR 1,49
Spese di spedizione:
EUR 5,58
Da: Regno Unito a: U.S.A.
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Formal Methods for Concurrency
Editore:
Cengage Learning EMEA, United Kingdom, London
(1996)
ISBN 10: 1850321736
ISBN 13: 9781850321736
Antico o usato
Paperback
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Paperback. Condizione: Fair. The aim of this work is to provide a practical introduction to the formal specification of concurrent and real-time systems. It is intended for those with some basic knowledge or experience of computing but does not assume knowledge of the particular problems of concurrent and real-time systems. It concentrates on one group of languages, based on Robin Milner's Calculus of Communicating Systems (CCS). Supported throughout by examples and exercises, the practical applicability of the method is demonstrated and the benefits of a rigorous approach made clear. This text recognizes that building formal specifications, using abstraction and formal reasoning, are difficult skills to master, and thus adopts a practical, student-friendly approach. A readable copy of the book which may include some defects such as highlighting and notes. Cover and pages may be creased and show discolouration. Codice articolo GOR012421544
Compra usato
EUR 1,49
Convertire valuta
Foto dell'editore
Formal Methods for Concurrency
Editore:
Coriolis Group
(1996)
ISBN 10: 1850321736
ISBN 13: 9781850321736
Antico o usato
paperback
Quantità: 1
Da:
Valutazione libreria
Descrizione libro paperback. Condizione: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority!. Codice articolo S_373079224
Compra usato
EUR 4,78
Convertire valuta
Foto dell'editore
Formal Methods for Concurrency
Editore:
Coriolis Group
(1996)
ISBN 10: 1850321736
ISBN 13: 9781850321736
Antico o usato
Brossura
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Condizione: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Codice articolo 00030090271
Compra usato
EUR 8,53
Convertire valuta
Foto dell'editore
Formal Methods for Concurrency
Editore:
International Thomson Computer Press, London
(1996)
ISBN 10: 1850321736
ISBN 13: 9781850321736
Antico o usato
Paperback
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Paperback. Condizione: Very Good. Paperback, a little sunned on rear cover, with creased rear leading corners. Leading corners are bent, affecting early and late pages; spine ends are faintly bumped. Pages are clean and sound throughout, with all content clear. TS. Used. Codice articolo 280226
Compra usato
EUR 6,10
Convertire valuta