Details for: Proceedings of the FMSP'00 , theThird Workshop on Formal Methods in Software Practice, held in Portland, Oregon, USA, August 24-25, 2000

Image from Google Jackets

Normal view MARC view ISBD view

Proceedings of the FMSP'00 : theThird Workshop on Formal Methods in Software Practice, held in Portland, Oregon, USA, August 24-25, 2000 / edited by Mats P. E. Heimdahl

Corporate Author (Main): Workshop on Formal Methods in Software Practice, 3rd,, OregonSecondary Author: Heimdahl, Mats P. E., ed. lit.Language: eng.Country: US - United States of America.Publication: New York : Association for Computing Machinery, cop. 2000Description: VII, 112 p. : il. ; 28 cmISBN: 1-58113-262-X.Subject - Topical Name: Informática

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	Collection	Call number	Copy number	Status	Date due	Barcode
Monografia	Biblioteca NOVA FCT Depósito 1	Não Ficção	QA75.5.ACM FCT 41361 (Browse shelf(Opens below))	1	Available		0031629

Colocação: Dep. 1

There are no comments on this title.

to post a comment.