«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Formal Techniques for Distributed Systems

Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Techniques for Distributed Systems David Lee
Código Libristo: 01649869
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mayo 2009
This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on F... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

My Mom is Awesome (Danish Book for Kids) Kidkiddos Books / Libro Tapa blanda
common.buy 17.19 €
Ein neues Leben Antje Rávik Strubel / Libro Tapa dura
common.buy 23.79 €
Ammiraglia di tutte le zattere Paolo Colavero / Libro Tapa blanda
common.buy 21.69 €
Gomma di Tamarindo Chandana S / Libro Tapa blanda
common.buy 78.59 €
Finitud y tiempo Julian Serna Arango / Libro electrónico Adobe ePub DRM
common.buy 4.59 €
El amor, el sexo y el matrimonio DOVAL / Libro Libro
common.buy 11.99 €
Personal de servicios generales de la administración de la comunidad foral de navarra. Test Editorial Mad / Libro binding.
common.buy 24.09 €
Negligencias médicas en anestesiología y responsabilidad civil del anestesista Gutiérrez Santiago / Libro Tapa blanda
common.buy 41.29 €
Vorstellung Vom Weltgebaude Im Wandel Der Zeiten Svante A. Arrhenius / Libro Tapa blanda
common.buy 39.09 €
Caballos salvajes JORDI CUSSA / Audio CD de audio
common.buy 26.09 €
Repetitorium Schmerztherapie Michael Hatzenbühler / Libro Tapa blanda
common.buy 67.29 €
Palabras con corazón María Eugenia Manrique / Libro Tapa blanda
common.buy 21.69 €

This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009.§The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Formal Techniques for Distributed Systems
Autor David Lee, Antonia Lopes, Arnd Poetzsch-Heffter
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2009
Número de páginas 249
EAN 9783642021374
ISBN 3642021379
Código Libristo 01649869
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 409
Dimensiones 155 x 235 x 15

Categorías

Computación e informática > Hardware (o soporte físico del ordenador) > Hardware de redes
Computación e informática > Programación informática/desarrollo de software > Algoritmos y estructuras de datos
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Sistemas operativos
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

The Centaur Algernon Blackwood / Libro Tapa blanda
common.buy 20.09 €
Using Student Feedback for Successful Teaching Zierer / Libro Tapa blanda
common.buy 41.19 €
Roger Ludlow, The Colonial Lawmaker John Metcalf Taylor / Libro Tapa dura
common.buy 32.79 €
Familiar Spanish Travels William Dean Howells / Libro Tapa blanda
common.buy 44.29 €
Horses Don't Lie Chris Irwin / Libro electrónico Adobe ePub DRM
common.buy 11.49 €
Narcissist: You Can't Love a Narcissist. How to Escape from a Narcissistic Relationship. Recognize Emotional Manipulation and Stop Wendy Jackson / Libro Tapa blanda
common.buy 10.69 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?