Artículos relacionados a Formal Techniques for Distributed Systems: Joint IFIP...

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proc - Tapa blanda

 
9783642385933: Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proc
Tapa blanda
ISBN 10: 3642385931 ISBN 13: 9783642385933
Editorial: Springer, 2013

Esta edición ISBN ya no está disponible.

Sinopsis

Distributed computing models.- Formal specification.- Testing.- Verification methods.- Application-level distributed systems.- Telecommunication services.- Internet.- Embedded and real-time systems.-Networking and communication security and reliability.

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

Editorial
Springer
Año de publicación
2013
Idioma
Inglés
ISBN 10 
3642385931
ISBN 13 
9783642385933
Encuadernación
Paperback
Número de páginas
336
Editor
Beyer Dirk, Boreale Michele
Contacto del fabricante
no disponible
Persona responsable
no disponible

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

9783642385919: Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... 7892 (Programming and Software Engineering)

Edición Destacada

ISBN 10:  3642385915 ISBN 13:  9783642385919
Editorial: Springer, 2013
Tapa blanda