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 →
Theories of Programming and Formal Methods

Theories of Programming and Formal Methods

€ 62,49

Theories of Programming and Formal Methods — Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. An English-language digital edition by Zhiming Liu (Editor); Jim Woodcock (Editor); Huibiao Zhu (Editor), available in PDF.

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-2480137 Category:

Description

About this book

Theories of Programming and Formal Methods — Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. An English-language digital edition by Zhiming Liu (Editor); Jim Woodcock (Editor); Huibiao Zhu (Editor), available in PDF.

Edition details

  • Author / contributors: Zhiming Liu (Editor); Jim Woodcock (Editor); Huibiao Zhu (Editor)
  • Publisher: Springer Berlin Heidelberg
  • Publication date: July 24, 2013
  • Language: English
  • ISBNs: 9783642396977; 9783642396984
  • Digital formats: PDF

Additional information

Author

Zhiming Liu (Editor); Jim Woodcock (Editor); Huibiao Zhu (Editor)
Publisher

Springer Berlin Heidelberg
Language

English
ISBN

9783642396977, 9783642396984
Format

PDF
Publication date

July 24, 2013
DRM

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

Reviews

There are no reviews yet.

Be the first to review “Theories of Programming and Formal Methods”

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

Related products