Guide to software verification with frama-c: core components

springer

See on Amazon Add to cart

Find all the information of Guide to software verification with frama-c: core components here, with all the data and promotions for your purchase at the best price. Today with a price of £ and is today at the best price in Amazon, with its guarantee and security. Its price of £ is a great offer , but if you already know him, help others to know him by leaving your comment below.

Features

• Usages

• And applications

• Computer science foundations and applied logic

The sale price of Guide to software verification with frama-c: core components has remained stable at in recent times, there has been no change. As for offers on this product from springer, the price of is similar in all stores in the network, without major differences.

At the moment the best site to acquire Guide to software verification with frama-c: core components is on the website of Amazon

Users have also visited...

• 

  Stink Bugs (Hemiptera: Pentatomidae) Research and Management: Recent Advances and Case Studies from Brazil, Europe, and USA (Entomology in Focus, 9)
• 

  Mensch-Computer-Interaktion: Basiswissen für Entwickler und Gestalter (X.media.press)
• 

  Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)
• 

  Modern Methods of Optimization: Proceedings of the Summer School “Modern Methods of Optimization”, held at the Schloß Thurnau of the University of ... in Economics and Mathematical Systems, 378)