IEEE standard for property specification language (PSL). (31st August 2012)

Record Type:: Book
Title:: IEEE standard for property specification language (PSL). (31st August 2012)
Main Title:: IEEE standard for property specification language (PSL)
Authors:: British Standards Institution,
Publisher Details:: London : British Standards Institution
Publication Date:: 2012
Extent:: 1 online resource (188 pages)
Subjects:: 602.1841
Verification
Programming languages
Electronic engineering
Data processing
Design
Computer software
Electronic equipment and components
Programming
Syntax
Semantics
Languages:: English
Related ISBNs:: 9780580776724
ISSNs:: 3025-7773
Access Rights:: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
Access Usage:: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗
Physical Locations:: British Library HMNTS - ELD.DS.746395
Ingest File:: 16_008.xml