1969, ISBN: 68f742e1f6abe78f702b420af22d401b

Bloomington, IN: Indiana University Press, 1969. Paperback. Near Fine. 6"x9.25" 371 pgs. Cover Design by Guy Fleming. Spine straight, binding tight, pages clean w/soft tone. Not x-libra… Mehr…

Bloomington, IN: Indiana University Press, 1969. Paperback. Near Fine. 6"x9.25" 371 pgs. Cover Design by Guy Fleming. Spine straight, binding tight, pages clean w/soft tone. Not x-library, unclipped (no price), & unmarked. Toning to cover w/minimal edge wear. Secure ship w/track #. 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. Source: Publisher., Indiana University Press, 1969, 4<

1970, ISBN: 68f742e1f6abe78f702b420af22d401b

Taschenbuch

Bloomington: Indiana University Press. Very Good-. 1970. First Trade Edition. Softcover. Covers rubbed and a bit edge worn. There is a single heavy crease down the center of the spine. N… Mehr…

Bloomington: Indiana University Press. Very Good-. 1970. First Trade Edition. Softcover. Covers rubbed and a bit edge worn. There is a single heavy crease down the center of the spine. No other signs of reading. There is an inked name on the first page of the book, the text is otherwise free from marks and tightly bound. ; 8vo 8" - 9" tall; 371 pages ., Indiana University Press, 1970, 3<

1969, ISBN: 68f742e1f6abe78f702b420af22d401b

Indiana University Press, 1969-01-01. Hardcover. Used: Good., Indiana University Press, 1969-01-01, 2.5