Survey input output semantics program verification par blikle (1 résultats)

Auteur:

Titre:

Affiner les résultats avec une recherche avancée

A survey of input-output semantics and program verification.
Blikle, A.,
Edité par Warszawa, 1979
Vendeur : Zentralantiquariat Leipzig GmbH, Leipzig, AllemagneZentralantiquariat Leipzig GmbH
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Occasion
Bonne affaire
Prix actuel : EUR 4,80
EUR 48,00 expédition
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Ajouter au panier
64 S. OBr. Klammerbind. etwas angerostet. (Prace IPI PAN 344) Sprache: Englisch.