[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:
0470064625R90
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,084,000 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] Vitamins and Hormones

First published in 1943, Vitamins and Hormones is the longest-running serial published by Academic P..

5,461,000 VNĐ

New
[1825 days] The Essence of Mathematics

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

38,000 VNĐ

New
[150 days] Clinical Assessment and Intervention for Autism Spectrum Disorders

Autism spectrum disorder has received increasing research in recent years, with more information on ..

795,500 VNĐ

New
[150 days] Nanomaterials, Nanotechnologies and Design: An Introduction for Engineers and Architects

How could nanotechnology not perk the interest of any designer, engineer or architect? Exploring the..

910,000 VNĐ

New
[1825 days] Redox Cell Biology and Genetics, Part B

The critically acclaimed laboratory standard for more than forty years, Methods in Enzymology is one..

5,080,000 VNĐ

New
[1825 days] VITAMINS AND HORMONES V27

VITAMINS AND HORMONES V27..

1,853,000 VNĐ

New
[1825 days] Vitamins and Hormones: Steroids

Steroids is a thematic volume from the classic Academic Press series, Vitamins and Hormones. Gerald ..

1,853,000 VNĐ

0898536989