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

Name: Static Analysis and Verification of Aerospace Software by Abstract Interpretation by Julien Bertrane 9781601988560
SKU: 9781601988560
Price: 78.87 GBP
Availability: OutOfStock

No reviews yet Write a Review

Booksplease Price: £78.87

  Bookmarks: Included free with every order
  Delivery: We ship to over 200 countries from the UK
  Range: Millions of books available
  Reviews: Booksplease rated "Excellent" on Trustpilot

FREE UK DELIVERY: When You Buy 3 or More Books - Use code: FREEUKDELIVERY in your cart!

SKU:: 9781601988560
UPC:
MPN:: 9781601988560

Out of stock

Availability: Out of stock

Ask Questions

Frequently Bought Together:

Total: Inc. VAT

Total: Ex. VAT

Description
Reviews

Description

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

Book Information
ISBN 9781601988560
Author Julien Bertrane
Format Paperback
Page Count 140
Imprint now publishers Inc
Publisher now publishers Inc
Weight(grams) 208g
Dimensions(mm) 234mm * 156mm * 8mm

Reviews

No reviews yet Write a Review

Related Titles

Introduction to Static Analysis: An Abstract Interpretation Perspective by Xavier Rival

RRP: £72.00

Booksplease Price: £71.47

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780262043410Author Xavier RivalFormat HardbackPage Count 320Imprint

Add to Cart

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

RRP: £130.41

Booksplease Price: £113.54

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

Add to Cart

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

Booksplease Price: £55.96

"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

Software Abstractions: Logic, Language, and Analysis by Daniel Jackson

Booksplease Price: £35.95

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780262528900Author Daniel JacksonFormat PaperbackPage Count 376Imprint

Add to Cart

Booksplease Reviews

Fast and efficient way to choose and receive books

This is my second experience using Booksplease. Both orders dealt with very quickly and despatched. Now waiting for my next read to drop through the letterbox.

J - United Kingdom

Will definitely use again!

Great experience and I have zero concerns. They communicated through the shipping process and if there was any hiccups in it, they let me know. Books arrived in perfect condition as well as being fairly priced. 10/10 recommend. I will definitely shop here again!

T - United States

The shipping was just superior

The shipping was just superior; not even one of the books was in contact with the shipping box -anywhere-, not even a corner or the bottom, so all the books arrived in perfect condition. The international shipping took around 2 weeks, so pretty great too.

R - Spain

Found a hard to get book…

Finding a hard to get book on Booksplease and with it not being an over inflated price was great. Ordering was really easy with updates on despatch. The book was packaged well and in great condition. I will certainly use them again.

J - United Kingdom

Recently Viewed

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

Frequently Bought Together:

Description

Goodreads reviews

Reviews