Verification of Sequential and Concurrent Programs by Krzysztof R. Apt - Hardback

Verification of Sequential and Concurrent Programs by Krzysztof R. Apt - Hardback

AED0.00
(0) Write a Review
SKU:
9781848827448
UPC:
9781848827448

Product Description

ISBN: 9781848827448
TITLE: Verification of Sequential and Concurrent Programs
AUTHOR: Krzysztof R. Apt
PUBLISHER: Springer London Ltd
PUBLISHER DATE: 14 Oct 2010

Other Details

ISBN:
9781848827448
Author:
Krzysztof R. Apt
Publisher:
Springer London Ltd
Publisher Date:
Published:14 Oct 2010
Book Format:
Hardback

Related Products

Popular Trending Products