Details for: Verification des proprietes fonctionnelles des systemes concurrents

Normal view MARC view ISBD view

Verification des proprietes fonctionnelles des systemes concurrents

Main Author: BoularesSecondary Author: Hinda- Adjailia;Imene;Arous;MokdadLanguage: French.Country: FR.Publication: 2013

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Thesis	مكتبة العلوم والتكنولوجيا	M/IN/10/2013/001 (Browse shelf(Opens below))	Available		LST/M/IN/10/2013/001
Thesis	مكتبة العلوم والتكنولوجيا	M/IN/10/2013/002 (Browse shelf(Opens below))	Available		LST/M/IN/10/2013/002

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	M/IN/09/2013/002 Generation des diagrammes UML a partir d'une maquette IHM	M/IN/09/2013/003 Generation des diagrammes UML a partir d'une maquette IHM	M/IN/10/2013/001 Verification des proprietes fonctionnelles des systemes concurrents	M/IN/10/2013/002 Verification des proprietes fonctionnelles des systemes concurrents	M/IN/11/2013/001 La verification formelle des diagrammes d'interaction UML 0,2	M/IN/11/2013/002 La verification formelle des diagrammes d'interaction UML 0,2	M/IN/11/2013/003 La verification formelle des diagrammes d'interaction UML 0,2	Next

There are no comments on this title.

to post a comment.