0
Your cart

Your cart is empty

Books > Computing & IT

Buy Now

Verifying Concurrent Systems with Symbolic Execution - Temporal Reasoning is Symbolic Execution with a Little Induction (Paperback) Loot Price: R771
Discovery Miles 7 710
You Save: R137 (15%)
Verifying Concurrent Systems with Symbolic Execution - Temporal Reasoning is Symbolic Execution with a Little Induction...
Verifying Concurrent Systems with Symbolic Execution - Temporal Reasoning is Symbolic Execution with a Little Induction...

Share your images

Verifying Concurrent Systems with Symbolic Execution - Temporal Reasoning is Symbolic Execution with a Little Induction (Paperback)

Michael Balser

Series: Berichte aus der Informatik

 (sign in to rate)
List price R908 Loot Price R771 Discovery Miles 7 710 | Repayment Terms: R72 pm x 12* You Save R137 (15%)

Bookmark and Share

Usually dispatched within 10 - 17 working days.

General

Imprint: Shaker Verlag Gmbh, Germany
Country of origin: Germany
Series: Berichte aus der Informatik
Release date: May 2006
Authors: Michael Balser
Dimensions: 240 x 170mm (L x W)
Format: Paperback
Pages: 241
ISBN-13: 978-3-8322-5074-4
Barcode: 9783832250744
Categories: Books > Computing & IT
Books > Computing & IT > General
Promotions
LSN: 3-8322-5074-3

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Loyalty partners