ordre partiel # concurrence # système asynchrone # algèbre de processus # jeu # système infini # automate probabiliste # HMSC # sécurité # mobilité # temps réel # modèle probabiliste # langage de programmation # technique de programmation # réseau

Publisher City : Berlin ; Heidelberg ; N.Y.

Publisher country : Allemagne

Language : English

EAN13 : 9783540407539

ISBN : 3-540-40753-7

Collation : 24 cm#broch. ; Bibliogr. ; Index

Series : Lecture notes in computer science

Nb in series : 2761

Location : Collection 1er étage

Event Number : 14

Event Year : 2003

City of congres : Marseille

Country of congres : France

ACM code : C.2 ; D.1 ; D.3 ; F.1 ; F.3

Conference type : Congrès

Availability : empruntable

Level of authorization : Public

Copies