Related Books
Language: en
Pages: 387
Pages: 387
Type: BOOK - Published: 2011-04-07 - Publisher: Cambridge University Press
The arrival and popularity of multi-core processors has sparked a renewed interest in the development of parallel programs. Similarly, the availability of low-c
Language: en
Pages: 461
Pages: 461
Type: BOOK - Published: 2005* - Publisher:
Ada is the only ISO-standard, concurrent, real-time programming language. It is intended for use in big, long-lived applications where reliability & efficiency
Language: en
Pages: 511
Pages: 511
Type: BOOK - Published: 2009-03-31 - Publisher: Springer Science & Business Media
Ada is the programming language of choice for high integrity software systems and is used extensively in industries such as transportation and aerospace. Specia
Language: en
Pages: 408
Pages: 408
Type: BOOK - Published: 1993 - Publisher: Addison Wesley Publishing Company
This book provides a hands-on introduction to concurrent programming principles and techniques. Pascal FC (Functionally Concurrent), a teaching version of the P
Language: en
Pages: 383
Pages: 383
Type: BOOK - Published: 2015-08-31 - Publisher: Cambridge University Press
This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.
