Bild 1 von 1
Galerie
Bild 1 von 1
Echtzeitprogrammierung: Sprachen, Spezifikation und Verifizierung von S Ramesh-
US $84,60
Ca.EUR 72,10
Artikelzustand:
Neu
Neues, ungelesenes, ungebrauchtes Buch in makellosem Zustand ohne fehlende oder beschädigte Seiten. Genauere Einzelheiten entnehmen Sie bitte dem Angebot des Verkäufers.
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Versand:
Kostenlos Standard Shipping.
Standort: Sparks, Nevada, USA
Lieferung:
Lieferung zwischen Di, 16. Sep und Mo, 22. Sep nach 94104 bei heutigem Zahlungseingang
Rücknahme:
30 Tage Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen.
Zahlungen:
Sicher einkaufen
- Gratis Rückversand im Inland
- Punkte für jeden Kauf und Verkauf
- Exklusive Plus-Deals
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:286719207086
Artikelmerkmale
- Artikelzustand
- Book Title
- Real Time Programming: Languages, Specification and Verification
- Publication Date
- 2009-10-01
- Pages
- 264
- ISBN
- 9789810225667
Über dieses Produkt
Product Identifiers
Publisher
World Industries Scientific Publishing Co Pte LTD
ISBN-10
9810225660
ISBN-13
9789810225667
eBay Product ID (ePID)
1065629
Product Key Features
Number of Pages
600 Pages
Language
English
Publication Name
Real Time Programming : Languages, Specification and Verification
Publication Year
1998
Subject
Programming / General, Computer Science
Type
Textbook
Subject Area
Computers
Format
Hardcover
Dimensions
Item Weight
0 Oz
Additional Product Features
Intended Audience
Scholarly & Professional
Dewey Edition
22
Dewey Decimal
005.273
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, 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.
LC Classification Number
QA76.54
Artikelbeschreibung des Verkäufers
Rechtliche Informationen des Verkäufers
Info zu diesem Verkäufer
AlibrisBooks
98,7% positive Bewertungen•2,0 Mio. Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (521.830)
- e***n (390)- Bewertung vom Käufer.Letzter MonatBestätigter KaufGreat transaction, exactly as described, packed well, and promptly shipped on August 6th. Unfortunately the U.S. Postal Service took 23 calendar days to deliver the book. It was shipped from Pennsylvania, to Atlanta, past Alabama to Texas, enjoyed several days in Texas, then to Minneapolis, Jacksonville, Florida, back to Atlanta, finally to Birmingham, and Huntsville. The seller was very responsive and I decided it was interesting to see if/how the book would arrive. Thanks, Joe
- m***m (2332)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufI’m thrilled with my recent purchase . The website was user-friendly, and the product descriptions were accurate. Customer service was prompt and helpful, answering all my questions. My order arrived quickly, well-packaged, and the product exceeded my expectations in quality. I’m impressed with the attention to detail and the overall experience. I’ll definitely shop here again and highly recommend from this seller to others. Thank you for a fantastic experience!Tobin's Spirit Guide: Official Ghostbusters Edition by Erik Burnham: Used (Nr. 404302598631)
- _***b (57)- Bewertung vom Käufer.Letzter MonatBestätigter KaufI gave 5 stars on shipping because i sent 2 separate emails + they responded with helpful info, even though it arrived late. This was a great value with free shipping + the condition is very good, better than advertised 🙂! The overall quality and appearance is excellent! I highly recommend this seller and give them 👍👍👍👍
Noch mehr entdecken:
- Bücher über Sprachen Sachbuch,
- Bücher über Sprachen Belletristik,
- Romane Sprachen Belletristik,
- Hörbücher in Bulgarische Sprache,
- Moderne Bücher Sprachen Belletristik,
- Erwachsene Bücher Sprachen Belletristik,
- Romantik Bücher Sprachen Belletristik,
- Bücher über Sprachen Sachbuch Erwachsene,
- Französische Bücher über Sprachen Belletristik,
- Fantasy Bücher Sprachen Belletristik
AlibrisBooks
98,7% positive Bewertungen•2,0 Mio. Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (521.830)
- e***n (390)- Bewertung vom Käufer.Letzter MonatBestätigter KaufGreat transaction, exactly as described, packed well, and promptly shipped on August 6th. Unfortunately the U.S. Postal Service took 23 calendar days to deliver the book. It was shipped from Pennsylvania, to Atlanta, past Alabama to Texas, enjoyed several days in Texas, then to Minneapolis, Jacksonville, Florida, back to Atlanta, finally to Birmingham, and Huntsville. The seller was very responsive and I decided it was interesting to see if/how the book would arrive. Thanks, Joe
- m***m (2332)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufI’m thrilled with my recent purchase . The website was user-friendly, and the product descriptions were accurate. Customer service was prompt and helpful, answering all my questions. My order arrived quickly, well-packaged, and the product exceeded my expectations in quality. I’m impressed with the attention to detail and the overall experience. I’ll definitely shop here again and highly recommend from this seller to others. Thank you for a fantastic experience!Tobin's Spirit Guide: Official Ghostbusters Edition by Erik Burnham: Used (Nr. 404302598631)
- _***b (57)- Bewertung vom Käufer.Letzter MonatBestätigter KaufI gave 5 stars on shipping because i sent 2 separate emails + they responded with helpful info, even though it arrived late. This was a great value with free shipping + the condition is very good, better than advertised 🙂! The overall quality and appearance is excellent! I highly recommend this seller and give them 👍👍👍👍