Information Systems Engineering A Formal Approach

Afbeeldingen
Artikel vergelijken
  • Engels
  • Hardcover
  • 9780521455145
  • 24 juni 1994
  • 435 pagina's
Alle productspecificaties

Samenvatting

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.

Productspecificaties

Inhoud

Taal
en
Bindwijze
Hardcover
Oorspronkelijke releasedatum
24 juni 1994
Aantal pagina's
435
Illustraties
Nee

Betrokkenen

Hoofdauteur
Kees M. Van Hee
Tweede Auteur
Kees van Hee
Hoofduitgeverij
Cambridge University Press

Overige kenmerken

Extra groot lettertype
Nee
Studieboek
Ja
Verpakking breedte
178 mm
Verpakking hoogte
31 mm
Verpakking lengte
254 mm
Verpakkingsgewicht
992 g

EAN

EAN
9780521455145

Je vindt dit artikel in

Boek, ebook of luisterboek?
Boek
Beschikbaarheid
Leverbaar
Taal
Engels
Studieboek of algemeen
Algemene boeken
Nog geen reviews
Kies gewenste uitvoering
Prijsinformatie en bestellen
De prijs van dit product is 35 euro. Dit is een tweedehands product.
Alleen tweedehands
Goed
Naam in potlood op voorste schutblad, verder zuiver, zo goed als ongelezen exemplaar uit 1994, eerste druk, 421 pag., met zwart-wit-ill, glossary, appendix, bibliography en index, lichte gebruikssporen op omslagranden en snede, licht verkleurd op pagina, in goede staat / clean, hardly used copy, fine
1 - 2 weken
Verkoop door lagoos
8,9
  • Bestellen en betalen via bol
  • Prijs inclusief verzendkosten, verstuurd door lagoos
  • 30 dagen bedenktijd en gratis retourneren