Independently Published

LEAN FOR FORMAL PROGRAM VERIFICATION: Interactive theorem proving proof assistants and mathematically verified software development

1/1

Image de LEAN FOR FORMAL PROGRAM VERIFICATION: Interactive theorem proving proof assistants and mathematically verified software development

Prix à partir de

12,87

En vedette

	12,87 €	Voir l’offre
COMPARER TOUS LES MAGASINS EN LIGNE (1)

Description

LEAN FOR FORMAL PROGRAM VERIFICATION: Interactive theorem proving proof assistants and mathematically verified software development

Comparer les boutiques en ligne (1)

Shop

Prix

Affranchissement

Prix total

12,87 €

Gratuit

12,87 €

Voir l’offre

Gratuit

Description (0)

LEAN FOR FORMAL PROGRAM VERIFICATION: Interactive theorem proving proof assistants and mathematically verified software development

Spécifications du produit

Marque	Independently Published
EAN	9798188923969

Independently Published

MASTERING LEAN FOR FORMAL VERIFICATION: Interactive theorem proving proof assistants and verified software development

Plus d'informations Plus infos

OmniScriptum

Automated Theorem Proving: reasoning, Mathematical proof, Agda (theorem prover), theorem, Computer program,...

Plus d'informations Plus infos

Independently Published

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

Plus d'informations Plus infos

Independently Published

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

Plus d'informations Plus infos

Choix en vedette

12,87 €

Voir l’offre