Name: formal methods for open object-based distributed systems (en Inglés)
Price: 196.22 USD
Availability: InStock
Author: Bowman, Howard ; Derrick, John
ISBN: 9780412820403

portada 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

Howard Bowman

John Derrick

Editorial

Springer

Autor

Bowman, Howard ; Derrick, John

Idioma

Inglés

N° páginas

470

Encuadernación

Tapa Dura

Dimensiones

23.4 x 15.6 x 2.7 cm

Peso

0.86 kg.

ISBN

0412820404

ISBN13

9780412820403

Categorías

Ingeniería eléctrica
Ingeniería electrónica
Hardware de redes

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

Howard Bowman (Ilustrado por) · John Derrick (Ilustrado por) · Springer · Tapa Dura

Libro Nuevo Importado

Envío: 16 a 23 días háb.

$ 356.76$ 196.22

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 196.22

Llega entre el 13 Jul y el 24 Jul a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "formal methods for open object-based distributed systems (en Inglés)"

This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for object oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object oriented methods.