search for books and compare prices
cover image
A Practical Introduction to Psl
Price
Store
Arrives
Preparing
Shipping
The price is the lowest for any condition, which may be new or used; other conditions may also be available. Rental copies must be returned at the end of the designated period, and may involve a deposit.
Jump down to see edition details for: Hardcover | Paperback
Bibliographic Detail
Publisher Springer-Verlag New York Inc
Publication date August 1, 2006
Pages 240
Binding Hardcover
Book category Adult Non-Fiction
ISBN-13 9780387353135
ISBN-10 0387353135
Dimensions 0.75 by 6.25 by 9.25 in.
Weight 1.20 lbs.
Original list price $179.00
Summaries and Reviews
Amazon.com description: Product Description:

This book describes the Property Specification Language PSL, recently standardized as IEEE Standard 1850-2005. PSL was developed to fulfill the following requirements: easy to learn, write, and read; concise syntax; rigorously well-defined formal semantics; expressive power, permitting the specification for a large class of real world design properties; known efficient underlying algorithms in simulation, as well as formal verification. Basic features are covered, as well as advanced topics such as the use of PSL in multiply-clocked designs. A full chapter is devoted to common errors, gathered through the authors' many years of experience in using and teaching the language.



Editions
Hardcover
Book cover for 9780387353135
 
The price comparison is for this edition
from Springer-Verlag New York Inc (August 1, 2006)
9780387353135 | details & prices | 240 pages | 6.25 × 9.25 × 0.75 in. | 1.20 lbs | List price $179.00
About: This book describes the Property Specification Language PSL, recently standardized as IEEE Standard 1850-2005.
Paperback
from Springer Verlag (April 14, 2014)
9781489985842 | details & prices | List price $130.00

Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.