Advances in Petri nets 1992
analyse d'algorithme # architecture de processeur # calcul par dispositif abstrait # complexité # infor matique théorique # informatique théorique # logique des programmes # modélisation # réseau d'ordinateur # réseau de Pétri # signification des programmes # simulation # système d'exploitation
Publisher City : Heidelberg ; N.Y. ; Paris
Publisher country : France
Language : English
EAN13 : 9783540556107
ISBN : 3-540-55610-9
Collation : Bibliogr. ; fig.#24 cm#broch.
Series : Lecture notes in computer science
Nb in series : 0609
Location : Collection 1er étage
ACM code : C.1.2 ; D.4 ; F.1.3 ; I.6
Book type : Anonyme
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00015264 | [available] |