|
|
|
|
| LEADER |
01670cam a22005177a 4500 |
| 001 |
BIBLO-39149 |
| 003 |
AR-BaUEN |
| 005 |
20231215155412.0 |
| 008 |
080409s2006 xxk||||f |||| 00| 0|eng|d |
| 040 |
|
|
|a AR-BaUEN
|b spa
|c AR-BaUEN
|
| 020 |
|
|
|a 9780470093559
|
| 044 |
|
|
|a xxk
|
| 080 |
|
|
|a 681.363
|
| 100 |
1 |
|
|a Magee, Jeff
|
| 245 |
1 |
0 |
|a Concurrency :
|b state models and Java programs
|
| 260 |
|
|
|a Chichester :
|b John Wiley,
|c 2006
|
| 300 |
|
|
|a xviii, 413 p.
|
| 505 |
0 |
0 |
|t Preface
|
| 505 |
0 |
0 |
|t Acknowledgments
|
| 505 |
0 |
0 |
|g 1
|t Introduction
|
| 505 |
0 |
0 |
|g 2
|t Processes and Threads
|
| 505 |
0 |
0 |
|g 3
|t Concurrent Execution
|
| 505 |
0 |
0 |
|g 4
|t Shared Objects and Mutual Exclusion
|
| 505 |
0 |
0 |
|g 5
|t Monitors and Condition Synchronization
|
| 505 |
0 |
0 |
|g 6
|t Deadlock
|
| 505 |
0 |
0 |
|g 7
|t Safety and Liveness Properties
|
| 505 |
0 |
0 |
|g 8
|t Model-Based Desing
|
| 505 |
0 |
0 |
|g 9
|t Dynamic Systems
|
| 505 |
0 |
0 |
|g 10
|t Message Passing
|
| 505 |
0 |
0 |
|g 11
|t Concurrent Architectures
|
| 505 |
0 |
0 |
|g 12
|t Timed Systems
|
| 505 |
0 |
0 |
|g 13
|t Program Verification
|
| 505 |
0 |
0 |
|g 14
|t Logical Properties
|
| 505 |
0 |
0 |
|g Appendix A
|t FSP Quick Reference
|
| 505 |
0 |
0 |
|g Appendix B
|t FSP Language Specification
|
| 505 |
0 |
0 |
|g Appendix C
|t FSP Semantics
|
| 505 |
0 |
0 |
|g Appendix D
|t UML Class Diagrams
|
| 505 |
0 |
0 |
|t Bibliography
|
| 505 |
0 |
0 |
|t Index
|
| 653 |
1 |
0 |
|a PROGRAMACION PARALELA
|
| 653 |
1 |
0 |
|a PROGRAMACION CONCURRENTE
|
| 653 |
1 |
0 |
|a JAVA (LENGUAJE DE PROGRAMACION)
|
| 650 |
1 |
7 |
|2 spines
|a LENGUAJES DE PROGRAMACION
|
| 700 |
1 |
|
|a Kramer, Jeff
|
| 931 |
|
|
|a DC
|b INGENIERIA DE SOFTWARE
|
| 962 |
|
|
|a info:eu-repo/semantics/book
|a info:ar-repo/semantics/libro
|b info:eu-repo/semantics/publishedVersion
|