The foundations of program verification
Loeckx, Jacques, Kurt Sieber und Ryan D. Stansifer:
ISBN 10: 3519021013 ISBN 13: 9783519021018
Editorial: Stuttgart : Teubner; Chichester; New York; Brisbane; Toronto; Singapore : Wiley, 1984
Usado
Hardcover
Librería:
Roland Antiquariat UG haftungsbeschränkt, Weinheim, Alemania
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 12 de febrero de 2002
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
230 p. Good condition. The pages are clean and without markings. Slight signs of storage and use. Dedication by the author. Retired library copy with corresponding marking. Otherwise, a neat copy. 9783519021018 Sprache: Englisch Gewicht in Gramm: 1000. N° de ref. del artículo 314508
Detalles bibliográficos
Título: The foundations of program verification
Editorial: Stuttgart : Teubner; Chichester; New York; Brisbane; Toronto; Singapore : Wiley
Año de publicación: 1984
Encuadernación: Hardcover
Los mejores resultados en AbeBooks
Imagen del vendedor
The foundations of program verification.
Publicado por
Stuttgart [Germany], B.G. Teubner; Wiley, 1984
ISBN 10: 3519021013
ISBN 13: 9783519021018
Antiguo o usado
Tapa dura
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
Calificación del vendedor: 5 de 5 estrellas
Hardcover. ix, 230 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03362 3519021013 Sprache: Englisch Gewicht in Gramm: 550. Nº de ref. del artículo: 2513055
Cantidad disponible: 1 disponibles
Imagen de archivo
The foundations of program verification (Wiley-Teubner series in computer science) [Board book]
Librería: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Bumps/wear at edges and corners of hard board. Some light storage marks and scratches to hard board. Pages excellent, clean and legible. Nº de ref. del artículo: 005808-10
Cantidad disponible: 1 disponibles
Imagen de archivo
The foundations of program verification. and Kurt Sieber. In collab. with Ryan D. Stansifer, Wiley-Teubner series in computer science
Publicado por
Stuttgart : Teubner, Chichester , New York , Brisbane , Toronto , Singapore : Wiley, 1984
ISBN 10: 3519021013
ISBN 13: 9783519021018
Antiguo o usado
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
Pp. Condición: Gut. IX, 230 S. , 24 cm Sofort verfügbar / Versand am folgenden Arbeitstag / mit Rechnung / daily shipping wordwide with invoice / ex library / Sprache: Deutsch Gewicht in Gramm: 550. Nº de ref. del artículo: 124332
Cantidad disponible: 1 disponibles