richardeward.com

Gem: A tool for concurrency specification and verification (Technical report / Stanford University. Computer Systems Laboratory) @ richardeward.com

Blog  / Richard's Resource Directory / Books / Gem: A tool for concurrency specification and verification (Technical report / Stanford University. Computer Systems Laboratory)
View shopping cart

Gem: A tool for concurrency specification and verification (Technical report / Stanford University. Computer Systems Laboratory)
by Amy L Lansky
from Computer Systems Laboratory, Stanford University

[no image]

  

List Price:
Price:
You save:

Media:



Buy from: Canada France United Kingdom

Portions © Amazon.com, Inc.
stuff


Search Amazon

Books, Music, DVD

Books
DVD
Magazines
Popular Music
Classical Music
Videos

Electronics & Office

Electronics
Camera & Photo
Office Products
Software
Video Games
Personal Computers
Cell Phones

Kids & Baby

Baby
Toys & Games
Video Games

Home & Garden

Bed & Bath
Furniture & Décor
Housewares
Kitchen
Outdoor Living
Tools & Hardware
Vacuums & Floor Care
Home Audio & Video



In association with
Amazon




www.richardeward.com
Home - Resource Directory - Richard's Blog