Survey input output semantics program verification von blikle (1 Ergebnisse)

Autor:

Titel:

Mit der Detailsuche verfeinern

A survey of input-output semantics and program verification.
Blikle, A.,
Verlag: Warszawa, 1979
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, DeutschlandZentralantiquariat Leipzig GmbH
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Gebraucht
EUR 6,00
EUR 48,00 Versand
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
In den Warenkorb
64 S. OBr. Klammerbind. etwas angerostet. (Prace IPI PAN 344) Sprache: Englisch.