Articles liés à Concurrent Systems: Formal Development in Csp
Synopsis
This text serves as both a practical reference manual and an introduction for students using the formal specification language CSP and implementing it in the specification and verification of complex, real time and distributed systems. The book contains a tutorial introduction suitable for beginners and uses many examples as well as a realistic case study. The implementation of this case study in occam is described and the implementation of CSP in Ada 9x is also discussed. In addition, up-to-date coverage of the important new variants of CSP is provided and a complete listing of the laws of CSP is given.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Concurrent Systems: Formal Development in Csp
Image d'archives
Concurrent Systems: Formal Development in CSP (McGraw-Hill International Series in Software Engineering)
Edité par
McGraw-Hill, 1995
ISBN 10 : 0077076494
ISBN 13 : 9780077076498
Ancien ou d'occasion
Paperback
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. N° de réf. du vendeur GOR004690754
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Concurrent Systems: Formal Development in CSP (McGraw-Hill International Series in Software Engineering)
Edité par
McGraw-Hill Publishing Co., 1995
ISBN 10 : 0077076494
ISBN 13 : 9780077076498
Ancien ou d'occasion
Couverture souple
Vendeur : WeBuyBooks, Rossendale, LANCS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind. N° de réf. du vendeur wbs8922036565
Quantité disponible : 1 disponible(s)