Concurrent Systems: Formal Development in Csp - Couverture souple

Hinchey, Michael G.; Jarvis, Stephen A.

9780077076498: Concurrent Systems: Formal Development in Csp

Couverture souple

ISBN 10 : 0077076494 ISBN 13 : 9780077076498

Editeur : McGraw-Hill Publishing Co., 1995

Afficher les exemplaires de cette �dition comportant l?ISBN

3 D'occasion

De EUR 10,34

0 Neuf

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.

�diteur: McGraw-Hill Publishing Co.
Date d'�dition: 1995
Langue: anglais
ISBN 10: 0077076494
ISBN 13: 9780077076498
Reliure: Broch�
Nombre de pages: 181
Coordonn�es du fabricant: non disponible
Personne responsable: non disponible

Acheter D'occasion

�tat : Moyen

A readable copy of the book which...

Afficher cet article

EUR 10,34

Autre devise

EUR 6,45 exp�dition depuis Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Ajouter au panier

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)

Jarvis, Stephen A.

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 : Fair. 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. N� de r�f. du vendeur GOR014514895

Contacter le vendeur

Acheter D'occasion

EUR 10,34

Autre devise

Frais de port : EUR 6,45

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Concurrent Systems: Formal Development in CSP (McGraw-Hill International Series in Software Engineering)

Hinchey, Michael G.

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

Contacter le vendeur