A little wonder in every chapter. Find your next favourite read
bookorelle.A LITTLE WONDER IN EVERY CHAPTER
♡0Bag 0
Need a hand? Visit our FAQ →
Theory and Practice of Formal Methods

Theory and Practice of Formal Methods

€ 62,49

A research volume honouring Frank de Boer and his work in formal methods. The collection reflects interests spanning mathematical descriptions of programs, concurrency, verification and the behaviour of complex software systems.

Download format: PDF (.pdf). Available files can be downloaded from My books immediately after payment is confirmed. We also email you a download link. If your edition needs file preparation, your account shows its pending status; the download and email follow upload and staff approval.

SKU: EBC-2549252 Category:

Description

About this book

A research volume honouring Frank de Boer and his work in formal methods. The collection reflects interests spanning mathematical descriptions of programs, concurrency, verification and the behaviour of complex software systems.

Edition details

  • Author / contributors: Erika Ábrahám (Editor); Marcello Bonsangue (Editor); Einar Broch Johnsen (Editor)
  • Publisher: Springer International Publishing
  • Publication date: March 12, 2016
  • Language: English
  • ISBNs: 9783319307336; 9783319307343
  • Digital formats: PDF

Additional information

Author

Erika Ábrahám (Editor); Marcello Bonsangue (Editor); Einar Broch Johnsen (Editor)
Publisher

Springer International Publishing
Language

English
ISBN

9783319307336, 9783319307343
Format

PDF
Publication date

March 12, 2016
DRM

DRM-free edition available
Download format PDF (.pdf)

Reviews

There are no reviews yet.

Be the first to review “Theory and Practice of Formal Methods”

Your email address will not be published. Required fields are marked *

Related products