Articles liés à Real Time Programming: Languages, Specification and...
Synopsis
The primary aim of this monograph is to present the current research efforts that have gone into/or going on in the systematic design of real-time programs. Such an effort would help researchers and users in the area to get a clear picture of the issues of specification, verification and design of real-time reactive programs. It will clearly enable us to identify languages that can be used for different kinds of applications. Obviously, in an upcoming area like this, this presentation is far from complete. The quintessence of the monograph can be captured by the following question: How can we design and develop Robust Reactive (real-time) Programs? We address this question in this monograph through the various underlying issues listed, such as characteristics of real-time/reactive programs, reactive programming languages, verification and refinements.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
The primary aim of this monograph is to present the current research efforts that have gone into/or going on in the systematic design of real-time programs. Such an effort would help researchers and users in the area to get a clear picture of the issues of specification, verification and design of real-time reactive programs. It will clearly enable us to identify languages that can be used for different kinds of applications. Obviously, in an upcoming area like this, this presentation is far from complete. The quintessence of the monograph can be captured by the following question: How can we design and develop Robust Reactive (real-time) Programs? We address this question in this monograph through the various underlying issues listed, such as characteristics of real-time/reactive programs, reactive programming languages, verification and refinements.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 74,16
Gratuit expédition depuis Etats-Unis vers France
Destinations, frais et délaisRésultats de recherche pour Real Time Programming: Languages, Specification and...
Image d'archives
Real Time Programming: Languages, Specification and Verification
Edité par
World Scientific Publishing Co Pte Ltd, 2010
ISBN 10 : 9810225660
ISBN 13 : 9789810225667
Ancien ou d'occasion
Couverture rigide
Vendeur : Studibuch, Stuttgart, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Sehr gut. 245 Seiten; 9789810225667.2 Gewicht in Gramm: 1. N° de réf. du vendeur 528993
Quantité disponible : 1 disponible(s)
Image d'archives
Real Time Programming: Languages, Specification and Verification
Edité par
World Scientific Publishing Company, 2002
ISBN 10 : 9810225660
ISBN 13 : 9789810225667
Neuf
Couverture rigide
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-151720
Quantité disponible : 1 disponible(s)
Image d'archives
Real Time Programming: Languages, Specification and Verification
Edité par
World Scientific Publishing Company, 2002
ISBN 10 : 9810225660
ISBN 13 : 9789810225667
Neuf
Couverture rigide
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-297959
Quantité disponible : 1 disponible(s)
Image d'archives
Real Time Programming: Languages, Specification & Verification
Edité par
World Scientific Publishing Comp, 2002
ISBN 10 : 9810225660
ISBN 13 : 9789810225667
Ancien ou d'occasion
Couverture rigide
Vendeur : suffolkbooks, Center moriches, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
hardcover. Etat : Very Good. Fast Shipping - Safe and Secure 7 days a week! N° de réf. du vendeur 3TWOWA002QMW
Quantité disponible : 1 disponible(s)
Image d'archives
Real Time Programming Languages, Specification and Verification
Edité par
World Scientific Publishing Co Pte Ltd, 2002
ISBN 10 : 9810225660
ISBN 13 : 9789810225667
Neuf
Couverture rigide
Vendeur : TextbookRush, Grandview Heights, OH, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : Brand New. Ships SAME or NEXT business day. We Ship to APO/FPO addr. Choose EXPEDITED shipping and receive in 2-5 business days within the United States. See our member profile for customer support contact info. We have an easy return policy. N° de réf. du vendeur 52652050
Quantité disponible : 1 disponible(s)
Image d'archives
Real Time Programming
Edité par
World Scientific Publishing Company, Incorporated, 2002
ISBN 10 : 9810225660
ISBN 13 : 9789810225667
Ancien ou d'occasion
Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : Used. pp. xv + 245. N° de réf. du vendeur 261413650
Quantité disponible : 1 disponible(s)
Image d'archives
Real Time Programming
Edité par
World Scientific Publishing Company, Incorporated, 2002
ISBN 10 : 9810225660
ISBN 13 : 9789810225667
Ancien ou d'occasion
Couverture rigide
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Used. pp. xv + 245 Illus. N° de réf. du vendeur 6434253
Quantité disponible : 1 disponible(s)
Image d'archives
Real Time Programming
Edité par
World Scientific Publishing Company, Incorporated, 2002
ISBN 10 : 9810225660
ISBN 13 : 9789810225667
Ancien ou d'occasion
Couverture rigide
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Used. pp. xv + 245. N° de réf. du vendeur 181413656
Quantité disponible : 1 disponible(s)