Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
sku: COM9780321143068USED
ACCORDING TO OUR RECORDS THIS PRODUCT IS NOT AVAILABLE NOW
$55.33
Shipping from: Canada
Description
This work shows how to write unambiguous specifications of complex computer systems. The first part provides a concise and lucid introduction to specification, explaining how to describe, with mathematical precision, the behavioural properties of a system - what that system is allowed to do. The emphasis here is on safety properties. The second part covers more advanced topics, including liveness and fairness, real time properties, and composition. The books final two parts provide a complete reference manual for the TLA+ language and tools, as well as a mini-manual.
Price history chart & currency exchange rate
Customers also viewed
$181.22
JoyCan Rhthmic гимнастические трико для девушек женщин родо спандекс элегантная танцевальная одежда для соревнований
aliexpress.ru
$1.08
Зимнее теплое покрытие для растений, нетканое покрытие для растений, зимнее уличное покрытие для растений, сумка для защиты от мороза
aliexpress.ru
$11.12
Настенная задняя часть и искусственная кожа с присосками-Глубокая очистка и Отшелушивание в душе
aliexpress.ru
$88.01
Электронный топливный насос, модель 16112755082 дюйма, подходит для автомобилей BMW Mini R55 R56 R57 R58 R59 1,6 T, запасные части
aliexpress.ru
$10.26
Женское трикотажное платье до колен, однотонное хлопковое платье в рубчик с высоким воротником и разрезом, элегантное осеннее платье с длинными рукавами и имитацией воротника, 2024
aliexpress.ru
$13.52
Autumn Scenery Photography Backdrop Fall Farm Barn Wood Door Pumpkin Truck Harvest Thanksgiving Baby Portrait Photo Background
aliexpress.ru
$6.04
Decorative button men's ice thong three-dimensional bag bag sexy men's translucent underwear
aliexpress.com
$77.47
Высокопроизводительный NIC X540-T2 с чипсетом X540 10Gbs, двойной порт RJ45, Настольная сетевая карта сервера
aliexpress.ru
$14.76
Фен щетка для сушки волос вращающейся Gemei GM 4829 (Стайлер для укладки, браш воздушный)
bigl.ua
$7.39
The fascinating world of mermaids Canvas Poster Wall Art Print Modern Painting Nordic Kid Bedroom Decoration Picture
aliexpress.com
$314.99
GameSir VX2 AimSwitch Keyboard Mouse and Adapter Set for Xbox Series X/S, Xbox One, PS4, Nintendo Switch for Call of Duty PUBG
aliexpress.com
$5.39
Black 32GB TF Card,Memory Card-80MB/s, C10, Full HD Video V10, A1, FAT32, High Speed Flash Card for Smartphone Bluetooth Speaker
aliexpress.com
$67.03
boots karin 2021 fashion design shoes lady women hert metal decoration ankle office ladies spike heels booties zipper1, Black
dhgate.com
$5.37
wrist support 1 pairs arthritis gloves touch screen anti therapy compression and ache pain joint relief winter1, Black;red
dhgate.com
$63.52
yoga outfits men tai chi kungfu meditation uniforms cotton linen quickly dry loose workout casual fitness set sweatshirt+pant1, White;red
dhgate.com
$113.70
plus size 34-43 warm fur winter boots women riding boots zipper knee high ladies long winter autumn shoes soft1, Black
dhgate.com
$117.84
walkie talkie 2pcs baofeng bf-t1 mini uhf 400-470mhz 20ch bf t1 portable ham radio handheld transceive1
dhgate.com
$33.61
2020 Autumn Winter Women Running Sets Sweater Tracksuit For Women Long Sleeve Hoodie And Pants Two Piece Set Warm Outfits Suit1, Blue
dhgate.com
$13.72
NEW Authentic 925 sterling silver rings Crystalized Floral Fancy, Clear CZ DIY charms fits for pandora jewelry wholesale original 1;1 charms
dhgate.com
$39.12
SAGACE Shoes Women Slip On women's pumps shoes high heels Pointed Toe Super High Spike Heel Sexy office Solid Lady1, Or
dhgate.com
$18.57
death grips t shirt seinfeld im seriously depressed send tee shirt graphic summer men cotton t shirts oversized print t-shirt
dhgate.com
$65.33
2020 mersteyo breathable cycling jersey sets bicycle wear suits absorb sweat long sleevecycling clothing men cyclingmtb, Black;blue
dhgate.com
$45.76
FEDONAS Fashion Elegant Women Kid Suede Shoes 2020 Spring Summer New Casual Pointed Toe Sequined Thick Heel Shallow Shoes Woman
aliexpress.com
$18.57
2019 men's new fashion doctor who worlds collide printed t shirt summer cool design soft short sleeve tee
dhgate.com
$24.82
wholesale high waist women yoga pants solid sports gym wear leggings elastic fitness lady overall cropped tights, White;red
dhgate.com
$82.16
size 35-45 with original box r luxury casual shoes, fashion oreo powder knitted stretch socks boots speed clear sole casual sneak
dhgate.com
$26.79
oklahoma city thunder men steven adams dennis schroder abdel nader statement nba custom navy jersey, Black
dhgate.com
$16.32
60new t-shirt me shortsleeve stretch cotton fdffeg tee men's embroidery tiger printed bird snake crew col6172568 fghdss5895185, Black;yellow
dhgate.com
$46.50
luxury triple black men women running shoes 2019 new volt pink sea sport sneakers white hyper crimson trainers designer shoes 5-11
dhgate.com
$11.23
uxcell Uxcell 2pcs Shelf Bracket, Heavy-Duty Floral L Brackets Right Angle Bracket Support Corner Brace Wall Mounted Carbon
aliexpress.com
$7.63
4pcs Aluminum Alloy Quick Release Adapter Connector Carp Fishing Rod Bite Alarm Rod Holder Connector Carp Fishing Accessories
aliexpress.com
$8.58
Marvel Panther Series 3D Night Lamp LED Remote Control Colorful Touch Creative Light KT-C Lamp
aliexpress.com
$85.39
Дека для скейтборда для скейтборда Darkstar Harley-davidson Vintage Manolo 31.6 x 8 (20.3 см)
proskater.ru