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: R690
Discovery Miles 6 900
You Save: R247 (26%)
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 R937 Loot Price R690 Discovery Miles 6 900 | Repayment Terms: R64 pm x 12* You Save R247 (26%)

Bookmark and Share

Expected dispatch within 7 - 12 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