The Foundations of Program Verification (Series in Computer Science)

Loeckx, Jacques, Kurt Sieber und Ryan Stansifer:

ISBN 10: 3519121018 / ISBN 13: 9783519121015

Edité par Vieweg+Teubner Verlag 02.1987., 1987

A propos de cet article

239 Seiten 9783519121015 Wir verkaufen nur, was wir auch selbst lesen würden. Sprache: Deutsch Gewicht in Gramm: 550.

N° de réf. du vendeur 88816

Détails bibliographiques

• Titre: The Foundations of Program Verification (Series in Computer Science)
• Éditeur: Vieweg+Teubner Verlag 02.1987.
• Date de parution: 1987
• Langue: allemand
• ISBN à 10 chiffres: 3519121018
• ISBN à 13 chiffres: 9783519121015
• Reliure: hardcover
• Édition: 2.Aufl. 1987.
• État de l'article: Sehr gut