Independently Published

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

1/1

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

Precios a partir de

12,46

Enlaces patrocinados

	12,46 €	Ver oferta
COMPARAR TODAS LAS TIENDAS WEB (1)

Descripción

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

Comparar tiendas web (1)

Enlaces patrocinados · Algunas tiendas nos pagan una remuneración

Ordenar por:

12,46 €

Descripción (0)

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

Especificaciones del producto

Marca	Independently Published
EAN	9798194156603

Independently Published

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

Más información Más info

Independently Published

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

Más información Más info

Independently Published

Dafny for Reliable Software: Practical Specification, Proof, and Program Design

Más información Más info

Independently Published

APPLIED Engineering MATHEMATICS FOR TECHNICAL SYSTEMS: Mathematical Modeling Methods Computational Analysis and...

Más información Más info

Elección Destacada

12,46 €

Ver oferta