Order Total (1 Item Items):
Shipping Destination:
Information Systems Engineering Formal by Hee Kees (11 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (11)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (8)
- As New, Fine or Near Fine (2)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (11)
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (4)
- Not Print on Demand (10)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Information Systems Engineering: A Formal Approach
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521110645 ISBN 13: 9780521110648
Condition: Very Good.
-
Information Systems Engineering : A Formal Approach
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521110645 ISBN 13: 9780521110648
Condition: New.
-
Information Systems Engineering: A Formal Approach
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521110645 ISBN 13: 9780521110648
Condition: New.
-
Information Systems Engineering : A Formal Approach
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521110645 ISBN 13: 9780521110648
Condition: As New. Unread book in perfect condition.
-
Information Systems Engineering: A Formal Approach
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521110645 ISBN 13: 9780521110648
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In.
-
Information Systems Engineering : A Formal Approach
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521110645 ISBN 13: 9780521110648
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Information Systems Engineering: A Formal Approach
Language: English
Published by Cambridge University Press, 2010
ISBN 10: 0521110645 ISBN 13: 9780521110648
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
First Edition
Condition: New. In this textbook, Professor van Hee concentrates on discrete dynamic systems. Num Pages: 436 pages, black & white illustrations. BIC Classification: UMN; UYD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 245 x 175 x 24. Weight in Grams: 740. . 2010. 1st Edition. paperback. . . . .
-
Information Systems Engineering : A Formal Approach
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521110645 ISBN 13: 9780521110648
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Information Systems Engineering: A Formal Approach
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521110645 ISBN 13: 9780521110648
Condition: New. In this textbook, Professor van Hee concentrates on discrete dynamic systems. Num Pages: 436 pages, black & white illustrations. BIC Classification: UMN; UYD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 245 x 175 x 24. Weight in Grams: 740. . 2010. 1st Edition. paperback. . . . . Books ship from the US and Ireland.
-
Information Systems Engineering : A Formal Approach
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521110645 ISBN 13: 9780521110648
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
Paperback. Condition: Brand New. 1st edition. 421 pages. 9.75x6.75x1.00 inches. In Stock. This item is printed on demand.
