{"product_id":"information-systems-engineering-a-formal-approach-paperback-9780521110648","title":"Information Systems Engineering; A Formal Approach (Paperback) 9780521110648","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eInformation Systems Engineering\u003c\/font\u003e\u003cbr\u003e\r\n\u003cfont size=\"5\"\u003eA Formal Approach\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cem\u003eIn this textbook, Professor van Hee concentrates on discrete dynamic systems.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eKees M. van Hee (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780521110648, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePaperback, published 24 December 2009\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e436 pages\u003cbr\u003e24.4 x 17 x 2.2 cm, 0.69 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cem\u003e\u003cfont size=\"3\"\u003e\"...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\u003c\/font\u003e\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eEngineers 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.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePreface\u003cbr\u003e Part I. System Concepts\u003cbr\u003e Part II. Frameworks\u003cbr\u003e Part III. Modelling Methods\u003cbr\u003e Part IV. Analysis Methods\u003cbr\u003e Part V. Specification Language\u003cbr\u003e Glossary\u003cbr\u003e Appendices\u003cbr\u003e Bibliography\u003cbr\u003e Index.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Systems analysis \u0026amp; design [\u003ca title=\"See our other books on Systems analysis \u0026amp; design\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Systems%20analysis%20\u0026amp;%20design%20%5BUYD%5D%22\"\u003eUYD\u003c\/a\u003e], Object-oriented programming [\u003ca title=\"See our other books on Object-oriented programming\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Object-oriented%20programming%20%5BOOP%5D%20%5BUMN%5D%22\"\u003eOOP UMN\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":46006480011544,"sku":"9780521110648","price":43.55,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9780521110648i_3295da41-9924-468b-bb8e-e662d7c1add0.jpg?v=1691371178","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/information-systems-engineering-a-formal-approach-paperback-9780521110648","provider":"Freshly Printed Books","version":"1.0","type":"link"}