Artículos relacionados a Real Time Programming: Languages, Specification And...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 74,16
GRATIS gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Real Time Programming: Languages, Specification And...
Imagen de archivo
Real Time Programming: Languages, Specification and Verification
Publicado por
World Scientific Publishing Co Pte Ltd, 2010
ISBN 10: 9810225660
ISBN 13: 9789810225667
Antiguo o usado
Tapa dura
Librería: Studibuch, Stuttgart, Alemania
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Sehr gut. 245 Seiten; 9789810225667.2 Gewicht in Gramm: 1. Nº de ref. del artículo: 528993
Cantidad disponible: 1 disponibles
Imagen de archivo
Real Time Programming: Languages, Specification and Verification
Publicado por
World Scientific Publishing Company, 2002
ISBN 10: 9810225660
ISBN 13: 9789810225667
Nuevo
Tapa dura
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: ABNR-151720
Cantidad disponible: 1 disponibles
Imagen de archivo
Real Time Programming: Languages, Specification & Verification
Publicado por
World Scientific Publishing Comp, 2002
ISBN 10: 9810225660
ISBN 13: 9789810225667
Antiguo o usado
Tapa dura
Librería: suffolkbooks, Center moriches, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
hardcover. Condición: Very Good. Fast Shipping - Safe and Secure 7 days a week! Nº de ref. del artículo: 3TWOWA002QMW
Cantidad disponible: 1 disponibles
Imagen de archivo
Real Time Programming Languages, Specification and Verification
Publicado por
World Scientific Publishing Co Pte Ltd, 2002
ISBN 10: 9810225660
ISBN 13: 9789810225667
Nuevo
Tapa dura
Librería: TextbookRush, Grandview Heights, OH, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: 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 ref. del artículo: 52652050
Cantidad disponible: 1 disponibles
Imagen de archivo
Real Time Programming: Languages, Specification and Verification
Publicado por
World Scientific Publishing Company, 2002
ISBN 10: 9810225660
ISBN 13: 9789810225667
Nuevo
Tapa dura
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-297959
Cantidad disponible: 1 disponibles
Imagen de archivo
Real Time Programming
Publicado por
World Scientific Publishing Company, Incorporated, 2002
ISBN 10: 9810225660
ISBN 13: 9789810225667
Antiguo o usado
Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: Used. pp. xv + 245. Nº de ref. del artículo: 261413650
Cantidad disponible: 1 disponibles
Imagen de archivo
Real Time Programming
Publicado por
World Scientific Publishing Company, Incorporated, 2002
ISBN 10: 9810225660
ISBN 13: 9789810225667
Antiguo o usado
Tapa dura
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Used. pp. xv + 245 Illus. Nº de ref. del artículo: 6434253
Cantidad disponible: 1 disponibles
Imagen de archivo
Real Time Programming
Publicado por
World Scientific Publishing Company, Incorporated, 2002
ISBN 10: 9810225660
ISBN 13: 9789810225667
Antiguo o usado
Tapa dura
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Used. pp. xv + 245. Nº de ref. del artículo: 181413656
Cantidad disponible: 1 disponibles