Formalisation d'un procédé de développement logiciel basé modèle: Verification formelle par la methode B

Name: Formalisation d'un procédé de développement logiciel basé modèle: Verification formelle par la methode B
Brand: Univ Européenne
Availability: OutOfStock
Rating: 5 (1 reviews)

By Angel Garcia

0 - Default Title

Product details

Binding:

Paperback

Number of Pages:

156

Release Date:

2012-05-18

Publication Date:

2012-05-18

Publisher:

Univ Européenne

Languages:

Published: French, Original: French

ISBN10:

3838180682

ISBN13:

9783838180687

Weight:

236 g

Currently sold out