|
|
|
|
| LEADER |
01671cam a2200409 4500 |
| 001 |
PPN046261117 |
| 005 |
20191203020800.0 |
| 010 |
|
|
|a 0-471-98710-7
|b rel.
|
| 020 |
|
|
|a US
|b 9851717
|
| 020 |
|
|
|a GB
|b 99-27501
|
| 035 |
|
|
|a ocm40331340
|
| 035 |
|
|
|z ocm41213523
|
| 100 |
|
|
|a 19981110d1999 k y0frey0103 ba
|
| 101 |
0 |
|
|a eng
|
| 102 |
|
|
|a GB
|
| 105 |
|
|
|a a a 001yy
|
| 106 |
|
|
|a r
|
| 200 |
1 |
|
|a Concurrency
|b Texte imprimé
|e state models & Java programs
|f Jeff Magee and Jeff Kramer, ...
|
| 210 |
|
|
|a Chichester [England]
|a New York
|a Weinheim [etc.]
|c J. Wiley & sons
|d cop. 1999
|
| 215 |
|
|
|a XIII-355 p.
|c ill. en coul.
|d 25 cm
|e 1 cédérom
|
| 225 |
2 |
|
|a Worldwide series in computer science
|
| 303 |
|
|
|a Le CD-ROM contient : the software analysis tools for modeling concurrency, model animation and model checking; the full set of stat models, Java examples and demonstration programs; and a comprehensive series of overhead slides for course presentation
|
| 305 |
|
|
|a Réimpr. en 2000, 2002, 2003
|
| 320 |
|
|
|a Bibliogr. p.[345]-348. Index
|
| 410 |
|
| |
|0 053138872
|t Worldwide series in computer science
|
| 606 |
|
|
|3 PPN027701603
|a Programmation parallèle (informatique)
|2 rameau
|
| 606 |
|
|
|3 PPN034591966
|a Java (langage de programmation)
|2 rameau
|
| 676 |
|
|
|a 005.275 2
|v 21
|
| 680 |
|
|
|a QA76.642
|b .M34 1999
|
| 700 |
|
1 |
|3 PPN070522863
|a Magee
|b Jeff
|f 1949-....
|4 070
|
| 701 |
|
1 |
|3 PPN03289676X
|a Kramer
|b Jeff
|f 1949-....
|4 070
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20050525
|g AFNOR
|
| 801 |
|
1 |
|a US
|b OCLC
|c 20050525
|g AACR2
|
| 801 |
|
2 |
|a FR
|b AUROC
|c 20050525
|g AFNOR
|
| 930 |
|
|
|5 441092104:248014013
|b 441092104
|a 681.311 MAG
|j u
|
| 979 |
|
|
|a IUTN
|
| 998 |
|
|
|a 420242
|
Nantilus
