SÁCH THẬT - TRI THỨC THẬT CÙNG BOOKMEDI.VN

[150 days] Concurrency: State Models and Java Programs

[150 days] Concurrency: State Models and Java Programs
[150 days] Concurrency: State Models and Java Programs
Mã sản phẩm:
0470064625R150
Nhà xuất bản:
Wiley Global Education UK
Loại bìa:
ePub
Ngôn ngữ:
English
Tác giả:
Jeff Magee; Jeff Kramer
Thuê hoặc mua eTextbook
90 ngày
1.084.000 VND
150 ngày
660.500 VND
180 ngày
1.634.500 VND
1825 ngày
1.548.500 VND

Hết hạn vào: 2026-05-23

660.500 VND

Concurrency provides a thoroughly updated approach to the basic concepts and techniques behind concurrent programming. Concurrent programming is complex and demands a much more formal approach than sequential programming. In order to develop a thorough understanding of the topic Magee and Kramer present concepts, techniques and problems through a variety of forms: informal descriptions, illustrative examples, abstract models and concrete Java examples. These combine to provide problem patterns and associated solution techniques which enable students to recognise problems and arrive at solutions.

New features include:

  • New chapters covering program verification and logical properties.
  • More student exercises.
  • Supporting website contains an updated version of the LTSA tool for modelling concurrency, model animation, and model checking.
  • Website also includes the full set of state models, java examples, and demonstration programs and a comprehensive set of overhead slides for course presentation.

   

Đang cập nhật
Liên kết:

Wiley Global Education UK

Sản phẩm cùng chủ đề

New
[150 days] Constraint Processing
[150 days] Constraint Processing

Constraint satisfaction is a simple but powerful tool. Constraints identify the impossible and reduc..

1,052,000 VNĐ

New
[1825 days] Chaplinsky v. New Hampshire, 315 U.S. 568
[1825 days] Chaplinsky v. New Hampshire, 315 U.S. 568

This title is from the Hayes Barton Press "Originals" series, a collection of classic fiction and no..

38,000 VNĐ

New
[180 days] Bloodstain Pattern Evidence: Objective Approaches and Case Applications
[180 days] Bloodstain Pattern Evidence: Objective Approaches and Case Applications

In Bloodstain Pattern Evidence, the concepts introduced in the author's first book, Blood Dynamics, ..

1,326,000 VNĐ

New
[1825 days] Rust v. Sullivan , 500 U.S. 173
[1825 days] Rust v. Sullivan , 500 U.S. 173

This title is from the Hayes Barton Press "Originals" series, a collection of classic fiction and no..

38,000 VNĐ

New
[1825 days] Column Handbook for Size Exclusion Chromatography
[1825 days] Column Handbook for Size Exclusion Chromatography

Column Handbook for Size Exclusion Chromatography is the first comprehensive reference to provide ev..

5,207,000 VNĐ

New
[1825 days] Magnetic Imaging and Its Applications to Materials
[1825 days] Magnetic Imaging and Its Applications to Materials

Volume 36 provides an extensive introduction to magnetic imaging,including theory and practice, uti..

5,969,000 VNĐ

New
[1825 days] Handbook of Differential Equations: Ordinary Differential Equations: Ordinary Differential Equations
[1825 days] Handbook of Differential Equations: Ordinary Differential Equations: Ordinary Differential Equations

This handbook is the fourth volume in a series of volumes devoted to self-contained and up-to-date s..

5,207,000 VNĐ

New
[1825 days] Handbook of Hope: Theory, Measures, and Applications
[1825 days] Handbook of Hope: Theory, Measures, and Applications

Hope has previously been a construct more of interest to philosophy and religion than in psychology...

3,099,000 VNĐ

Trang chủ
Tài khoản
Giỏ hàng
Thanh toán