Today distributed systems are increasingly present, for public software applications as well as critical systems, software applications as well as critical systems. Models and Analysis for Distributed Systems explores the state of the art of the formal methods for the analysis of distributed systems. Editor(s): Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. Num Pages: 356 pages, Illustrations. BIC Classification: UYD. Category: (G) General (US: Trade). Dimension: 235 x 168 x 25. Weight in Grams: 666. . 2011. 1st Edition. Hardcover. . . . .

N� de ref. del art�culo V9781848213142

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Models and Analysis for Distributed Systems

Editor

ISTE Ltd and John Wiley & Sons Inc

Fecha de publicaci�n

2011

Idioma

Ingl�s

ISBN 10

184821314X

ISBN 13

9781848213142

Encuadernaci�n

Encuadernaci�n de tapa dura

Edici�n

1� Edici�n

Estado

New

Cat�logos de vendedores

Acerca de

Sinopsis

Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors – introduce the underlying concepts, the associated design techniques and the related security issues.
The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement.
This book is more specifically intended for readers that wish to gain an overview of the application of formal methods in the design of distributed systems. Master’s and PhD students, as well as engineers in industry, will find a global understanding of the techniques as well as references to the most up-to-date works in this area.

Acerca del autor

Fabrice Kordon is a full-time professor at Universit� P. & M. Curie (UPMC).

Serge Haddad is a full-time professor at �cole Normale Sup�rieure de Cachan, a member of the CNRS laboratory LSV, and a member of the INRIA team MExICo.

Laurent Pautet is a full-time professor at T�l�com ParisTech and a member of the CNRS laboratory LTCI.

Laure Petrucci is a full-time professor at University Paris 13 in France and a member of the CNRS laboratory LIPN.

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

Descripci�n de la librer�a

Kennys.ie is the largest exporter of books from Ireland currently exporting to approximately 100 countries around the world. Kennys Bookshop houses hundreds of thousands of books and specialises in collection development and library services, supplying booksellers and state and university libraries on a global scale including the U.S.A.,Japan and Europe. Kennys.ie is Ireland's Largest Online Bookshop.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Kennys Bookshop and Art Galleries Ltd.
Liosban Industrial Estate, Tuam Road, Galway, Ireland

Condiciones de venta y env�o

Condiciones de venta

Terms of Sale - Credit Cards: Visa, Master Card, American Express, Diner.
Payment can also be made by bank draft in Euros, drawn on an Irish Bank.

We regret that PO Boxes are not acceptable to the U.S. as our courier will not deliver to them.

In case of returns or queries please contact us by email books@kennys.ie or by phone +353 91 709350

VAT Registration - IE2238521A

Conor Kenny

Derecho a cancelaci�n

Condiciones de env�o

Free Shipping

Tarifas de env�o de Irlanda a Espa�a

Tarifas de env�o de Irlanda a Espa�a
Cantidad del pedido	De 12 a 22 d�as h�biles	De 10 a 20 d�as h�biles
Primer art�culo	EUR 2.00	EUR 2.20

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.