Verifying Concurrent Systems with Symbolic Execution

Verifying Concurrent Systems with Symbolic Execution: Temporal Reasoning is Symbolic Execution with a Little Induction

Paperback Published on: 11/05/2006
£16.60
No reviews yet, be the first
Free UK delivery on orders over £25, otherwise £3.99
Not available
This product is currently unavailable
Make and edit your lists in your account
No stock available in any shop.
Not available
This product is currently unavailable
No stock available in any shop.

Publisher information

  • Publisher: Shaker Verlag GmbH, Germany
  • ISBN: 9783832250744
  • Number of pages: 241
  • Dimensions: 240 x 170 mm

Customer Reviews

You may also like...

Clean Code
Robert C. Martin
£43.99
Ghost In The Wires
Kevin Mitnick
£9.99
Who Owns The Future?
Jaron Lanier
£10.99
All of Statistics
Larry Wasserman
£49.99
Dark Pools
Scott Patterson
£12.99
The Art of Social Media
Guy Kawasaki
£10.99
Seven Concurrency Models in Seven Weeks
Paul Butcher
£30.50
Early Home Computers
Kevin Murrell
£6.99
Drawing Basics and Video Game Art
C Solarski
£21.99
Researching Your Family History Online For Dummies, UK Edition
Nick Barratt
£19.99
Theory of Fun for Game Design
Raph Koster
£35.99
Introduction to Machine Learning with Python
Andreas C. Mueller
£47.99
The Elements of Statistical Learning
Trevor Hastie
£70.50
C Programming Language
Brian W. Kernighan
£49.99
Ada Lovelace: Bride of Science
Benjamin Woolley
£14.99
Zeros and Ones
Sadie Plant
£10.99