Normal view MARC view ISBD view

Abstraction refinement for large scale model checking.

Material type: materialTypeLabel

BookSeries: Series on integrated circuits and systems.Publisher: New York: Springer, 2006Description: xii, 179 p.; ill.: 24 cm.ISBN: 0387341552 .Subject(s): Computer systems | Electronic systems | Integrated circuits | Abstraction | Refinement | Image ComputationDDC classification: 004.21

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

Item type	Current location	Call number	Status	Date due	Barcode
Books		004.21 WAN (Browse shelf)	Available		014701

Previous								Next
Previous	004.21 VRE User-centered design : an integrated approach	004.21 VRE User-centered design : an integrated approach	004.21 WAG Exploring digital design	004.21 WAN Abstraction refinement for large scale model checking.	004.21 WAS System analysis, design, and development : concepts, principles, and practices	004.21 WHI Systems analysis and design methods	004.21 WOL Computers as components : principles of embedded computing system design	Next

There are no comments for this item.

Browse results

Koha online