Envío a todo Costa Rica por solo ₡1490 

Enviar a
Costa Rica
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 methods for open object-based distributed systems (en Inglés)
formal methods for open object-based distributed systems (en Inglés)formal methods for open object-based distributed systems (en Inglés)
Formato
Libro Físico
Ilustrado por
Editorial
Autor
Idioma
Inglés
N° páginas
259
Encuadernación
Tapa Blanda
Dimensiones
23.6 x 15.5 x 1.8 cm
Peso
0.41 kg.
ISBN
3540688625
ISBN13
9783540688624
Categorías

formal methods for open object-based distributed systems (en Inglés)

Gilles Barthe (Ilustrado por) · Springer · Tapa Blanda

formal methods for open object-based distributed systems (en Inglés) - Barthe, Gilles

Libro Nuevo Importado
Envío: 6 a 8 días háb.
₡ 25.669
Costos de importación y 13% IVA incluídos en el precio ✅
Libro Nuevo

Quedan más de 100 unidades

₡ 25.669
Llega entre el 19 Ago y el 25 Ago a Costa Rica. 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 methods for open object-based distributed systems (en Inglés)"

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.

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.

¿Cuál es la encuadernación de este libro?

La encuadernación de esta edición es Tapa Blanda.

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