Skip to main content
  • Book
  • © 1982

Axiomatising the Logic of Computer Programming

Authors:

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 130)

Buying options

eBook USD 19.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-39038-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 27.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (7 chapters)

  1. Front Matter

  2. Assignments

    Pages 108-182
  3. Function declarations

    Pages 205-237
  4. Procedures

    Pages 238-250
  5. Arrays

    Pages 251-282
  6. Back Matter

Keywords

  • Programmierlogik
  • computer
  • computer programming
  • function
  • logic
  • programming

Bibliographic Information

Buying options

eBook USD 19.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-39038-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 27.99
Price excludes VAT (USA)