Information Systems Engineering: A Formal Approach Book + PRICE WATCH * Amazon pricing is not included in price watch

Information Systems Engineering: A Formal Approach Book

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.Read More

from£40.12 | RRP: £29.99
* Excludes Voucher Code Discount Also available Used from £575.47
  • Product Description

    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.

  • 0521110645
  • 9780521110648
  • Kees M. van Hee
  • 7 May 2009
  • Cambridge University Press
  • Paperback (Book)
  • 436
  • 1
As an Amazon Associate we earn from qualifying purchases. If you click through any of the links below and make a purchase we may earn a small commission (at no extra cost to you). Click here to learn more.

Would you like your name to appear with the review?

We will post your book review within a day or so as long as it meets our guidelines and terms and conditions. All reviews submitted become the licensed property of www.find-book.co.uk as written in our terms and conditions. None of your personal details will be passed on to any other third party.

All form fields are required.