Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday eBook
$79.99 Original price was: $79.99.$16.00Current price is: $16.00.
Publisher: Springer
Print ISBN: 9783319307336, 3319307339
eText ISBN: 9783319307343, 3319307347
Copyright year: 2016
Format: Reflowable
eText ISBN: 9783319307343
SKU: 9783319307343
Category: Trending
Tags: Computers, Intelligence (AI) & Semantics
Print ISBN: 9783319307336
This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday. Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of interest and a versatile modus operandi with: logic and constraint programming; deductive proof systems, soundness, and completeness; semantics, compositionality, and full abstraction; process algebra and decidability; multithreading and actor-based concurrency; agent programming, ontologies, and modal logic; real-time systems, timed automata, and schedulability; enterprise architectures, choreography, and coordination; testing and runtime monitoring; and cloud computing and service-level agreements. For a while, he also liked failures, especially in semantics, and optimistically concluded with the failure of failures. In fact, Frank has an opportunistic approach to research. Rather than seeing obstacles, he finds opportunities.
Be the first to review “Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday eBook” Cancel reply
You must be logged in to post a review.
Related products
-38%
eText ISBN: 9781118890868
$76.65 Original price was: $76.65.$47.22Current price is: $47.22.
-38%
eText ISBN: 9781786466112
$48.32 Original price was: $48.32.$29.77Current price is: $29.77.
-38%
Bestsellers
eText ISBN: 9780134527598
$64.98 Original price was: $64.98.$40.03Current price is: $40.03.
-38%
Bestsellers
eText ISBN: 9780735637832
$23.32 Original price was: $23.32.$14.37Current price is: $14.37.
-38%
Bestsellers
eText ISBN: 9780203489802
$58.32 Original price was: $58.32.$35.93Current price is: $35.93.
-38%
Bestsellers
eText ISBN: 9781610395700
$19.98 Original price was: $19.98.$12.31Current price is: $12.31.
-38%
eText ISBN: 9780735642737
$23.32 Original price was: $23.32.$14.37Current price is: $14.37.
-38%
Bestsellers
eText ISBN: 9780735637887
$23.32 Original price was: $23.32.$14.37Current price is: $14.37.
Reviews
There are no reviews yet.