Understanding Formal Methods

Authors: Monin, Jean-Francois

Buy this book

eBook $69.99
price for USA in USD (gross)
  • ISBN 978-1-4471-0043-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-1-85233-247-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (12 chapters)

  • Motivation

    Monin, Jean-François, PhD (et al.)

    Pages 1-13

  • Introductory Exercise

    Monin, Jean-François, PhD (et al.)

    Pages 15-34

  • A Presentation of Logical Tools

    Monin, Jean-François, PhD (et al.)

    Pages 35-64

  • Hoare Logic

    Monin, Jean-François, PhD (et al.)

    Pages 65-74

  • Classical Logic

    Monin, Jean-François, PhD (et al.)

    Pages 75-94

Buy this book

eBook $69.99
price for USA in USD (gross)
  • ISBN 978-1-4471-0043-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-1-85233-247-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Understanding Formal Methods
Authors
Translated by
Hinchey, M.G.
Copyright
2003
Publisher
Springer-Verlag London
Copyright Holder
Springer-Verlag London
eBook ISBN
978-1-4471-0043-0
DOI
10.1007/978-1-4471-0043-0
Softcover ISBN
978-1-85233-247-1
Edition Number
1
Number of Pages
XVI, 276
Topics