pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: SYMBOLIC EXECUTION AND QUANTITATIVE REASONING
APPLICATIONS TO SOFTWARE SAFETY AND SECURITY
By: Corina S. Pasareanu
Format: Paperback / softback

List price: £22.99
Our price: £19.54
Discount:
15% off
You save: £3.45
ISBN 10: 3031014235
ISBN 13: 9783031014239
Availability: Usually dispatched within 1-3 weeks.
 Delivery rates
Stock: Currently 0 available
Publisher: SPRINGER INTERNATIONAL PUBLISHING AG
Pub. date: 13 May, 2020
Series: Synthesis Lectures on Software Engineering
Pages: 65
Language: English
Description: This book reviews recent advances in symbolic execution and its probabilistic variant and discusses how they can be used to ensure the safety and security of software systems.
Illustrations: IX, 65 p.; IX, 65 p.
Returns: Returnable
Some other items by this author:



Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 

NEW
World’s Worst Superheroes GET READY FOR SOME SUPERSIZED FUN!
add to basket





New
No Cheese, Please! A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
add to basket

New
My Brother Is a Superhero Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
add to basket


Picture Book
Animal Actions: Snap Like a Crab
By:
The first title in a new preschool series from Guilherme Karsten.
add to basket