Isbn: 9780521110648 - information systems engineering: a formal approach (13 resultados)

Condición: Very Good.

Condición: New.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: New. In English.

Condición: New.

Condición: 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. . . . . …

Condición: As New. Unread book in perfect condition.

Condición: 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. …

Taschenbuch. Condición: 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.…

Condición: New. Print on Demand pp. 436 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.

Paperback. Condición: new. Paperback. 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. 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.Inhaltsverzeichnis.…