[1825 days] Concurrency: State Models and Java Programs
[1825 days] Concurrency: State Models and Java Programs [1825 days] Concurrency: State Models and Java Programs

[1825 days] Concurrency: State Models and Java Programs

0 đánh giá

CHI TIẾT SẢN PHẨM

Mã sản phẩm:
0470064625R150
Tồn kho:
Còn hàng
Danh mục
Mua eTextbooks trực tuyến
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


Special Price 660,500 VNĐ

Còn VNĐ nữa bạn sẽ được miễn phí giao hàngTìm hiểu thêm

Mua hàng số lượng lớn

Thời gian giao hàng Xem thêm

Chính sách đổi trả Xem thêm

Số lượng

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.

   

Sản phẩm liên quan

New
[1825 days] Neuropeptide Y and Drug Development
[1825 days] Neuropeptide Y and Drug Development

Neuropeptide Y (NPY) is a ubiquitous and important messenger in the nervous system, with a wide rang..

4,699,000 VNĐ

New
[1825 days] Three Dimensional Surface Topography
[1825 days] Three Dimensional Surface Topography

This fully illustrated text explains the basic measurement techniques, describes the commercially av..

5,207,000 VNĐ

New
[1825 days] ADVANCES IN APPLIED MECHANICS VOLUME 14
[1825 days] ADVANCES IN APPLIED MECHANICS VOLUME 14

ADVANCES IN APPLIED MECHANICS VOLUME 14..

1,853,000 VNĐ

New
[1825 days] Euthyphron
[1825 days] Euthyphron

Socrates, on trial for not believing in the gods of Athens (or impiety) and introducing new gods to ..

38,000 VNĐ

New
[1825 days] INTERNATIONAL REVIEW OF CYTOLOGY V120
[1825 days] INTERNATIONAL REVIEW OF CYTOLOGY V120

INTERNATIONAL REVIEW OF CYTOLOGY V120..

1,853,000 VNĐ

New
[1825 days] ADVANCES IN COMPUTERS VOL 34
[1825 days] ADVANCES IN COMPUTERS VOL 34

ADVANCES IN COMPUTERS VOL 34..

1,853,000 VNĐ

New
[30 days] Bioinformatics: Managing Scientific Data
[30 days] Bioinformatics: Managing Scientific Data

Life science data integration and interoperability is one of the most challenging problems facing bi..

1,005,500 VNĐ

New
[1825 days] ADVANCES IN CARBOHYDRATE CHEMISTRY VOL16
[1825 days] ADVANCES IN CARBOHYDRATE CHEMISTRY VOL16

ADVANCES IN CARBOHYDRATE CHEMISTRY VOL16..

1,853,000 VNĐ

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