Lets Explore,
Cover of Formal Methods and Software Engineering

Formal Methods and Software Engineering

(Paperback)

Zhiming Liu,

Springer (Publisher)

Published
05/09/2008
Reviews
0
Computing and Information TechnologyComputer programming / software engineeringProgramming and scripting languages: general

Ships within days

Out Of Stock

₹0.00
₹0.00
0% off
No description available.

More books by Zhiming Liu

Cover of Foundations of Health Informatics Engineering and Systems

Foundations of Health Informatics Engineering and Systems

Zhiming Liu

₹5152.0₹3148.62
Cover of Theoretical Aspects of Computing - ICTAC 2004

Theoretical Aspects of Computing - ICTAC 2004

Keijiro Araki

₹11199.0₹6843.35
Cover of Formal Aspects of Component Software

Formal Aspects of Component Software

Zhiming Liu

₹5599.0₹3475.51
Cover of Theoretical Aspects of Computing - ICTAC 2007

Theoretical Aspects of Computing - ICTAC 2007

Zhiming Liu

₹2328.0₹2258.16
Cover of Theoretical Aspects of Computing -- ICTAC 2013

Theoretical Aspects of Computing -- ICTAC 2013

Jim Woodcock

₹5599.0₹3475.51
Cover of Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

Zhiming Liu

₹5599.0₹3475.51
Cover of Formal Methods and Hybrid Real-Time Systems

Formal Methods and Hybrid Real-Time Systems

Jim Woodcock

₹2835.0₹2749.95
Cover of Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

Zhiming Liu

₹5599.0₹3475.51
Cover of Dependable Software Engineering: Theories, Tools, and Applications

Dependable Software Engineering: Theories, Tools, and Applications

Zhiming Liu

₹5376.0₹3337.77
Cover of Theoretical Aspects of Computing – ICTAC 2025

Theoretical Aspects of Computing – ICTAC 2025

Zhiming Liu

₹8287.0₹5064.37
Cover of Theoretical Aspects of Computing – ICTAC 2022

Theoretical Aspects of Computing – ICTAC 2022

Zhiming Liu

₹5599.0₹3475.51
Cover of Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

Zhiming Liu

₹5599.0₹3475.51
Cover of Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Zhiming Liu

₹5599.0₹3475.51
Cover of Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

Zhiming Liu

₹5599.0₹3475.51
Cover of Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

Zhiming Liu

₹5599.0₹3475.51
Cover of Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

Zhiming Liu

₹6495.0₹3969.24
Cover of Mathematical Frameworks For Component Software: Models For Analysis And Synthesis

Mathematical Frameworks For Component Software: Models For Analysis And Synthesis

Zhiming Liu

₹7206.0₹6989.82
Cover of Formal Methods and Software Engineering

Formal Methods and Software Engineering

Zhiming Liu

₹11199.0₹4562.88
Cover of Theories of Programming and Formal Methods

Theories of Programming and Formal Methods

Jim Woodcock

₹5599.0₹3475.51
Cover of Unifying Theories of Programming and Formal Engineering Methods

Unifying Theories of Programming and Formal Engineering Methods

Jim Woodcock

₹5599.0₹3475.51
Cover of Web-Age Information Management

Web-Age Information Management

Kyuseok Shim

₹5599.0₹3475.51
Cover of Domain Modeling and the Duration Calculus

Domain Modeling and the Duration Calculus

Chris George

₹2835.0₹2749.95
Cover of Environmental Catalysis and Air Pollution Control

Environmental Catalysis and Air Pollution Control

Zhiming Liu

₹7971.0₹5936.84
Cover of Mathematical Frameworks for Component Software

Mathematical Frameworks for Component Software

Zhiming Liu

₹0.0
Cover of Formal Methods and Software Engineering

Formal Methods and Software Engineering

Zhiming Liu

₹2201.45₹2135.41
Cover of Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Zhiming Liu

₹2201.45₹2135.41
Cover of Mathematical Frameworks for Component Software

Mathematical Frameworks for Component Software

Zhiming Liu

₹13183.54₹12788.03
Cover of Formal Aspects of Component Software

Formal Aspects of Component Software

Zhiming Liu

₹2201.45₹2135.41
Cover of Mathematical Frameworks for Component Software

Mathematical Frameworks for Component Software

Zhiming Liu

₹0.0
Cover of Theoretical Aspects of Computing - Ictac 2004

Theoretical Aspects of Computing - Ictac 2004

Keijiro Araki

₹2201.45₹2135.41

Similar Products

Cover of Formal Methods and Software Engineering

Formal Methods and Software Engineering

Zhiming Liu

₹11199.0₹4562.88
Cover of Mathematical Frameworks for Component Software

Mathematical Frameworks for Component Software

Zhiming Liu

₹0.0
Cover of Mathematical Frameworks for Component Software

Mathematical Frameworks for Component Software

Zhiming Liu

₹13183.54₹12788.03
Cover of Mathematical Frameworks for Component Software

Mathematical Frameworks for Component Software

Zhiming Liu

₹0.0
Cover of Mathematical Frameworks For Component Software: Models For Analysis And Synthesis

Mathematical Frameworks For Component Software: Models For Analysis And Synthesis

Zhiming Liu

₹7206.0₹6989.82
Cover of Formal Aspects of Component Software

Formal Aspects of Component Software

Zhiming Liu

₹2201.45₹2135.41
Cover of Formal Aspects of Component Software

Formal Aspects of Component Software

Zhiming Liu

₹5599.0₹3475.51
Cover of Unifying Theories of Programming and Formal Engineering Methods

Unifying Theories of Programming and Formal Engineering Methods

Liu Zhiming Liu

₹4323.15₹4236.69
Vidya AI