Preuves par récurrence avec ensembles couvrants contextuels: Applications à la vérification de logiciels de télécommunications

Name: Preuves par récurrence avec ensembles couvrants contextuels: Applications à la vérification de logiciels de télécommunications
Brand: Editions universitaires europeennes
Availability: OutOfStock
Rating: 5 (1 reviews)

By Sorin Stratulat

0 - Default Title

Product details

Binding:: Paperback
Number of Pages:: 200
Release Date:: 2012-03-14
Publication Date:: 2012-03-14
Publisher:: Editions universitaires europeennes
Languages:: Published: French, Original: French
ISBN10:: 3841794904
ISBN13:: 9783841794901
Weight:: 299 g

Currently sold out