Synopsis
In this textbook, Professor van Hee concentrates on discrete dynamic systems.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Revue de presse
"...an excellent resource." Choice
"...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
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Information Systems Engineering: A Formal Approach
Image d'archives
Information Systems Engineering: A Formal Approach
Edité par
Cambridge University Press, 2009
ISBN 10 : 0521110645
ISBN 13 : 9780521110648
Ancien ou d'occasion
Couverture souple
Vendeur : Labyrinth Books, Princeton, NJ, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : Very Good. N° de réf. du vendeur 132582
Acheter D'occasion
EUR 34,81
Expédition à EUR 3,80
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Information Systems Engineering: A Formal Approach
Edité par
Cambridge University Press, 2009
ISBN 10 : 0521110645
ISBN 13 : 9780521110648
Neuf
Couverture souple
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Feb2215580243243
Acheter neuf
EUR 63,97
Expédition à EUR 3,37
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Information Systems Engineering : A Formal Approach
Edité par
Cambridge University Press, 2009
ISBN 10 : 0521110645
ISBN 13 : 9780521110648
Neuf
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 6548472-n
Acheter neuf
EUR 65,13
Expédition à EUR 2,23
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Information Systems Engineering : A Formal Approach
Edité par
Cambridge University Press, 2009
ISBN 10 : 0521110645
ISBN 13 : 9780521110648
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 6548472
Acheter D'occasion
EUR 73,77
Expédition à EUR 2,23
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Information Systems Engineering (Paperback)
Edité par
Cambridge University Press, Cambridge, 2009
ISBN 10 : 0521110645
ISBN 13 : 9780521110648
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9780521110648
Acheter neuf
EUR 78,26
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Information Systems Engineering: A Formal Approach
impression à la demandeVendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 1st edition. 421 pages. 9.75x6.75x1.00 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __0521110645
Acheter neuf
EUR 64,60
Expédition à EUR 14,42
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Information Systems Engineering: A Formal Approach
Edité par
Cambridge University Press, 2009
ISBN 10 : 0521110645
ISBN 13 : 9780521110648
Neuf
Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780521110648_new
Acheter neuf
EUR 68,10
Expédition à EUR 13,82
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Information Systems Engineering : A Formal Approach
Edité par
Cambridge University Press, 2009
ISBN 10 : 0521110645
ISBN 13 : 9780521110648
Neuf
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 6548472-n
Acheter neuf
EUR 69,26
Expédition à EUR 17,30
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Information Systems Engineering : A Formal Approach
Edité par
Cambridge University Press, 2009
ISBN 10 : 0521110645
ISBN 13 : 9780521110648
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 6548472
Acheter D'occasion
EUR 76,98
Expédition à EUR 17,30
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Information Systems Engineering (Paperback)
Edité par
Cambridge University Press, Cambridge, 2009
ISBN 10 : 0521110645
ISBN 13 : 9780521110648
Neuf
Paperback
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : 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. N° de réf. du vendeur 9780521110648
Acheter neuf
EUR 76,62
Expédition à EUR 42,68
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)