HOL-CSP: MECHANISED FORMAL DEVELOPMENT OF CONCURRENT PROCESSES

Name: HOL-CSP: MECHANISED FORMAL DEVELOPMENT OF CONCURRENT PROCESSES
Brand: Logos Berlin
Availability: OutOfStock
Rating: 5 (1 reviews)

By Haykal Tej

- Default Title

Description

mechanised formal devlopment mof concurrent processes 1., Aufl. 2003 156 S. Taschenbuch Logos Berlin,

Product details

Binding:

Paperback

Edition:

1

Number of Pages:

156

Release Date:

2003-08-10

Publication Date:

2003-08-10

Publisher:

Logos Berlin

Languages:

Published: English, Original: English

ISBN10:

3832502874

Weight:

200 g

Buy on Amazon

Currently sold out