TheBookSearch (aka DieBuchSuche) - the search engine for all books.
We are looking in more than 100 shops for your best offer - please wait…
- Shipping costs to Singapore (modify to GBR, USA, AUS, NZL, CHN, PHL, TWN, IDN, MYS, THA, VNM, HKG, HKG, DEU)
Create preset

All books for 9789810225667 - compare every offer

Archive entry:
9789810225667 - -: Real Time Programming: Languages, Specification and Verification - Book

-:

Real Time Programming: Languages, Specification and Verification (2001) (?)

Delivery from: FranceBook is in english languageNew book
ISBN:

9789810225667 (?) or 9810225660

, in english, 600 pages, World Scientific Publishing Co Pte Ltd, New
Expédition sous 1 à 2 jours ouvrés
Relié, Label: World Scientific Publishing Co Pte Ltd, World Scientific Publishing Co Pte Ltd, Produktgruppe: Book, Publiziert: 2001-12-31, Studio: World Scientific Publishing Co Pte Ltd
Keywords: Livres anglais et étrangers, Computers & Internet, Programming, Languages & Tools
Data from 08/07/2014 07:34h
ISBN (alternative notations): 981-02-2566-0, 978-981-02-2566-7
Archive entry:
9789810225667 - R. K. Shyamasundar, S. Ramesh: Real Time Programming: Languages, Specification & Verification - Book

R. K. Shyamasundar, S. Ramesh (?):

Real Time Programming: Languages, Specification & Verification (2002) (?)

Delivery from: United States of AmericaBook is in english languageThis book is a hardcover book not a paperbackNew bookFirst edition of this book
ISBN:

9789810225667 (?) or 9810225660

, in english, 264 pages, World Scientific Publishing Company, hardcover, New, first edition
Usually ships in 1-2 business days
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. Contents: Real Time Systems Background Synchronous Languages Other Synchronous Languages Verification of Synchronous Programs Integration of Synchrony and Asynchrony , hardcover, Ausgabe: 1st, Label: World Scientific Publishing Company, World Scientific Publishing Company, Produktgruppe: Book, Publiziert: 2002-06-15, Studio: World Scientific Publishing Company, Verkaufsrang: 8037282
More…
Keywords: Ada, Ajax, Assembly Language Programming, Borland Delphi, C & C++, C#, Compiler Design, Compilers, CSS, Debugging, DHTML, Fortran, Java, Lisp, Perl, Prolog, Python, RPG, Ruby, Visual Basic, Visual C++, XHTML, XML, XSL, Books, Computers & Technology, Languages & Tools, Business, E-mail, Mathematical & Statistical, Natural Language Processing, Optical Character Recognition, Personal Finance, Voice Recognition, Software, Almanacs & Yearbooks, Atlases & Maps, Careers, Catalogs & Directories, Consumer Guides, Dictionaries & Thesauruses, Encyclopedias & Subject Guides, English as a Second Language, Etiquette, Foreign Language Study & Reference, Genealogy, Quotations, Survival & Emergency Preparedness, Test Preparation, Words, Language & Grammar, Writing, Research & Publishing Guides, Specialty Boutique, New, Used & Rental Textbooks, Computer Science, Programming Languages
Data from 08/07/2014 07:34h
ISBN (alternative notations): 981-02-2566-0, 978-981-02-2566-7
Archive entry:
9789810225667 - Shyamasundar, R. K. Ramesh, S.: Real Time Programming: Languages, Specification and Verification - Book

Shyamasundar, R. K. Ramesh, S. (?):

Real Time Programming: Languages, Specification and Verification (?)

Delivery from: GermanyGerman bookThis book is a hardcover book not a paperbackNew book
ISBN:

9789810225667 (?) or 9810225660

, in german, WORLD SCIENTIFIC PUB CO (, hardcover, New
Free shipping
The quintesssence of the monograph can be captured by the following question: how can we design and develop robust reactive (real-time) programmes? We address this question in this monograph through the various underlying issues listed, such as characteristics of real-time/reactive programmes, reactive programming languages, verification and refinements.Versandfertig in über 4 Wochen, hardcover
Data from 08/07/2014 07:34h
ISBN (alternative notations): 981-02-2566-0, 978-981-02-2566-7
Archive entry:
9789810225667 - Real Time Programming: Languages, Specification and Verification (Hardback) - Book

Real Time Programming: Languages, Specification and Verification (Hardback) (2010) (?)

Delivery from: GermanyThis book is a hardcover book not a paperbackNew book
ISBN:

9789810225667 (?) or 9810225660

, unknown language, World Scientific Publishing Co Pte Ltd, Singapore, hardcover, New
Free shipping
Brand New Book. The primary aim of this monograph is to present the current research efforts that have gone into, or are going on in, the systematic design of real-time programmes. 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 programmes. 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 quintesssence of the monograph can be captured by the following question: how can we design and develop robust reactive (real-time) programmes? We address this question in this monograph through the various underlying issues listed, such as characteristics of real-time/reactive programmes, reactive programming languages, verification and refinements.
More…
Data from 08/07/2014 07:34h
ISBN (alternative notations): 981-02-2566-0, 978-981-02-2566-7
Archive entry:
9789810225667 - -: Real Time Programming: Languages, Specification and Verification - Book

-:

Real Time Programming: Languages, Specification and Verification (2001) (?)

Delivery from: FranceBook is in english languageUsed book, not a new book.
ISBN:

9789810225667 (?) or 9810225660

, in english, 600 pages, World Scientific Publishing Co Pte Ltd, Used
Expédition sous 1 à 2 jours ouvrés
Real Time Programming: Languages, Specification and Verification The aim of this text is to present research efforts that have gone into, or are going on in, the systematic design of real-time programs. It does this by examining such areas as the characteristics of real-time/reactive programs, reactive programming languages, verification and refinements. Relié, Label: World Scientific Publishing Co Pte Ltd, World Scientific Publishing Co Pte Ltd, Produktgruppe: Book, Publiziert: 2001-12-31, Studio: World Scientific Publishing Co Pte Ltd
Keywords: Livres anglais et étrangers, Computers & Internet, Programming, Languages & Tools
Data from 07/06/2015 04:59h
ISBN (alternative notations): 981-02-2566-0, 978-981-02-2566-7

9789810225667

Find all available books for your ISBN number 9789810225667 compare prices fast and easily and order immediatly.

Available rare books, used books and second hand books of the title "Real Time Programming: Languages, Specification and Verification (Hardcover)" from SHYAMASUNDAR R K ET AL, Editor: R.K. Shyamasundar, Editor: S. Ramesh are completely listed.

wilde tiere häkeln poster esoterik