Real Time Programming: Languages, Specification and Verification

Shyamasundar R., K. und S. Ramesh:

ISBN 10: 9810225660 ISBN 13: 9789810225667

Verlag: World Scientific Publishing Co Pte Ltd, 2010

Sprache: Englisch

Gebraucht Zustand: Sehr gut Hardcover

F�r sp�ter vormerken

Verkauft von Studibuch, Stuttgart, Deutschland

AbeBooks-Verk�ufer seit 24. April 2018

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Hardcover

Zustand: Sehr gut

Preis: EUR 6,99 W�hrung umrechnen

Kostenlos f�r den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

245 Seiten; 9789810225667.2 Gewicht in Gramm: 1.

Bestandsnummer des Verk�ufers 528993

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Real Time Programming: Languages, Specification and Verification

Verlag

World Scientific Publishing Co Pte Ltd

Ver�ffentlichungsdatum

2010

Sprache

Englisch

ISBN-10

9810225660

ISBN-13

9789810225667

Bindung

hardcover

Zustand

Sehr gut

Verk�uferkataloge

Varia

�ber diesen Titel

Inhaltsangabe

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.

�ber die Autorin bzw. den 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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Studibuch ist ein Onlineshop f�r Studien- und Fachb�cher. Bei uns bekommst Du gebrauchte und gut erhaltene Fachliteratur zu fairen Preisen. B�cher mehrmals zu verwenden bedeutet, knappe Ressourcen nachhaltig zu nutzen. Durch deinen Einkauf bei Studibuch entsteht eine Wertekette, die vollst�ndig auf nachhaltiges Wirtschaften ausgerichtet ist und ein Zeichen gegen die Wegwerfmentalit�t setzt. Wenn Du selbst noch gebrauchte Fachb�cher hast, die Du nicht mehr ben�tigst dann kannst Du sie auf Studibuch.de verkaufen. Mit Deinem Verkauf bei Studibuch schaffst Du Platz im Regal und kannst den Verkaufserl�s f�r ein neues Fachbuch nutzen. Der Verkauf funktioniert ganz einfach. Du gibst die ISBN oder den Buchtitel auf unserer Seite ein oder scannst mit der kostenlosen Studibuch App den Barcode des Buches. Jetzt fehlt nur noch eine Angabe zum Zustand und dann wird Dir direkt der Verkaufspreis genannt. Nachdem Du alle B�cher eingegeben hast, kannst Du �ber einen Link Deinen Paketschein ausdrucken und die B�cher an uns versenden. Nach Eintreffen der B�cher erh�ltst Du garantiert innerhalb von drei Werktagen Dein Geld.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Studibuch GmbH
Neue Weinsteige 69, Stuttgart, 70180, Germany

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

� 1 Geltungsbereich
(1) Diese allgemeinen Gesch�ftsbedingungen gelten f�r alle Gesch�ftsbeziehungen zwischen der Studibuch GmbH und ihren Kunden �ber physische Produkte (z.B. B�cher, CDs) und Dienstleistungen �ber s�mtliche von Studibuch bereitgestellten Kan�le, z.B. Webshop, Applikationen (im Folgenden: App)
(2) Die allgemeinen Gesch�ftsbedingungen gelten in der jeweiligen, zum Zeitpunkt des Vertragsschlusses aktuellen Fassung. Je nach Endger�t des Kunden kann dieses Dokument ausgedruckt und/od...

Mehr Information