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 ref. del art�culo wbs8922036565

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Concurrent Systems: Formal Development in CSP (McGraw-Hill International Series in Software Engineering)
Editor: McGraw-Hill Publishing Co.
Fecha de publicaci�n: 1995
Idioma: Ingl�s
ISBN 10: 0077076494
ISBN 13: 9780077076498
Encuadernaci�n: Encuadernaci�n de tapa blanda
Estado: Like New

Acerca de

Sinopsis

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.

Acerca del autor

Michael G. Hinchey is currently with the University of Cambridge Computer Laboratory and a member of faculty in the Real-Time Computing Laboratory at New Jersey Institute of Technology, USA.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Revival Books Ltd
Unit 11 Hugh Business Park, Bacup Road, Waterfoot, Rossendale, BB4 7BT, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

WeBuyBooks
Hall Carr Mill
Fallbarn Road
Rawtenstall
Lancashire BB4 7NX

Email: Sales@webuybooks.co.uk
Tel: 01706 227207

Company Reg. No. 07693718
VAT Number 901 5786 27

Authorised Representatives: Michael Lane and Damian Carr

Condiciones de env�o

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.