A Practical Introduction to PSL

sku: COM9780387353135NEW
ACCORDING TO OUR RECORDS THIS PRODUCT IS NOT AVAILABLE NOW
$43.09
Shipping from: Canada
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.
Price history chart & currency exchange rate
Customers also viewed

$161.48
For Shimadzu Graphite Pad O-ring 0726017ZA Original Promotion 0726018ZA High Temperature Shunt Graphite Pad 4pk
aliexpress.ru
$7.90
12V Portable Battery 30000mAh Standard Capacity Battery DC 12.6V 30Ah CCTV Camera Monitor + Charger
aliexpress.com
$15.94
529332M000 Tire Pressure Sensor Monitoring System TPMS 315Mhz For Hyundai Accent Sonata Kia Forte Optima Sorento Soul with kit
aliexpress.com
$89.99
Плата питания AA25200L подходит для HP DesignJet T1300 T1120 T795 T2300 Z5400 44-IN Z3200 T620 T790 24-IN
aliexpress.com
$36.29
Ye's Anime JoJo's Bizarre Adventure 6 Stone Ocean Blue Jolyne Cujoh Dress Halloween Sexy Costume for Women Cosplay Costume Wig
aliexpress.com
$119.02
Eleviia World\u2019s Best Portable Pullup Bar | Doorway Pull Up Bar For Home, Workplace or Travel | Exercise and Transform Your
aliexpress.ru
$141.80
Ручка для домашнего задания в словаре, электронный словарь, сканирование, умная ручка для чтения, английский обучающий текст, Артефакт Ex
aliexpress.ru
$5.64
Шапка с флагом в форме сердца, Гваделупа, мужская вязаная шапка для взрослых, летняя шапка, шапки, забавные шапки R276, облегающие шапки, шапка s
aliexpress.ru
$3.55
Женские модные футболки, Летние повседневные топы с коротким рукавом, футболки в стиле High Street с бабочками, женская одежда, свободная футболка
aliexpress.ru
$87.59
FNGEEN Stainless Steel Strap High Quality Watch for Unisex Business Waterproof Quartz Man's Wristwatch Calendar
aliexpress.com
$4.85
Mother's Day Series 925 Sterling Silver Engraved Lucky to have you Mum Heart Beads Fit Original pan Charms Bracelet Jewelry
aliexpress.com
$11.20
1 Pairs Magic LED Light Skeleton Glove Colorful Rainbow Flash Fingertip LED Gloves Unisex Light Up Glow Stick Gloves Party Props
aliexpress.com
$14.96
Puma / PUMA men and women socks breathable sports socks (three pairs of equipment) 906915 03 white 43-46
joybuy.com
$27.67
4 шт. Золотое трехконечное сверло по дереву с потайной головкой и шурупом, расширитель отверстий, электрический инструмент для сверления, аксессуары
joom.com
$207.61
Клавиатура ALLDOCUBE Pogopin для iPlay60 Pad Pro Механическая сенсорная панель, чувствительная к нажатию Очень большая сенсорная панель Регулируемый угол наклона Поддерживает набор текста чёрный
joom.com
$3.09
For SUZUKI HAYABUSA 1999-2007 2015 2017 2019 2020 2021 Engine Bumper Decorative Guard Block Crash bar Protection Motorbike 25MM
aliexpress.ru
$190.01
tiffany style dragonfly wall light lamp stained glass flower crystal fixture home restaurant cafe decorative art lamps
dhgate.com
$73.06
5.0 new wireless headset bluetooth headset frosted body fashion simple card multifunctional computer headset
fordeal.com
$25.87
Короткие Прозрачные шторы для гостиной, кухни, тюлевые шторы на окна, мягкие оконные драпировки, марлевые оконные шторы
aliexpress.ru
$8.24
Смарт-детектор углекислого газа Zigbee/Tuya с Wi-Fi, датчик формальдегида, температуры и влажности, с приложением для контроля
aliexpress.ru
$5.81
Официальная рубашка с высокой четкостью для мужчин, рубашка с высокой талией, одежда для дома
aliexpress.ru
$1.51
5Pcs Food Bag Clips Househould Food Snack Storage Sealing Bag Clips Sealer Clamp Kitchen Tool _WK
aliexpress.com
$32.46
Летнее платье покроя "покроя принцесса" для девочек, детская одежда для маленьких девочек, платье с кружевом и круглым вырезом, с бантом, для ...
aliexpress.ru
$16.99
Men's White Linen Henley Shirts Long Sleeve Adjustable Sleeve Premium Cotton Shirt Lightweight Breathable Top Blouse Chemise 2XL
aliexpress.com
$0.10
3 шт./компл. сексуальное хлопковое нижнее белье, женское нижнее белье, большие размеры, брюки для мамы, случайный цвет
aliexpress.ru
$146.77
new irish festival green leaf festival role-playing clothes women's skirt photo props walking doll inflatable clothes
fordeal.com
$59.69
Автомобильное кресло Bambi M 2780A-3-11 от 0 до 18 кг, автокресло 0 и 1 группы с регулируемой спинкой
prom.ua
$7.38
Wooden Jigsaw Puzzle Puzzle Board Set Toy Interesting Wooden Puzzles for Adults Kids Gifts Games Toys Wolf
aliexpress.com
$18.54
no steel ring cross back yoga running bra set no mark adjustment bra underwea sports workout push up bras for women, White;black
dhgate.com
$23.72
fashion transparent kids boys rain jacket children girls raincoat hooded outdoors tour thick clear impermeable poncho jllnlq
dhgate.com
$48.96
youyedian women's pointed leisure thick heel slippers fashion wild mid-heel sandals chaussure plate femme printemps ete sport c03, Black
dhgate.com