Independently Published

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

Name: MASTERING LEAN FOR FORMAL VERIFICATION: Interactive theorem proving proof assistants and verified software development
Brand: Independently Published
SKU: a4dc104b2ea1c3e54800bc25219e7edf

1/1

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

Amazon Marketplace

Preise von

11,89

Hervorgehoben

	11,89 €	Zum Shop
	11,89 €	Zum Shop
ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

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

Webshops vergleichen (2)

Shop

Preis

Versandkosten

Total price

11,89 €

Gratis

11,89 €

Zum Shop

Gratis

11,89 €

Gratis

11,89 €

Zum Shop

Gratis

Beschreibung (0)

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

Produktspezifikationen

Marken	Independently Published
EAN	9798194130320

Independently Published

LEAN FOR FORMAL PROGRAM VERIFICATION: Interactive theorem proving proof assistants and mathematically...

12,99 €

2 Shops vergleichen 2 Shops

Springer

Automated Theorem Proving in Software Engineering

64,19 €

2 Shops vergleichen 2 Shops

HiTeX Press

Idris Unleashed: Type-Driven Development and Theorem Proving in Functional Programming

37,10 €

2 Shops vergleichen 2 Shops

Wiley

Lean Architecture: for Agile Software Development

36,90 €

2 Shops vergleichen 2 Shops

Jetzt beliebt

Kategorien

Beliebte Kategorien

Marken

Verkäufer

Beliebte Kategorien

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

Beschreibung

Produktspezifikationen