[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

CHI TIẾT SẢN PHẨM

Mã sản phẩm:
0470064625R180
Tồn kho:
Còn hàng
Nhà xuất bản:
Loại bìa:
ePub
Ngôn ngữ:
English
Tác giả:
Jeff Magee; Jeff Kramer


Special Price 1,634,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] Nutritional Biochemistry

Nutritional Biochemistry takes a scientific approach to nutrition. It covers not just "whats"--nutri..

3,327,500 VNĐ

New
[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] The Suppliant Maidens

The fifty daughters of Danaus flee to Argos to escape marriage to their cousins, the sons of the kin..

38,000 VNĐ

New
[1825 days] Intelligent Systems for Information Processing: From Representation to Applications: From Representation to Applications

Intelligent systems are required to enhance the capacities being made available to us by the interne..

3,226,000 VNĐ

New
[1825 days] Neutrino Physics and Astrophysics

The scientific program of these important proceedings was arranged to cover most of the field of neu..

4,699,000 VNĐ

New
[1825 days] Agammemnon

The first drama in Aeschylus's trilogy Oresteia, opens with the return of Agememnon from the Trojan ..

38,000 VNĐ

New
[1825 days] Advances in Cancer Research

This latest volume of the biannual serial continues rapid, current coverage of all aspect of the mol..

1,853,000 VNĐ

New
[1825 days] Philosophy of Physics

The ambition of this volume is twofold: to provide a comprehensive overview of the field and to serv..

6,985,000 VNĐ

0898536989