FORMAL METHODS FOR Software ENGINEERING: Mathematical Modeling Specification Languages Program Verification and Reliable Systems

Prices from
10.25

Featured

COMPARE ALL WEBSHOPS (2)

Description

FORMAL METHODS FOR Software ENGINEERING: Mathematical Modeling Specification Languages Program Verification and Reliable Systems

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
£ 10.25
To Shop
Amazon Marketplace Logo
£ 10.25
To Shop
Description (0)

FORMAL METHODS FOR Software ENGINEERING: Mathematical Modeling Specification Languages Program Verification and Reliable Systems

Product specifications

Brand Independently Published
EAN
  • 9798194156603

Independently Published

FORMAL SPECIFICATION and Systems ENGINEERING: Requirements Modeling Behavioral Verification Architecture Analysis Engineering of Dependable

£ 10.25
Compare 2 stores 2 stores

Springer

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s:...

£ 109.70
More Information More Info

Independently Published

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

£ 9.69
Compare 2 stores 2 stores

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

£ 5.22
More Information More Info
Featured Choice
£ 10.25
To Shop