Name: Information Systems Engineering: A Formal Approach (en Inglés)
SKU: 2704074
Price: 98.24 USD
Availability: InStock
Author: Kees Hee
ISBN: 9780521110648

portada Information Systems Engineering: A Formal Approach (en Inglés)

Information Systems Engineering: A Formal Approach (en Inglés)

Formato

Libro Físico

Editorial

Cambridge University Press

Autor

Kees Hee

Año

2009

Idioma

Inglés

N° páginas

436

Encuadernación

Tapa Blanda

ISBN

0521110645

ISBN13

9780521110648

N° edición

Categorías

Análisis y diseño de sistemas

Information Systems Engineering: A Formal Approach (en Inglés)

Kees Hee (Autor) · Cambridge University Press · Tapa Blanda

Libro Nuevo Importado

Envío: 18 a 25 días háb.

$ 178.61$ 98.24

-45%

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

Libro Nuevo

Quedan más de 100 unidades

$ 98.24

Llega entre el 20 Oct y el 04 Nov a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Information Systems Engineering: A Formal Approach (en Inglés)"

Engineers and scientists need powerful formalisms to make conceptual models of systems in order to analyse and design them. These models can be used to verify the behaviour of the systems, or as an executable specification of them. In this textbook, Professor van Hee concentrates on discrete dynamic systems, e.g. computer hardware, and information and logistical systems. He develops an integrated formalism which can be used as a prototyping language. It has three components: Petri nets, extended with time, token values and hierarchy; a specification language that is a subset of Z; and a binary data model, extended with complex objects. Much attention is paid to methods for constructing models of systems and analysing their behaviour, i.e. putting the theory into practice. The text is designed for use by advanced undergraduate and beginning graduate students, in computer science, electrical and industrial engineering, or applied mathematics; indeed, it is based on courses taught by the author in Holland and Canada. However, its contemporary flavour will mean it also has appeal to professionals or researchers in these areas.