Information Systems Engineering: A Formal Approach

Name: Information Systems Engineering: A Formal Approach
Brand: Cambridge University Press
SKU: 9780521110648
Price: 7063.00 INR
Availability: InStock
ISBN: 9780521110648

INFO SYSTEMS ENGINEERING

Contributor(s): Hee, Kees M. Van Author , Van Hee, Kees Author Format: Paperback

Paperback · ISBN 9780521110648

₹7,063 2%

₹7,224

Inclusive of GST and other taxes

100% Quality Assurance

No Account Creation Required

Fast Delivery

Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN	9780521110648
Subtitle	INFO SYSTEMS ENGINEERING
Publisher	Cambridge University Press
Publication date	December 2009
Language	English
MRP	£56.00 GBP
Page count	436
Item weight	153 g

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.

Information Systems Engineering: A Formal Approach

Key Specifications

Hee, Kees M. Van Author

Van Hee, Kees Author

Related titles