Formal Methods for Distributed Processing Paperback: A Survey of Object-Oriented Approaches - Tapa blanda

9780521168755: Formal Methods for Distributed Processing Paperback: A Survey of Object-Oriented Approaches

Tapa blanda

ISBN 10: 0521168759 ISBN 13: 9780521168755

Editorial: Cambridge University Press, 2011

Ver todas las copias de esta edici�n del ISBN

A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.

"Sinopsis" puede pertenecer a otra edici�n de este libro.

EditorialCambridge University Press
A�o de publicaci�n2011
ISBN 10 0521168759
ISBN 13 9780521168755
Encuadernaci�nTapa blanda
IdiomaIngl�s
N�mero de p�ginas492
EditorBowman Howard
Contacto del fabricanteno disponible

Comprar nuevo

Ver este art�culo

EUR 45,73

Convertir moneda

EUR 19,16 gastos de env�o desde Estados Unidos de America a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Otras ediciones populares con el mismo t�tulo

9780521771849: Formal Methods for Distributed Processing Hardback: A Survey of Object-Oriented Approaches

Edici�n Destacada

ISBN 10: 0521771846 ISBN 13: 9780521771849
Editorial: Cambridge University Press, 2002
Tapa dura

Resultados de la b�squeda para Formal Methods for Distributed Processing Paperback:...

Imagen de archivo

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Publicado por Cambridge University Press, 2011

ISBN 10: 0521168759 ISBN 13: 9780521168755

Nuevo Tapa blanda

Librería: Labyrinth Books, Princeton, NJ, Estados Unidos de America

Calificaci�n del vendedor: 4 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: 144511

Contactar al vendedor

Comprar nuevo

EUR 45,73

Convertir moneda

Gastos de env�o: EUR 19,16

De Estados Unidos de America a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 7 disponibles

A�adir al carrito

Imagen de archivo

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Publicado por Cambridge University Press, 2011

ISBN 10: 0521168759 ISBN 13: 9780521168755

Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. In. N� de ref. del art�culo: ria9780521168755_new

Contactar al vendedor

Comprar nuevo

EUR 64,98

Convertir moneda

Gastos de env�o: EUR 4,65

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

Formal Methods for Distributed Processing: A Survey of Object-oriented Approaches

Bowman, Howard (Editor)/ Derrick, John (Editor)

Publicado por Cambridge Univ Pr, 2011

ISBN 10: 0521168759 ISBN 13: 9780521168755

Nuevo Paperback

Impresi�n bajo demanda

Librería: Revaluation Books, Exeter, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: Brand New. reissue edition. 480 pages. 9.75x6.75x1.00 inches. In Stock. This item is printed on demand. N� de ref. del art�culo: __0521168759

Contactar al vendedor

Comprar nuevo

EUR 64,61

Convertir moneda

Gastos de env�o: EUR 11,70

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Howard Bowman

Publicado por Cambridge University Press, 2011

ISBN 10: 0521168759 ISBN 13: 9780521168755

Nuevo Paperback / softback

Impresi�n bajo demanda

Librería: THE SAINT BOOKSTORE, Southport, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback / softback. Condici�n: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 880. N� de ref. del art�culo: C9780521168755

Contactar al vendedor

Comprar nuevo

EUR 66,28

Convertir moneda

Gastos de env�o: EUR 10,70

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Howard Bowman

Publicado por Cambridge University Press 2011-12-08, 2011

ISBN 10: 0521168759 ISBN 13: 9780521168755

Nuevo Paperback

Librería: Chiron Media, Wallingford, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: New. N� de ref. del art�culo: 6666-IUK-9780521168755

Contactar al vendedor

Comprar nuevo

EUR 61,66

Convertir moneda

Gastos de env�o: EUR 17,53

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 10 disponibles

A�adir al carrito

Imagen del vendedor

Formal Methods for Distributed Processing

Bowman, Howard

Publicado por Cambridge University Press, 2010

ISBN 10: 0521168759 ISBN 13: 9780521168755

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real. N� de ref. del art�culo: 446928513

Contactar al vendedor

Comprar nuevo

EUR 67,33

Convertir moneda

Gastos de env�o: EUR 19,49

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

Formal Methods for Distributed Processing

Bowman Howard Derrick John

Publicado por Cambridge University Press, 2011

ISBN 10: 0521168759 ISBN 13: 9780521168755

Nuevo Tapa blanda

Librería: Biblios, Frankfurt am main, HESSE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. pp. 492. N� de ref. del art�culo: 18620529

Contactar al vendedor

Comprar nuevo

EUR 75,88

Convertir moneda

Gastos de env�o: EUR 14,50

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 3 disponibles

A�adir al carrito

Imagen del vendedor

Formal Methods for Distributed Processing : A Survey of Object-Oriented Approaches

Howard Bowman

Publicado por Cambridge University Press, 2011

ISBN 10: 0521168759 ISBN 13: 9780521168755

Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Druck auf Anfrage Neuware - Printed after ordering - A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques. N� de ref. del art�culo: 9780521168755

Contactar al vendedor

Comprar nuevo

EUR 85,87

Convertir moneda

Gastos de env�o: EUR 11,99

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Formal Methods for Distributed Processing (Paperback)

Howard Bowman

Publicado por Cambridge University Press, Cambridge, 2011

ISBN 10: 0521168759 ISBN 13: 9780521168755

Nuevo Paperback

Librería: CitiRetail, Stevenage, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: new. Paperback. Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions. This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N� de ref. del art�culo: 9780521168755

Contactar al vendedor