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.

Description

About this book

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”

Unifying Theories of Programming and Formal Engineering Methods

Description

About this book

Edition details

Additional information

Reviews

Related products

The story of John Smeaton and the Eddystone lighthouse

Ancient and modern engineering and the Isthmian canal

Unreal Engine 5 Performance Optimization Cookbook

Elementary lathe practice