Program Refinement: Formal Methods, Verification, Specification, Executable Program, Stepwise Refinement, Implication
Priser från
JäMFöR ALLA WEBBUTIKER
(2)
Amazon
Program Refinement: Formal Methods, Formal Verification, Formal Specification, Executable Program, Stepwise Refinement, Implication
Läs mer
285,58
Utvalda
|
285,58 kr |
Til butik
|
|
285,58 kr |
Til butik
|
Beskrivning
Amazon
Program Refinement: Formal Methods, Formal Verification, Formal Specification, Executable Program, Stepwise Refinement, Implication
Program Refinement: Formal Methods, Formal Verification, Formal Specification, Executable Program, Stepwise Refinement, Implication