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

$12.10
For Peugeot 3008 GT 5008 2016-2018 Carbon Fiber Gear Shift Panel Cover Car Decoration Trim Interior Accessories
aliexpress.com
$4.07
2PCS RJ45 To 4pin Terminal RJ45 Female Terminal Block Crystal Head Terminal Block Pressure-free Crystal Head Net Block End
aliexpress.com
$475.07
Новые поступления, телескопический шкаф для телевизора из шифера, журнальный столик, напольная гостиная, бытовая маленькая квартира 7304
aliexpress.ru
$176.30
ABAKUHAUS Hawaii Комплект покрывала, абстрактное искусство океанских волн, комплект с наволочками, моющийся, для односпальных кроватей, 220 x 220 см, разноцветный
cdek.shopping
$49.88
Мужские дизайнерские кожаные туфли, натуральная итальянская Роскошная брендовая деловая обувь с острым носком, повседневные кожаные лоферы с пряжкой
aliexpress.ru
$2.60
2 Pairs Sailor Socks Cow Miss Summer Anklets Home Accessories Cotton Pattern Low Cut Rainbow For women
aliexpress.com
$71.82
RUSH MAX Solo Tank 5.8G VTX Video Transmitter CNC Shell 2.5W 48CH High Power Built-in Microphone Heat Dissipation Fan For RC FPV
aliexpress.com
$12.00
Японская картина маслом Классический Аниме Драконий жемчуг Гоку гохань настенное Искусство Декор в эстетике подходящая комната Рождественское украшение 40x50 см
aliexpress.ru
$468.00
Boyafil EMF20 Vacuum Pump Oil Mist Exhaust Filter Assembly With Inlet & Exhaust Flanges NW25 Ports A46229000
aliexpress.com
$7.77
2 шт./комплект, фридер для видеокарты, T125010SU, вентилятор графической карты, охлаждение VGA, для ZOTAC Gaming GTX 1650 Low Profile gtx1650 lp
aliexpress.ru
$50.35
1 шт., японский DCP 700i Roller BTR 2ND Transfer ролик принтера Xerox C60 C70 C75 J75 550 560 цифровой цветной пресс 700 700i
aliexpress.ru
$3.04
Горячая Распродажа пояс для беременных женщин поддерживающий живот корсет для беременных Корректирующее белье для пренатального ухода
aliexpress.ru
$179.31
Комплект постельного белья (2-спальный) gently rose (elhomme) розовый 43x10x32 см.
thefurnish.ru
$2.65
2020 Stable Cccam cline for 2 Year Spain Poland Portugal Germany Oscam cline DVB-S2 Satellite Decoder GTmedia V8 NOVA
aliexpress.com
$6.83
Anime model figure Attack on Titan Levi Rivaille Mikasa Ackerman 16cm toys acrylic stand figure collectible Decoration
aliexpress.com
$81.61
men winter waterproof snow boots couple warm fur plush ankle boots wear-resistant boots men winter shoes big size 38-47 210619, Black
dhgate.com
$73.92
12s basketball shoes jumpman 12 men sneaker a ma maniere black taxi stealth hyper royal mens outdoor sport trainers good
dhgate.com
$2.34
Christmas Girl Gift Brooch Green Donut Red Cane Candy Bow Gold Chain Pin Fashion Glamour Female Personality Holiday Jewelry Hot
aliexpress.com
$4.21
Летняя дышащая футболка с круглым вырезом для пар, Повседневная однотонная модная мужская футболка с японским аниме Токийский Гуль, футбол...
aliexpress.ru
$122.29
carpaton selling platform thick heels woman sandals summer open toe cutouts gladiator shoes super high ankle strap heel, Black
dhgate.com
$1.95
150/120/100/80/50 шт. стандартный набор предохранителей для автомобиля, грузовика, среднего размера, плавкий предохранитель 3 А-40 А, автомобильный п...
aliexpress.ru
$19.68
Long Natural Freshwater Pearl Necklace Wedding For Women,Three Rows Multi Color Real Pearl Necklace Jewelry Girl Gifts
aliexpress.com
$12.95
Hikigawa Couple Hip-hop Striped Print Round Neck Sweater Women High Street Vintage Preppy Style Loose Pullovers Long Sleeve Top
aliexpress.com
$34.22
mouse pads & wrist rests that time i got reincarnated as a slime beautiful anime gaming mousemat xl large keyboard pc deskmat takuo anti-sli
dhgate.com
$103.96
new 2021 messenger korean style women's shoulder fashion texture chain small square bag
dhgate.com
$4.53
stud 3pc /set disposable painless ear piercing healthy sterile puncture tool without inflammation for earrings gun, Golden;silver
dhgate.com
$19.90
san diego fernando tatis jr jerseys manny machado darvish tony gwynn snell musgrove eric hosmer brown is back baseball jersey., Blue;black
dhgate.com
$36.36
Women's Sleepwear summer modal mosaic dress Korean Off shoulder solid color five-point sleeve bottoming Nightdress LKD8, Black;red
dhgate.com
$7.44
autumn and winter scarf men's business casual winter warm scarf tangent stripe fashion wild wholesale, Blue;gray
dhgate.com
$369.00
LT50 Round Plastic Bottle Label Machine semi automatic circular Sticker labeling machine for round bottle
aliexpress.com
$17.85
shirts fake two pieces designer male shirt long sleeved solid color clothing mens casual fashion breathable, White;black
dhgate.com
$185.63
men women shoe casual track 2 sneakers 19fw track2 white lace-up jogging sneakers 3m triple s chaussures walk pyex#, Black
dhgate.com
$7.48
Cute Cat Paw Mouse Pad Nonslip Silicone Mice Mat PC Computer Wrist Rest Support X6HA
aliexpress.com
$23.96
gezichta heavy duty catering dishwashing sponges/scourers for kitchens bathrooms and heavy duty cleaning
dhgate.com
$8.11
P11 Wireless Headphone Handsfree Headset HiFi Stereo Earphone with HD Microphone for iPhone Samsung Xiaomi
aliexpress.com