FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development
Product Description
Condition - Very Good
The item shows wear from consistent use but remains in good condition. It may arrive with damaged packaging or be repackaged.
FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development
Technical Specifications
You might also like
A Rumor about the Jews: Antisemitism, Conspiracy, and the Protocols of Zion
Arms and the Dudes: How Three Stoners from Miami Beach Became the Most Unlikely Gunrunners in History
Krabat and the Sorcerer’s Mill
The Searcher: A Novel
By J. K. Rowling: Harry Potter and the Sorcerer's Stone (Book 1)
The Warrior Heir (The Heir Chronicles, 1)
Sir Hereward and Mister Fitz: The Complete Adult Debut―Godslaying Fantasy Adventures of a Witch Knight and Puppet Sorcerer
The Sorcerer's Apprentice (Disney Classic) (Little Golden Book)