Concurrency theory calculi and automata for modelling untimed and timed concurrent systems

Saved in:
Bibliographic Details
Format: eBook
Language: English
Published: London : Springer, 2006
Subjects:
softwarové inženýrství
paralelní programování
teorie strojů
elektronické knihy
ISBN: 9781852338954
978-1-84628-336-9
Physical Description: 435 s. : il.

Cover

Table of contents

LEADER 01284cam a2200373 4500
001 50927
003 CZ ZlUTB
005 20240911205835.0
006 m-----o--d--------
007 cr-|n-
008 041125s2006 xxk | u eng d
999 |c 50927  |d 50927 
020 |a 9781852338954 
020 |a 978-1-84628-336-9 
024 7 |a 10.1007/1-84628-336-1  |2 doi 
040 |a DDB  |b cze  |d ZLD002  |d SzZuIDS NEBIS ETH-BIB 
072 7 |a 004.4/.6  |x Programování. Software  |2 Konspekt  |9 23 
080 |a 531.8  |2 MRF 
080 |a 004.42.032.24  |2 MRF 
080 |a 004.41  |2 MRF 
245 0 0 |a Concurrency theory  |h [elektronický zdroj] :  |b calculi and automata for modelling untimed and timed concurrent systems /  |c Howard Bowman, Rodolfo Gomez 
260 |a London :  |b Springer,  |c 2006 
300 |a 435 s. :  |b il. 
500 |a Obsahuje rejstřík. 
538 |a Způsob přístupu: WWW 
650 0 7 |a softwarové inženýrství  |7 ph125825  |2 czenas 
650 0 7 |a paralelní programování  |7 ph115669  |2 czenas 
650 0 7 |a teorie strojů  |7 ph135434  |2 czenas 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
856 4 1 |u https://proxy.k.utb.cz/login?url=https://doi.org/10.1007/1-84628-336-1  |y Plný text 
910 |a ZLD002 
942 |2 udc 
992 |a ER  |c SPRINGER 
993 |x NEPOSILAT  |y EIZ 

Similar Items