Concurrency: state models & Java programs
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Chichester
Wiley
2006
|
| Ausgabe: | 2. ed. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Hier auch später erschienene, unveränderte Nachdrucke |
| Beschreibung: | XVIII, 413 S. Ill., graph. Darst. |
| ISBN: | 0470093552 9780470093559 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021839892 | ||
| 003 | DE-604 | ||
| 005 | 20140321 | ||
| 007 | t | ||
| 008 | 061205s2006 xxkad|| |||| 00||| eng d | ||
| 010 | |a 2006004540 | ||
| 020 | |a 0470093552 |c cloth : alk. paper |9 0-470-09355-2 | ||
| 020 | |a 9780470093559 |9 978-0-470-09355-9 | ||
| 035 | |a (OCoLC)249452371 | ||
| 035 | |a (DE-599)BVBBV021839892 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c GB | ||
| 049 | |a DE-739 |a DE-11 |a DE-473 | ||
| 050 | 0 | |a QA76.642 | |
| 082 | 0 | |a 005.2/75 | |
| 082 | 0 | |a 005.2752 |2 22 | |
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 100 | 1 | |a Magee, Jeff |d 1952- |e Verfasser |0 (DE-588)1026705452 |4 aut | |
| 245 | 1 | 0 | |a Concurrency |b state models & Java programs |c Jeff Magee; Jeff Kramer |
| 250 | |a 2. ed. | ||
| 264 | 1 | |a Chichester |b Wiley |c 2006 | |
| 300 | |a XVIII, 413 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Hier auch später erschienene, unveränderte Nachdrucke | ||
| 650 | 4 | |a Parallel programming (Computer science) | |
| 650 | 4 | |a Java (Computer program language) | |
| 650 | 0 | 7 | |a Java |g Programmiersprache |0 (DE-588)4401313-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Multithreading |0 (DE-588)4377481-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 1 | 1 | |a Multithreading |0 (DE-588)4377481-7 |D s |
| 689 | 1 | 2 | |a Java |g Programmiersprache |0 (DE-588)4401313-9 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 689 | 2 | 0 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 2 | 1 | |a Java |g Programmiersprache |0 (DE-588)4401313-9 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Kramer, Jeff |d 1949- |e Sonstige |0 (DE-588)1026705991 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015051761&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015051761 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804135774193451008 |
|---|---|
| adam_text | Preface
xiii
Acknowledgments
xvii
1
Introduction
1
1.1
Concurrent Programs
2
1.2
The Modeling Approach
4
1.3
Practice
7
1.4
Content Overview
8
Summary
9
Notes and Further Reading
9
2
Processes and Threads
11
2.1
Modeling Processes
11
2.2
Implementing Processes
23
Summary
31
Notes and Further Reading
31
Exercises
32
3
Concurrent Execution
37
3.1
Modeling Concurrency
38
3.2
Multi-Threaded Programs
52
Summary
59
Notes and Further Reading
59
Exercises
60
4
Shared Objects and Mutual Exclusion
63
4.1
Interference
63
4.2
Mutual Exclusion in Java
71
4.3
Modeling Mutual Exclusion
73
Summary
77
Notes and Further Reading
77
Exercises
78
5
Monitors and Condition Synchronization
79
5.1
Condition Synchronization
79
5.2
Semaphores
86
5.3
Bounded Buffers
93
5.4
Nested Monitors
97
5.5
Monitor Invariants
101
Summary
102
Notes and Further Reading
103
Exercises
104
6
Deadlock
107
6.1
Deadlock Analysis
108
6.2
Dining Philosophers Problem
112
Summary
119
Notes and Further Reading
120
Exercises
120
7
Safety and Liveness Properties
123
7.1
Safety
124
7.2
Single-Lane Bridge Problem
127
7.3
Liveness
135
7.4
Liveness of the Single-Lane Bridge
140
7.5
Readers-Writers Problem
146
Summary
155
Notes and Further Reading
156
Exercises
157
8
Model-Based Design
159
8.1
From Requirements to Models
160
8.2
From Models to Implementations
174
Summary
178
Notes and Further Reading
180
Exercises
181
9
Dynamic Systems
183
9.1
Golf Club Program
184
9.2
Golf Club Model
188
9.3
Fair Allocation
192
9.4
Revised Golf Ball Allocator
193
9.5
Bounded Overtaking
194
9.6
Bounded Overtaking Golf Ball Allocator
200
9.7
Master-Slave Program
202
9.8
Master-Slave Model
203
Summary
205
Notes and Further Reading
206
Exercises
208
10
Message Passing
209
10.1
Synchronous Message Passing
209
10.2
Asynchronous Message Passing
219
10.3
Rendezvous
225
Summary
232
Notes and Further Reading
233
Exercises
234
11
Concurrent Architectures
237
11.1
Filter Pipeline
237
11.2
Supervisor-Worker
250
11.3
Announcer-Listener
265
Summary
273
Notes and Further Reading
273
Exercises
274
12
Timed Systems
277
12.1
Modeling Timed Systems
278
12.2
Implementing Timed Systems
287
12.3
Parcel Router Problem
295
12.4
Space Invaders
306
Summary
315
Notes and Further Reading
317
Exercises
317
13
Program Verification
319
13.1
Sequential Processes
320
13.2
Modeling Condition Synchronization
322
13.3
Modeling Variables and Synchronized Methods
325
13.4
Bounded Buffer Example
328
13.5
Readers-Writers Example
334
Summary
340
Notes and Further Reading
341
Exercises
342
14
Logical Properties
345
14.1
Fluent Propositions
346
14.2
Temporal Propositions
348
14.3
Fluent Linear Temporal Logic (FLTL)
355
14.4
Database Ring Problem
358
Summary
364
Notes and Further Reading
365
Exercises
366
Appendix A FSP Quick Reference
367
A.I Processes
367
A.2 Composite Processes
368
A.3 Common Operators
368
A.4 Properties
369
A.5 Fluent Linear Temporal Logic (FLTL)
370
Appendix
В
FSP Language Specification
371
B.I FSP Description
372
B.2 Identifiers
372
B.3 Action Labels
373
B.4 const, range, set
374
B.5 Process Definition
375
B.6 Composite Process
378
B.7 Parameters
380
B.8 Re-Labeling and Hiding
381
B.9 property, progress and menu
382
B.10 Expression
383
B.ll Basic FSP
385
B.12 fluent and assert
386
Appendix
С
FSP Semantics
389
C.I Labeled Transition System
(LTS)
389
C.2 Processes
390
C.3 Composite Processes
391
C.4 Common Operators
393
C.5
Safety Properties
394
C.6 Semantic Equivalences
394
C.7 Fluent Linear Temporal Logic (FLTL)
395
Appendix
D UML
Class Diagrams
399
Bibliography
401
Index
407
|
| adam_txt |
Preface
xiii
Acknowledgments
xvii
1
Introduction
1
1.1
Concurrent Programs
2
1.2
The Modeling Approach
4
1.3
Practice
7
1.4
Content Overview
8
Summary
9
Notes and Further Reading
9
2
Processes and Threads
11
2.1
Modeling Processes
11
2.2
Implementing Processes
23
Summary
31
Notes and Further Reading
31
Exercises
32
3
Concurrent Execution
37
3.1
Modeling Concurrency
38
3.2
Multi-Threaded Programs
52
Summary
59
Notes and Further Reading
59
Exercises
60
4
Shared Objects and Mutual Exclusion
63
4.1
Interference
63
4.2
Mutual Exclusion in Java
71
4.3
Modeling Mutual Exclusion
73
Summary
77
Notes and Further Reading
77
Exercises
78
5
Monitors and Condition Synchronization
79
5.1
Condition Synchronization
79
5.2
Semaphores
86
5.3
Bounded Buffers
93
5.4
Nested Monitors
97
5.5
Monitor Invariants
101
Summary
102
Notes and Further Reading
103
Exercises
104
6
Deadlock
107
6.1
Deadlock Analysis
108
6.2
Dining Philosophers Problem
112
Summary
119
Notes and Further Reading
120
Exercises
120
7
Safety and Liveness Properties
123
7.1
Safety
124
7.2
Single-Lane Bridge Problem
127
7.3
Liveness
135
7.4
Liveness of the Single-Lane Bridge
140
7.5
Readers-Writers Problem
146
Summary
155
Notes and Further Reading
156
Exercises
157
8
Model-Based Design
159
8.1
From Requirements to Models
160
8.2
From Models to Implementations
174
Summary
178
Notes and Further Reading
180
Exercises
181
9
Dynamic Systems
183
9.1
Golf Club Program
184
9.2
Golf Club Model
188
9.3
Fair Allocation
192
9.4
Revised Golf Ball Allocator
193
9.5
Bounded Overtaking
194
9.6
Bounded Overtaking Golf Ball Allocator
200
9.7
Master-Slave Program
202
9.8
Master-Slave Model
203
Summary
205
Notes and Further Reading
206
Exercises
208
10
Message Passing
209
10.1
Synchronous Message Passing
209
10.2
Asynchronous Message Passing
219
10.3
Rendezvous
225
Summary
232
Notes and Further Reading
233
Exercises
234
11
Concurrent Architectures
237
11.1
Filter Pipeline
237
11.2
Supervisor-Worker
250
11.3
Announcer-Listener
265
Summary
273
Notes and Further Reading
273
Exercises
274
12
Timed Systems
277
12.1
Modeling Timed Systems
278
12.2
Implementing Timed Systems
287
12.3
Parcel Router Problem
295
12.4
Space Invaders
306
Summary
315
Notes and Further Reading
317
Exercises
317
13
Program Verification
319
13.1
Sequential Processes
320
13.2
Modeling Condition Synchronization
322
13.3
Modeling Variables and Synchronized Methods
325
13.4
Bounded Buffer Example
328
13.5
Readers-Writers Example
334
Summary
340
Notes and Further Reading
341
Exercises
342
14
Logical Properties
345
14.1
Fluent Propositions
346
14.2
Temporal Propositions
348
14.3
Fluent Linear Temporal Logic (FLTL)
355
14.4
Database Ring Problem
358
Summary
364
Notes and Further Reading
365
Exercises
366
Appendix A FSP Quick Reference
367
A.I Processes
367
A.2 Composite Processes
368
A.3 Common Operators
368
A.4 Properties
369
A.5 Fluent Linear Temporal Logic (FLTL)
370
Appendix
В
FSP Language Specification
371
B.I FSP Description
372
B.2 Identifiers
372
B.3 Action Labels
373
B.4 const, range, set
374
B.5 Process Definition
375
B.6 Composite Process
378
B.7 Parameters
380
B.8 Re-Labeling and Hiding
381
B.9 property, progress and menu
382
B.10 Expression
383
B.ll Basic FSP
385
B.12 fluent and assert
386
Appendix
С
FSP Semantics
389
C.I Labeled Transition System
(LTS)
389
C.2 Processes
390
C.3 Composite Processes
391
C.4 Common Operators
393
C.5
Safety Properties
394
C.6 Semantic Equivalences
394
C.7 Fluent Linear Temporal Logic (FLTL)
395
Appendix
D UML
Class Diagrams
399
Bibliography
401
Index
407 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Magee, Jeff 1952- |
| author_GND | (DE-588)1026705452 (DE-588)1026705991 |
| author_facet | Magee, Jeff 1952- |
| author_role | aut |
| author_sort | Magee, Jeff 1952- |
| author_variant | j m jm |
| building | Verbundindex |
| bvnumber | BV021839892 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.642 |
| callnumber-search | QA76.642 |
| callnumber-sort | QA 276.642 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 250 |
| ctrlnum | (OCoLC)249452371 (DE-599)BVBBV021839892 |
| dewey-full | 005.2/75 005.2752 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.2/75 005.2752 |
| dewey-search | 005.2/75 005.2752 |
| dewey-sort | 15.2 275 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| edition | 2. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02313nam a2200577zc 4500</leader><controlfield tag="001">BV021839892</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140321 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">061205s2006 xxkad|| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2006004540</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0470093552</subfield><subfield code="c">cloth : alk. paper</subfield><subfield code="9">0-470-09355-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780470093559</subfield><subfield code="9">978-0-470-09355-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)249452371</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021839892</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxk</subfield><subfield code="c">GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.642</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.2/75</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.2752</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Magee, Jeff</subfield><subfield code="d">1952-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1026705452</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Concurrency</subfield><subfield code="b">state models & Java programs</subfield><subfield code="c">Jeff Magee; Jeff Kramer</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Chichester</subfield><subfield code="b">Wiley</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 413 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Hier auch später erschienene, unveränderte Nachdrucke</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Java (Computer program language)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Java</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4401313-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Multithreading</subfield><subfield code="0">(DE-588)4377481-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Multithreading</subfield><subfield code="0">(DE-588)4377481-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Java</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4401313-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Java</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4401313-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kramer, Jeff</subfield><subfield code="d">1949-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1026705991</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015051761&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015051761</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV021839892 |
| illustrated | Illustrated |
| index_date | 2024-07-02T16:00:06Z |
| indexdate | 2024-07-09T20:45:50Z |
| institution | BVB |
| isbn | 0470093552 9780470093559 |
| language | English |
| lccn | 2006004540 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015051761 |
| oclc_num | 249452371 |
| open_access_boolean | |
| owner | DE-739 DE-11 DE-473 DE-BY-UBG |
| owner_facet | DE-739 DE-11 DE-473 DE-BY-UBG |
| physical | XVIII, 413 S. Ill., graph. Darst. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Wiley |
| record_format | marc |
| spelling | Magee, Jeff 1952- Verfasser (DE-588)1026705452 aut Concurrency state models & Java programs Jeff Magee; Jeff Kramer 2. ed. Chichester Wiley 2006 XVIII, 413 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Hier auch später erschienene, unveränderte Nachdrucke Parallel programming (Computer science) Java (Computer program language) Java Programmiersprache (DE-588)4401313-9 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf Multithreading (DE-588)4377481-7 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 s DE-604 Nebenläufigkeit (DE-588)4115352-2 s Multithreading (DE-588)4377481-7 s Java Programmiersprache (DE-588)4401313-9 s 1\p DE-604 Kramer, Jeff 1949- Sonstige (DE-588)1026705991 oth Digitalisierung UB Passau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015051761&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Magee, Jeff 1952- Concurrency state models & Java programs Parallel programming (Computer science) Java (Computer program language) Java Programmiersprache (DE-588)4401313-9 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Multithreading (DE-588)4377481-7 gnd |
| subject_GND | (DE-588)4401313-9 (DE-588)4115352-2 (DE-588)4075860-6 (DE-588)4377481-7 |
| title | Concurrency state models & Java programs |
| title_auth | Concurrency state models & Java programs |
| title_exact_search | Concurrency state models & Java programs |
| title_exact_search_txtP | Concurrency state models & Java programs |
| title_full | Concurrency state models & Java programs Jeff Magee; Jeff Kramer |
| title_fullStr | Concurrency state models & Java programs Jeff Magee; Jeff Kramer |
| title_full_unstemmed | Concurrency state models & Java programs Jeff Magee; Jeff Kramer |
| title_short | Concurrency |
| title_sort | concurrency state models java programs |
| title_sub | state models & Java programs |
| topic | Parallel programming (Computer science) Java (Computer program language) Java Programmiersprache (DE-588)4401313-9 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Multithreading (DE-588)4377481-7 gnd |
| topic_facet | Parallel programming (Computer science) Java (Computer program language) Java Programmiersprache Nebenläufigkeit Parallelverarbeitung Multithreading |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015051761&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT mageejeff concurrencystatemodelsjavaprograms AT kramerjeff concurrencystatemodelsjavaprograms |