A Practical Theory of Programming

Eric C. R. Hehner

ISBN 10: 1461264448 / ISBN 13: 9781461264446

Published by Springer, 2012

About this Item

A Practical Theory of Programming | Eric C. R. Hehner | Taschenbuch | X | Englisch | 2012 | Springer | EAN 9781461264446 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Seller Inventory # 105651597

Bibliographic Details

• Title: A Practical Theory of Programming
• Publisher: Springer
• Publication Date: 2012
• Language: English
• ISBN 10: 1461264448
• ISBN 13: 9781461264446
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 254W x 178H x 15D millimeters 254 millimeters width by 178 millimeters height by 15 millimeters depth
• Weight: 496 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

This book explores aspects of programming that are amenable to mathematical proof. The author describes a programming theory which is simpler and more comprehensive than the current theories to date. The text will be useful to students in courses on programming methodology or verification at the advanced undergraduate or beginning graduate level, as well as for software engineers in the field.