Skip to content
Home/ Information Systems Engineering: A Formal Approach
Information Systems Engineering: A Formal Approach

Information Systems Engineering: A Formal Approach

No customer reviews yet ISBN 9780521110648

Engineers and scientists need powerful formalisms to make conceptual models of systems in order to analyze and design them. These models can be used to verify the behavior of the systems, or as an executable specification of them. In this book, Professor van Hee concentrates on discrete dynamic systems, e.g. computer hardware, and information and logistical systems. He develops an integrated formalism that 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 analyzing their behavior, i.e., putting the theory into practice. The book is aimed at graduate students and researchers in computer science, electrical engineering, and applied mathematics.

About the author

Product details

Pub dateDec 24, 2009
ISBN-100521110645
ISBN-139780521110648
LanguageEnglish
Last updated 2026-03-19 04:45
$74.92 $76.00 1% off
You save $1.08 · list price $76.00
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Category
See all