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 2892855 obálek a 873897 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.

Registrovat »    Zapomenuté heslo?

Concurrent Systems: Formal Development in Csp (The Mcgraw-Hill International Series in Software Engineering)

Rok: 1995
ISBN: 9780077076498
OKCZID: 110365918

Citace (dle ČSN ISO 690):
JARVIS, Stephen A. Concurrent systems: formal development in CSP. London: McGraw-Hill Book Company, c1995. xiii, 181 s.


Anotace

Upravit anotaci
 

Offering an up-to-date and practical treatment of concurrent systems, this is a practical reference manual and convenient introduction for students and practitioners using and implementing the formal specification language CSP in the specification and verification of complex, real-time and distributed systems.


Dostupné zdroje

Amazon


Přidat komentář a hodnocení

Od: (127.0.0...)