Articles liés à Introduction to the Formal Design of Real-Time Systems
Synopsis
but when we state that A 'equals' B, as well having to know what we mean by A and B we also have know what we mean by 'equals'. This section explores the role of observers; how different types of observ- er see different things as being equal, and how we can produce algo- rithms to decide on such equalities. It also explores how we go about writing specifications to which we may compare our SCCS designs. - The final section is the one which the students like best. Once enough of SCCS is grasped to decide upon the component parts of a design, the 'turning the handle' steps of composition and check- ing that the design meets its specification are both error-prone and tedious. This section introduces the concurrency work bench, which shoulders most of the burden. How you use the book is up to you; I'm not even going to suggest path- ways. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer-Verlag
- Date d'édition1999
- ISBN 10 3540761403
- ISBN 13 9783540761402
- ReliureBroché
- Langueanglais
- Nombre de pages476
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 44,62
Gratuit expédition depuis Etats-Unis vers France
Destinations, frais et délais
Résultats de recherche pour Introduction to the Formal Design of Real-Time Systems
Image d'archives
Introduction to the Formal Design of Real-Time Systems (Applied Computing)
Edité par
Springer, 1998
ISBN 10 : 3540761403
ISBN 13 : 9783540761402
Ancien ou d'occasion
Couverture souple
Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. N° de réf. du vendeur Z1-V-009-02295
Quantité disponible : 1 disponible(s)
Image d'archives
Introduction to the Formal Design of Real-Time Systems
Edité par
Springer London, 1998
ISBN 10 : 3540761403
ISBN 13 : 9783540761402
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 476 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 18757/202
Quantité disponible : 2 disponible(s)
Image d'archives
Introduction to the Formal Design of Real-Time Systems (Applied Computing)
Edité par
Springer, 1998
ISBN 10 : 3540761403
ISBN 13 : 9783540761402
Ancien ou d'occasion
Couverture souple
Vendeur : Wonder Book, Frederick, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Like New condition. A near perfect copy that may have very minor cosmetic defects. N° de réf. du vendeur W06C-02583
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Introduction to the Formal Design of Real-Time Systems (Applied Computing)
Edité par
Springer-Verlag, 1999
ISBN 10 : 3540761403
ISBN 13 : 9783540761402
Ancien ou d'occasion
Couverture souple
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Gut. 476 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,5 x 15,5 x 2,7 cm, Taschenbuch Auflage: Softcover reprint of the original 1st ed. 1999. N° de réf. du vendeur 368137
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Introduction to the Formal Design of Real-Time Systems (Applied Computing)
Edité par
Springer-Verlag, 1999
ISBN 10 : 3540761403
ISBN 13 : 9783540761402
Ancien ou d'occasion
Couverture souple
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Gut. 476 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,5 x 15,5 x 2,7 cm, Taschenbuch Auflage: Softcover reprint of the original 1st ed. 1999. N° de réf. du vendeur 383874
Quantité disponible : 1 disponible(s)
Image d'archives
Introduction to the Formal Design of Real-Time Systems
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1999
ISBN 10 : 3540761403
ISBN 13 : 9783540761402
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1999. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Edition 1999. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur D-585-308
Quantité disponible : 1 disponible(s)
Image d'archives
Introduction To The Formal Design Of Real-time Systems
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-87370
Quantité disponible : 1 disponible(s)
Image d'archives
Introduction To The Formal Design Of Real-time Systems
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-270377
Quantité disponible : 1 disponible(s)
Image d'archives
Introduction to the Formal Design of Real-Time Systems
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 478. N° de réf. du vendeur 183127522
Quantité disponible : 1 disponible(s)
Image d'archives
Introduction to the Formal Design of Real-Time Systems
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 478. N° de réf. du vendeur 263127528
Quantité disponible : 1 disponible(s)