Name: Computer Structures and Software: Analysis, Integration and Verification by Alexandro Cyprus 9781647284411
SKU: 9781647284411
Price: 112.88 GBP
Availability: InStock

Description

Apologies but we at Booksplease don't have a full description for this book.

Book Information
ISBN 9781647284411
Author Alexandro Cyprus
Format Hardback
Page Count 244
Imprint Willford Press
Publisher Willford Press
Weight(grams) 644g

Reviews

Related Titles

Computer Programs and Software Systems: Theories and Methods by Alexandro Cyprus 9781647265878

RRP: £122.27

Booksplease Price: £106.32

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781647265878Author Alexandro CyprusFormat HardbackPage Count 252Imprint

Add to Cart

Software Verification and Analysis: An Integrated, Hands-On Approach by Janusz Laski 9781849968294

Booksplease Price: £50.16

"The situation is good, but not hopeless" (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving...

Add to Cart

Verification and Analysis of Computer Systems by Henry Skinner 9781647253752

RRP: £130.41

Booksplease Price: £113.01

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781647253752Author Henry SkinnerFormat HardbackPage Count 258Imprint

Add to Cart

Static Analysis and Verification of Aerospace Software by Abstract Interpretation by Julien Bertrane 9781601988560

RRP: £77.00

Booksplease Price: £66.79

It is well documented that fully automatic rigorous verification of complex software is very challenging and perfection is impossible. This monograph presents abstract interpretation and shows how...

Add to Cart

Challenges of Software Verification by Vincenzo Arceri 9789811996009

RRP: £129.99

Booksplease Price: £118.13

This book provides an overview about the open challenges in software verification. Software verification is a branch of software engineering aiming at guaranteeing that software applications satisfy...

Add to Cart

Recently Viewed

Computer Structures and Software: Analysis, Integration and Verification by Alexandro Cyprus 9781647284411

Frequently Bought Together:

Description

Goodreads reviews

Reviews

Recently Viewed

Computer Structures and Software: Analysis, Integration and Verification by Alexandro Cyprus 9781647284411

Write a Review

Computer Structures and Software: Analysis, Integration and Verification by Alexandro Cyprus 9781647284411

Frequently Bought Together:

Description

Goodreads reviews

Reviews

Related Titles

Computer Programs and Software Systems: Theories and Methods by Alexandro Cyprus 9781647265878

Software Verification and Analysis: An Integrated, Hands-On Approach by Janusz Laski 9781849968294

Verification and Analysis of Computer Systems by Henry Skinner 9781647253752

Static Analysis and Verification of Aerospace Software by Abstract Interpretation by Julien Bertrane 9781601988560

Challenges of Software Verification by Vincenzo Arceri 9789811996009