Normal view MARC view ISBD view

Modelling of processes and formal methods

By:

Riesco, Daniel

Material type: Article

Article

ArticleDescription: p. 321-325 In: Workshop de Investigadores en Ciencias de la Computación (5º : 2003 : Tandil) - Universidad Nacional del Centro de la Provincia de Buenos Aires - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) WICC 2003 [CD-ROM]

Average rating: 0.0 (0 votes)

Holdings ( 1 )

Holdings
Item type	Home library	Call number	Status	Date due
Capítulo de libro	Biblioteca de la Facultad de Informática	CD 239 (Browse shelf(Opens below))	Recurso en Línea

Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)

Previous								Next
Previous	CD 239 Spectra in taxonomic evidence in databases III : Application in celestial bodies : Asteroids families	CD 239 Integración de los meta-modelos de Workflow y UML	CD 239 Extensiones al mta-modelo UML : Desarrollando nuevos esterotipos	CD 239 Modelling of processes and formal methods	CD 239 A systematic approach to generate test cases based on combinations of information	CD 239 Integrated environment of systems automated engineering	CD 239 Proceso y métodos de ingeniería liviana de sistemas	Next