Theories of Programming and Formal Methods

Huibiao Zhu, Jim Woodcock, Zhiming Liu, 2013
Ratings
BrandMore from Springer
Delivered between 8.1.2026 and 13.1.2026
More than 10 pieces in stock at supplier
Free shipping starting at 50.–

Product details

The book "Theories of Programming and Formal Methods" is a festschrift published in honor of He Jifeng on the occasion of his 70th birthday in September 2013. It includes 24 peer-reviewed contributions from leading researchers, presented during a celebratory symposium in Shanghai, China, as part of the 10th International Colloquium on Theoretical Aspects of Computing (ICTAC 2013). The contributions cover a wide range of topics, from fundamental and theoretical questions to programs, system issues, and applications. Topics addressed include formal methods, software and system modeling, semantics, programming laws, specification and verification, as well as logic. He Jifeng is known for his pioneering work in the theories of programming and formal methods in software engineering, particularly for the Unifying Theories of Programming (UTP).

Key specifications

Book cover
Paperback
Author
Huibiao Zhu, Jim Woodcock, Zhiming Liu
topic
Technology & IT
Year
2013
Item number
55525560

General information

Publisher
Springer
Category
Reference books
Release date
4.3.2025

Book properties

topic
Technology & IT
Author
Huibiao Zhu, Jim Woodcock, Zhiming Liu
Year
2013
Book cover
Paperback

Origin

Country of origin
Netherlands

Voluntary climate contribution

CO₂-Emission
Climate contribution

30-day right of return if unopened
24 Months Warranty (Bring-in)

Compare products

Goes with

Reviews & Ratings

Warranty score

How often does a product of this brand in the «Reference books» category have a defect within the first 24 months?

Source: Digitec Galaxus
  • 46.Hogrefe
    0.1 %
  • 46.Penguin Random House
    0.1 %
  • 46.Springer
    0.1 %
  • 49.Ariston
    0.2 %
  • 49.Beck C.H.
    0.2 %

Warranty case duration

How many working days on average does it take to process a warranty claim from when it arrives at the service centre until it’s back with the customer?

Source: Digitec Galaxus
  • Springer
    Not enough data
  • Anaconda
    Not enough data
  • Ariston
    Not enough data
  • Avery Publishing Group
    Not enough data
  • Bacopa
    Not enough data

Unfortunately, we don't have enough data for this category yet.

Return rate

How often is a product of this brand in the «Reference books» category returned?

Source: Digitec Galaxus
  • 70.Oxford University Press
    1.2 %
  • 70.Simon & Schuster
    1.2 %
  • 70.Springer
    1.2 %
  • 70.Taylor & Francis
    1.2 %
  • 76.Anaconda
    1.3 %
Source: Digitec Galaxus