Survey Input Output Semantics Program Verification by Blikle (1 results)

Author:

Title:

Refine with Advanced Search

A survey of input-output semantics and program verification.
Blikle, A.,
Published by Warszawa, 1979
Seller: Zentralantiquariat Leipzig GmbH, Leipzig, GermanyZentralantiquariat Leipzig GmbH
5-star seller
Contact seller
Condition: Used
US$ 5.77
US$ 56.10 shipping
Ships from Germany to U.S.A.
Quantity: 1 available
Add to basket
64 S. OBr. Klammerbind. etwas angerostet. (Prace IPI PAN 344) Sprache: Englisch.