B-Days hasta 60% OFF en Stock Limitado  Ver más

Enviar a
Quito, Pichincha
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

portada formal techniques for networked and distributed systems - forte 2006 (en Inglés)
formal techniques for networked and distributed systems - forte 2006 (en Inglés)formal techniques for networked and distributed systems - forte 2006 (en Inglés)
Formato
Libro Físico
Editorial
Idioma
Inglés
N° páginas
486
ISBN
3540462198
ISBN13
9783540462194
Categorías

formal techniques for networked and distributed systems - forte 2006 (en Inglés)

Libro Nuevo Importado
Envío: 17 a 24 días háb.
$ 190.80$ 95.40
-50%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan más de 100 unidades

$ 95.40
Llega entre el 22 Sep y el 05 Oct a Quito, Pichincha. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de envío

Reseña del libro "formal techniques for networked and distributed systems - forte 2006 (en Inglés)"

this book constitutes the refereed proceedings of the 26th ifip wg 6.1 international conference on formal techniques for networked and distributed systems, forte 2006, held in paris, france, in september 2006. the 26 revised full papers and 4 short papers presented together with 3 invited lectures were carefully reviewed and selected from 177 submissions. the papers focus on the construction of middleware and services using formalised and verified approaches, and address - in addition to the classical protocol specification, verification and testing problems - the issues of composition of protocol functions and of algorithms for distributed systems. the papers are organized in topical sections on services, middleware, composition and synthesis, logics, symbolic verification/slicing, unified modeling languages, petri nets, parameterized verification, real time, and testing.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes