Information Systems Engineering: A Formal Approach

4.33 avg rating
( 3 ratings by Goodreads )
 
9780521110648: Information Systems Engineering: A Formal Approach
View all copies of this ISBN edition:
 
 

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.

"synopsis" may belong to another edition of this title.

Book Description:

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.

Review:

"...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

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 65.00
US$ 46.06

Convert Currency

Shipping: FREE
From India to U.S.A.

Destination, Rates & Speeds

Add to Basket

Other Popular Editions of the Same Title

9780521455145: Information Systems Engineering: A Formal Approach

Featured Edition

ISBN 10:  0521455146 ISBN 13:  9780521455145
Publisher: Cambridge University Press, 1994
Hardcover

Top Search Results from the AbeBooks Marketplace

1.

Kees M. van Hee
ISBN 10: 0521110645 ISBN 13: 9780521110648
New Quantity Available: 1
Seller:
Bookshub
(Karol Bagh, India)
Rating
[?]

Book Description Condition: New. New. US edition. Perfect condition. Customer satisfaction our priority. Seller Inventory # ABE-FEB-48267

More information about this seller | Contact this seller

Buy New
US$ 46.06
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds

2.

Kees M. van Hee
ISBN 10: 0521110645 ISBN 13: 9780521110648
New Quantity Available: 1
Seller:
EBOOKSTORE2010
(New Delhi, ND, India)
Rating
[?]

Book Description Condition: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Seller Inventory # SHUB48267

More information about this seller | Contact this seller

Buy New
US$ 46.11
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds
International Edition
International Edition

3.

Van Hee
ISBN 10: 0521110645 ISBN 13: 9780521110648
New Paperback Quantity Available: 5
International Edition
Seller:
PRIORITY BOOKS
(Springfield, VA, U.S.A.)
Rating
[?]

Book Description Paperback. Condition: New. Softcover Book, New Condition, Fast Shipping. Ready in Stock. 1st Edition. [Please Read Carefully Before Buying], This Is An International Edition. Printed In Black and White. 436 pages, Book Cover And ISBN No May Be Different From US Edition. Restricted Sales Disclaimer Wordings Not For Sales In USA And Canada May Be Printed On The Cover Of The Book. Standard Shipping 7-14 Business Days. Expedited Shiping 4-8 Business Days. ***WE DO NOT ENTERTAIN BULK ORDERS.*** The Books May Be Ship From Overseas For Inventory Purpose. Seller Inventory # 329777

More information about this seller | Contact this seller

Buy New
US$ 44.70
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

4.

Kees M. van Hee
ISBN 10: 0521110645 ISBN 13: 9780521110648
New Quantity Available: 1
Seller:
Basi6 International
(Irving, TX, U.S.A.)
Rating
[?]

Book Description Condition: Brand New. New, US edition. Excellent Customer Service. Seller Inventory # ABEUSA-48267

More information about this seller | Contact this seller

Buy New
US$ 48.75
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds
International Edition
International Edition

5.

Van Hee
ISBN 10: 0521110645 ISBN 13: 9780521110648
New Paperback Quantity Available: 1
International Edition
Seller:
Nick Book House
(Fresno, CA, U.S.A.)
Rating
[?]

Book Description Paperback. Condition: New. New, Softcover International Edition, Printed in Black and White, Different ISBN, Same Content As US edition, Book Cover may be Different, in English Language. Seller Inventory # 15834

More information about this seller | Contact this seller

Buy New
US$ 44.80
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

6.

Kees M. van Hee
ISBN 10: 0521110645 ISBN 13: 9780521110648
New Quantity Available: 1
Seller:
East West Academic Books LLC
(Burlington, NC, U.S.A.)
Rating
[?]

Book Description Condition: New. Seller Inventory # UK15520

More information about this seller | Contact this seller

Buy New
US$ 53.47
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

7.

Hee, Kees M. van
Published by Cambridge University Press (2009)
ISBN 10: 0521110645 ISBN 13: 9780521110648
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 2009. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780521110648

More information about this seller | Contact this seller

Buy New
US$ 54.32
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

8.

Kees M. van Hee
Published by Cambridge University Press (2009)
ISBN 10: 0521110645 ISBN 13: 9780521110648
New Softcover First Edition Quantity Available: > 20
Seller:
BookVistas
(New Delhi, DELHI, India)
Rating
[?]

Book Description Cambridge University Press, 2009. Softcover. Condition: New. First edition. 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. Contents Preface Part I. System Concepts Part II. Frameworks Part III. Modelling Methods Part IV. Analysis Methods Part V. Specification Language Glossary Appendices Bibliography Index. Printed Pages: 435. Seller Inventory # 7461

More information about this seller | Contact this seller

Buy New
US$ 49.87
Convert Currency

Add to Basket

Shipping: US$ 9.62
From India to U.S.A.
Destination, Rates & Speeds

9.

Kees M. van Hee
Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2009)
ISBN 10: 0521110645 ISBN 13: 9780521110648
New Paperback Quantity Available: 10
Print on Demand
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2009. Paperback. Condition: New. Language: English . Brand New Book ***** Print on Demand *****. 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. Seller Inventory # AAV9780521110648

More information about this seller | Contact this seller

Buy New
US$ 59.93
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

Kees M. van Hee
Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2009)
ISBN 10: 0521110645 ISBN 13: 9780521110648
New Paperback Quantity Available: 10
Print on Demand
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2009. Paperback. Condition: New. Language: English . Brand New Book ***** Print on Demand *****.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. Seller Inventory # AAV9780521110648

More information about this seller | Contact this seller

Buy New
US$ 62.12
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book