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

Unifying Theories of Programming and Formal Engineering Methods

€ 62,49

Unifying Theories of Programming and Formal Engineering Methods — International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures. 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-2480141 Category:

Description

About this book

Unifying Theories of Programming and Formal Engineering Methods — International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures. 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: August 21, 2013
  • Language: English
  • ISBNs: 9783642397202; 9783642397219
  • Digital formats: PDF

Additional information

Author

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

Springer Berlin Heidelberg
Language

English
ISBN

9783642397202, 9783642397219
Format

PDF
Publication date

August 21, 2013
DRM

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

Reviews

There are no reviews yet.

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

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

Related products