[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:
0-470-06462-5
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 1,548,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] Handbook of Perception and Action: Perception
[1825 days] Handbook of Perception and Action: Perception

This volume combines the classical fields of perception research with the major theoretical attitude..

5,207,000 VNĐ

New
[150 days] High-Technology Crime Investigator's Handbook: Establishing and Managing a High-Technology Crime Prevention Program
[150 days] High-Technology Crime Investigator's Handbook: Establishing and Managing a High-Technology Crime Prevention Program

The high-technology crime investigator's profession is one of the fastest growing professions in the..

585,000 VNĐ

New
[30 days] Polymer Synthesis and Characterization: A Laboratory Manual
[30 days] Polymer Synthesis and Characterization: A Laboratory Manual

This laboratory manual covers important techniques for polymer synthesis and characterization, and p..

871,500 VNĐ

New
[1825 days] Olefin Metathesis and Metathesis Polymerization
[1825 days] Olefin Metathesis and Metathesis Polymerization

This book is a follow-up to Ivins Olefin Metathesis, (Academic Press, 1983). Bringing the standard t..

4,826,000 VNĐ

New
[1825 days] Advances in Genetics
[1825 days] Advances in Genetics

Advances in Genetics presents an eclectic mix of articles of use to all human and molecular genetici..

4,699,000 VNĐ

New
[1825 days] Autobiography, by Benvenuto Cellini
[1825 days] Autobiography, by Benvenuto Cellini

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

38,000 VNĐ

New
[1825 days] Introduction to Quantitative EEG and Neurofeedback
[1825 days] Introduction to Quantitative EEG and Neurofeedback

Neurofeedback techniques are used as treatment for a variety of psychological disorders including at..

3,200,500 VNĐ

New
[1825 days] Uncle Josh Weatherby's
[1825 days] Uncle Josh Weatherby's "Punkin Centre Stories"

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

38,000 VNĐ

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