Proceedings

Loading edition detail...

Preparing this view.

Proceedings

Workshop on Industrial-Strength Formal Specification Techniques (2nd 1998 Boca Raton, Fla.)

Bookitis Pick

ProceedingsWorkshop on Industrial-Strength Formal Specification Techniques (2nd 1998 Boca Raton, Fla.)

Workshop on Industrial-Strength Formal Specification Techniques (2nd 1998 Boca Raton, Fla.)Published 1999

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Publisher	Ieee Computer Society
Pages	143
Search language	simple
ISBN_10	0-769-50081-1 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

No other linked editions are currently available for this work in the active snapshot.