Information Systems Engineering: A Formal Approach

Information Systems Engineering: A Formal Approach (Paperback)

By Kees M Van Hee 
Publisher: Cambridge University Press
Edition: Paperback
Language: English
ISBN: 0521110645
EAN: 9780521110648
No. of Pages: 436
Publish Date: 2009-1-1
Binding: Paperback
Ships to India.

Description

About the Book :

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.
show moreless

Specification

Title: Information Systems Engineering: A Formal Approach
Publisher: Cambridge University Press
Author: Kees M Van Hee
Edition: Paperback
Language: English
ISBN: 0521110645
EAN: 9780521110648
No. of Pages: 436
Publish Date: 2009-1-1
Binding: Paperback

Disclaimer

  • The book summary and image may be of a different edition or binding of the same title.
  • Book reviews are added by registered customers. They need not necessarily buy book.
  • These books are NOT available for reading online or for free download in PDF or ebook format.
  • Price can change due to reprinting, price change by publisher or sourcing cost change for imported books.
  • www.infibeam.com/Books is the biggest online bookstore in India for sale of books at best price - fiction, literature, audiobooks, study guides, novels, story books, rare books, textbooks and books by popular authors. These are available in various editions and bindings e.g. paperback and at best discount.
  • For the imported title, once the order gets placed ,it can’t be cancelled


Great Value

Safe Payment

Shop With
Confidence

Help Center

Free & Easy Return

Get Discounts & Offers
Stay Connected

Popular Searches on Infibeam.com

Online Shopping: Deal of The Day / Hot Deals / Best Deals / Offers

Apple iPhones: Iphone Xs Max / Iphone Xs / Iphone XR / iPhone 8 / iPhone 8 / iPhone 7 / iPhone 7 Plus / iPhone 6s / iPhone 5s

Mobile Phones:Unboxed Mobiles / Apple Mobiles / Samsung Mobiles / Micromax Mobiles / Sony Mobiles / Intex Mobiles / Latest Mobiles / Smartphones / 4G Phones / 3G Phones

Computers:Dell Laptops / Lenovo Laptops / Acer Laptops / HP Laptops / External Hard Disks / Pen Drives / Monitors / Softwares / Printers

Appliances:Air Conditioners / Air Coolers / Refrigerators / Geysers / Room Heaters / Immersion Rod / Water Purifiers / Washing Machines / Microwaves & OTG / Air Purifier

Electronics: Tablets / Cameras / Headphones / Power Bank / LED TVs / Gaming Consoles / Speakers / Tablet Accessories / Memory Cards

Men's Clothing: Shirts / T-Shirts / Tracksuits / Trousers / Ethnic Wear / Men's Denim / Cargo Shorts / Tees & Polos / Suits & Blazer

Women's Clothing: Dress Materials / Salwar Suits / Women Sarees / Kurtas & Kurtis / Leggings / Lingerie / Night Suits & Nighties / Women Shorts / Tops

Fashion:Men's Shoes / Women's Footwear / Fastrack Watches / Titan Watches / Timex Watches / Bags / Jewellery / Fastrack Sunglasses / Perfumes & Deodorants / Fashion Accessories

Online Book Store:Best Sellers Books / Business Books / History and Politics / Academic and Professional / Competitive Exams / Biographies and Autobiographies

Best Ecommerce Platform:Online Store Builder / Create Online Store / Best Ecommerce Solutions / Sell Online / Ecommerce Marketing Blog

Ecommerce Website Templates:Free Website Templates / Free Logo Design / SEO Audit Report / Theme Store / Wordpress Themes / Web & App Development Company

Copyright © 2007-2019 Infibeam.com and Affiliates
Site is up