Formalisation d’un procédé de développement logiciel basé modèle

Lieferzeit: Lieferbar innerhalb 14 Tagen

49,00 

Verification formelle par la methode B

ISBN: 3838180682
ISBN 13: 9783838180687
Autor: Garcia, Angel
Verlag: Éditions universitaires européennes
Umfang: 156 S.
Erscheinungsdatum: 24.05.2012
Auflage: 1/2012
Format: 1 x 22 x 15
Gewicht: 250 g
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 4747308 Kategorie:

Beschreibung

Herstellerkennzeichnung:


BoD - Books on Demand
In de Tarpen 42
22848 Norderstedt
DE

E-Mail: info@bod.de

Das könnte Ihnen auch gefallen …