Programming Verification
 |
Rigorous Software Development : An Introduction to Program Verification, Pape... on E-Bay starting at $46.35
Free Worldwide Shipping Expedited: No Next Day: No Great Book Prices Store Rating: 96.4% |
 |
Aliasing in Object-Oriented Programming : Types, Analysis, and Verification, ... on E-Bay starting at $66.40
Free Worldwide Shipping Expedited: No Next Day: No Great Book Prices Store Rating: 96.4% |
 |
Analysis, Verification and Transformation for Declarative Programming and Int... on E-Bay starting at $157.45
Free Worldwide Shipping Expedited: No Next Day: No Great Book Prices Store Rating: 96.4% |
 |
Introducing Software Verification with Dafny Language: Proving Program Correctne on E-Bay starting at $26.75
Free Worldwide Shipping Expedited: No Next Day: No Bargain Book Stores Rating: 99.3% |
 |
Program Construction and Verification on E-Bay starting at $6.30
Free Flat Rate Shipping Expedited: No Next Day: Yes WeBuyBooks Rating: 99.3% |
 |
Analysis, Verification and Transformation for Declarative Programming and Intell on E-Bay starting at $157.47
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Protocol Gas Verification Program and Minimum Competency Requirements for Air Em on E-Bay starting at $25.67
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Program Verification Using Ada (Cambridge Computer Science Texts on E-Bay starting at $24.37
Free Flat Rate Shipping Expedited: No Next Day: Yes Chiron_Media_Store Rating: 99.5% |
 |
Ranganat - Program Dependences Slicing and Verification - New paperb - N555z on E-Bay starting at $112.56
Free Flat Rate Shipping Expedited: No Next Day: No iHaveit Rating: 99.1% |
 |
Program Verification by Francez, Nissim on E-Bay starting at $16.52
Free Worldwide Shipping Expedited: No Next Day: No ThriftBooks Rating: 99.0% |
 |
Introducing Software Verification With Dafny Language : Proving Program Corre... on E-Bay starting at $37.18
Free Worldwide Shipping Expedited: No Next Day: No Great Book Prices Store Rating: 96.4% |
 |
Introducing Software Verification With Dafny Language : Proving Program Corre... on E-Bay starting at $37.19
Free Worldwide Shipping Expedited: No Next Day: No Great Book Prices Store Rating: 96.4% |
 |
Program Verification : Fundamental Issues in Computer Science, Paperback by C... on E-Bay starting at $359.18
Free Worldwide Shipping Expedited: No Next Day: No Great Book Prices Store Rating: 96.4% |
 |
Aspect-Oriented Programming With The E Verification Language: A Pragmatic G... on E-Bay starting at $102.79
Free Worldwide Shipping Expedited: No Next Day: No Prepbooks Rating: 99.5% |
 |
Aliasing in Object-Oriented Programming: Types, Analysis and Verification by Dav on E-Bay starting at $67.47
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Program Verification: Fundamental Issues in Computer Science by Timothy T.R. Col on E-Bay starting at $359.20
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Program Verification : Fundamental Issues in Computer Science, Paperback by C... on E-Bay starting at $373.23
Free Flat Rate Shipping Expedited: No Next Day: No superbookdeals Rating: 95.9% |
 |
Colburn - Program Verification Fundamental Issues in Computer Scienc - T555z on E-Bay starting at $415.04
Free Flat Rate Shipping Expedited: No Next Day: No iHaveit Rating: 99.1% |
 |
Al Maghayreh - Simplifying Runtime Verification of Distributed Program - S555z on E-Bay starting at $70.88
Free Flat Rate Shipping Expedited: No Next Day: No iHaveit Rating: 99.1% |
 |
Robinson - Aspect-Oriented Programming with the E Verification Languag - T555z on E-Bay starting at $106.48
Free Flat Rate Shipping Expedited: No Next Day: No iHaveit Rating: 99.1% |
|
Program Verification Using Ada (Cambridge Computer Science Texts, Series Number on E-Bay starting at $12.09
Free Worldwide Shipping Expedited: No Next Day: No Wonder Book and Video Rating: 99.7% |
 |
Sieber - Foundations of Program Verification - New paperback or softba - S555z on E-Bay starting at $67.36
Free Flat Rate Shipping Expedited: No Next Day: No iHaveit Rating: 99.1% |
 |
Theory of Program Structures : Schemes, Semantics, Verification, Paperback by... on E-Bay starting at $32.55
Free Worldwide Shipping Expedited: No Next Day: No Great Book Prices Store Rating: 96.4% |
|
Analysis, Verification and Transformation for Declarative Programming and Int... on E-Bay starting at $157.46
Free Worldwide Shipping Expedited: No Next Day: No Great Book Prices Store Rating: 96.4% |
 |
Aliasing in Object-Oriented Programming : Types, Analysis, and Verification, ... on E-Bay starting at $66.41
Free Worldwide Shipping Expedited: No Next Day: No Great Book Prices Store Rating: 96.4% |
 |
U.S. Environmental P - Environmental Technology Verification Program - T9000z on E-Bay starting at $21.86
Free Worldwide Shipping Expedited: No Next Day: No iHaveit Rating: 98.8% |
 |
Rigorous Software Development: An Introduction to Program Verification by Jos? B on E-Bay starting at $51.08
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
The Foundations of Program Verification by Kurt Sieber (German) Paperback Book on E-Bay starting at $56.42
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Program Verification: Fundamental Issues in Computer Science by Timothy T.R. Col on E-Bay starting at $361.36
Free Worldwide Shipping Expedited: No Next Day: No grandeagleretail Rating: 98.3% |
 |
Aspect-Oriented Programming with the e Verification Language by Robinson 2007 on E-Bay starting at $24.95
Free Worldwide Shipping Expedited: No Next Day: No CROSSOVER COLLECTIBLES Rating: 100.0% |
 |
Introducing Software Verification with Dafny Language: Proving Program: New on E-Bay starting at $31.33
Free Worldwide Shipping Expedited: No Next Day: No AlibrisBooks Rating: 98.7% |
 |
Rigorous Software Development: An Introduction to Program Verification: Used on E-Bay starting at $39.17
Free Worldwide Shipping Expedited: No Next Day: No AlibrisBooks Rating: 98.7% |
 |
Real Time Programming: Languages, Specification & Verification on E-Bay starting at $29.83
Free Worldwide Shipping Expedited: No Next Day: No Bookbarn87 Rating: 99.8% |
Recent Searches
Affiliate Disclosure: As an Amazon Associate, I earn from qualifying purchases.