Nantilus
Concurrency : state models & Java programs
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Concurrency : state models & Java programs / Jeff Magee and Jeff Kramer, ... |
| Publié : |
Chichester [England], New York, Weinheim [etc.] :
J. Wiley & sons
, cop. 1999 |
| Description matérielle : | XIII-355 p. + 1 cédérom |
| Collection : | Worldwide series in computer science |
| Sujets : |
| Notes : | 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 |
|---|---|
| Historique des publications : | Réimpr. en 2000, 2002, 2003 |
| Bibliographie : | Bibliogr. p.[345]-348. Index |
| ISBN : | 0-471-98710-7 |