Artículos relacionados a Concurrent Systems: Formal Development in CSP (McGraw-Hill...
Concurrent Systems: Formal Development in CSP (McGraw-Hill International Series in Software Engineering) - Tapa blanda
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
EUR 10,34
EUR 6,45 gastos de envío desde Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envíoResultados de la búsqueda para Concurrent Systems: Formal Development in CSP (McGraw-Hill...
Imagen de archivo
Concurrent Systems: Formal Development in CSP (McGraw-Hill International Series in Software Engineering)
Publicado por
McGraw-Hill, 1995
ISBN 10: 0077076494
ISBN 13: 9780077076498
Antiguo o usado
Paperback
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: 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 ref. del artículo: GOR014514895
Gastos de envío:
EUR 6,45
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen del vendedor
Concurrent Systems: Formal Development in CSP (McGraw-Hill International Series in Software Engineering)
Publicado por
McGraw-Hill Publishing Co., 1995
ISBN 10: 0077076494
ISBN 13: 9780077076498
Antiguo o usado
Tapa blanda
Librería: WeBuyBooks, Rossendale, LANCS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: wbs8922036565
Gastos de envío:
EUR 6,44
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Concurrent Systems : Formal Development in CSP
Publicado por
McGraw-Hill Companies, The, 1995
ISBN 10: 0077076494
ISBN 13: 9780077076498
Antiguo o usado
Tapa blanda
Librería: Better World Books Ltd, Dunfermline, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Ships from the UK. Used book that is in clean, average condition without any missing pages. Nº de ref. del artículo: 53298444-20
Gastos de envío:
EUR 9,21
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 2 disponibles