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

Prices from
11.98

Sponsored links

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)

Sponsored links · Some shops pay us a fee

Sort by:

€ 11.98

€ 11.98

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

RELIABLE COMPUTING THROUGH FORMAL VERIFICATION: Software Assurance Algorithm Verification Mathematical Proofs and...

€ 11.98
Compare 2 stores 2 stores

Independently Published

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

€ 11.98
Compare 2 stores 2 stores

Betascript Publishers

Program Refinement: Formal Methods, Verification, Specification, Executable Program, Stepwise Refinement, Implication

€ 108.41
Compare 2 stores 2 stores

OmniScriptum

Formal Methods: Software engineering, specification, language, semantics of programming languages, Theoretical computer science

€ 108.41
Compare 2 stores 2 stores
Featured Choice
€ 11.98
To Shop