Information Systems Engineering

A Formal Approach

By: Kees M. van Hee

Write A Review

Paperback | 24 December 2009

At a Glance

Paperback
436 Pages

Dimensions(cm)
24.41 x 16.99 x 2.26

Paperback

RRP $105.95

$93.75

12%OFF

or 4 interest-free payments of $23.44 with

or

Ships in 5 to 7 business days

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.

Industry Reviews

"...an excellent resource." Choice
"...A coherent and compact presentation make this book a good academic manual. Its value is due to the many exercises attached to the end of each part...accessible not only for students, but also for engineers who want to intensify their knowledge about sustems engineering and understand the theoretical background of new sustem modelling methods...I recommend it..." R. Sobczak, The Computer Journal

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $0.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Object-Oriented Programming or OOP

Statistical Analysis with R For Dummies

For Dummies (Computer/Tech)

Paperback

RRP $49.95

$34.97

30%
OFF

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Paperback

RRP $152.00

$73.75

51%
OFF

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Paperback

RRP $82.95

$58.07

30%
OFF

Design Patterns

Elements of Reusable Object-Oriented Software

Hardcover

RRP $97.60

$69.75

29%
OFF

Programming Rust

Fast, Safe Systems Development 2nd Edition

Paperback

RRP $152.00

$73.75

51%
OFF

Learning Python : Powerful Object-Oriented Programming - Mark Lutz

$39.99

27%
OFF

Learning C# 3.0

Master the Fundamentals of C# 3.0

Paperback

RRP $76.00

$39.75

48%
OFF

C++ For Dummies

Paperback

RRP $60.95

$50.75

17%
OFF

C++ Primer

Paperback

RRP $97.60

$76.75

21%
OFF

Objects First with Java 6ed

A Practical Introduction Using BlueJ, Global Edition

Paperback

RRP $152.96

$122.75

20%
OFF

Head First Object-Oriented Analysis and Design

A Brain Friendly Guide to OOA &D

Paperback

RRP $133.00

$64.75

51%
OFF

Modern Concurrency in Java

A Deep Dive Into Virtual Threads, Structured Concurrency, and Scoped Values

Paperback

RRP $123.75

$60.75

51%
OFF

Fight Fraud with Machine Learning - Ashish Jha

$73.75

51%
OFF

Effective Rust

35 Specific Ways to Improve Your Rust Code

Paperback

RRP $114.00

$55.75

51%
OFF

Learn to Program

3rd Edition

Paperback

RRP $87.35

$44.99

48%
OFF

Programming IOS 14

Dive Deep Into Views, View Controllers, and Frameworks

Paperback

RRP $125.75

$60.99

51%
OFF

Scala Cookbook

Recipes for Object-Oriented and Functional Programming 2nd Edition

Paperback

RRP $152.00

$73.75

51%
OFF

Just Use Postgres! : All the Database You Need - Denis Magda

$47.75

50%
OFF

Python in easy steps

In Easy Steps

Paperback

RRP $33.99

$33.75

Preface
System Concepts
Frameworks
Modelling Methods
Analysis Methods
Specification Language
Glossary
Appendices
Bibliography
Index
Table of Contents provided by Publisher. All Rights Reserved.

Information Systems Engineering

A Formal Approach

At a Glance

Paperback

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Object-Oriented Programming or OOP

Statistical Analysis with R For Dummies

For Dummies (Computer/Tech)

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Design Patterns

Elements of Reusable Object-Oriented Software

Programming Rust

Fast, Safe Systems Development 2nd Edition

Learning Python

Powerful Object-Oriented Programming

The Rust Programming Language, 3rd Edition

In Easy Steps

Master C# fundamentals!

Learning C# 3.0

Master the Fundamentals of C# 3.0

C++ For Dummies

C++ Primer

Objects First with Java 6ed

A Practical Introduction Using BlueJ, Global Edition

Head First Object-Oriented Analysis and Design

A Brain Friendly Guide to OOA &D

Modern Concurrency in Java

A Deep Dive Into Virtual Threads, Structured Concurrency, and Scoped Values

Fight Fraud with Machine Learning

Deep Learning with R, Third Edition

C++ Software Design

Design Principles and Patterns for High-Quality Software

Effective Rust

35 Specific Ways to Improve Your Rust Code

Learn to Program

3rd Edition

Programming IOS 14

Dive Deep Into Views, View Controllers, and Frameworks

Scala Cookbook

Recipes for Object-Oriented and Functional Programming 2nd Edition

Just Use Postgres!

All the Database You Need

21st Century C

Python in easy steps

In Easy Steps

This product is categorised by