LEAN PROGRAMMING for FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks verified computation

Independently Published
LEAN PROGRAMMING for FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks verified computation

Image de LEAN PROGRAMMING for FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks verified computation

Prix à partir de

11,78

En vedette

	11,78 €	Voir l’offre
	11,78 €	Voir l’offre

Description

Amazon LEAN PROGRAMMING FOR FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks for verified computation

Comparer les boutiques en ligne (2)

Shop

Prix

Affranchissement

Prix total

11,78 €

3,00 €

14,78 €

Voir l’offre

3,00 €

11,78 €

3,00 €

14,78 €

Voir l’offre

3,00 €

Description (1)

LEAN PROGRAMMING FOR FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks for verified computation

Spécifications du produit

Marque	Independently Published
EAN	9798271573743

Prix mis à jour pour la dernière fois le : 04-06-2026, 03:25

Independently Published

IDRIS 2 PROGRAMMING FOR DEPENDENT TYPE SYSTEMS: Formal software verification and provably...

11,69 €

Comparer 2 magasins 2 magasins

Independently Published

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

11,77 €

Comparer 2 magasins 2 magasins

Independently Published

ATS programming FOR VERIFIED SOFTWARE DEVELOPMENT: Mathematically proven correctness and type safety in systems

11,58 €

Comparer 2 magasins 2 magasins

Independently Published

HIGH PERFORMANCE DART PROGRAMMING: Parallel Algorithms for Mathematical Computation and Statistical Analysis

11,58 €

Comparer 2 magasins 2 magasins

Choix en vedette

11,78 €

Voir l’offre