Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3152121 obálek a 950676 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Concurrent and Real-time Systems: The CSP Approach
Rok: 1999
ISBN: 9780471623731
OKCZID: 110092594
Citace (dle ČSN ISO 690):
SCHNEIDER, Steve. Concurrent and real-time systems: the CSP approach. Chichester: John Wiley & Sons, c2000. xv, 510 s. Worldwide series in computer science.
Hodnocení:
5.0 / 5
(6 hlasů)
Anotace
The CSP approach has been widely used in the specification, analysis and verification of concurrent and real-time systems, and for understanding the particular issues that can arise when concurrency is present. It provides a language which enables specifications and designs to be clearly expressed and understood, together with a supporting theory which allows them to be analysed and shown to be correct. This book supports advanced level courses on concurrency covering timed and untimed CSP. The first half introduces the language of CSP, the primary semantic models (traces, failures, divergences and infinite traces), and their use in the modelling, analysis and verification of concurrent systems. The second half of the book introduces time into the language, brings in the timed semantic model (timed failures) and finally presents the theory of timewise refinement which links the two halves together. Authors Website containing:Exercises and solutionsInstructors resourcesExample CSP programs to run on FDR and ProBeLinks to useful sites