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

Preise von
11,95

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

Amazon LEAN PROGRAMMING FOR FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks for verified computation
Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

Shop
Preis
Versandkosten
Total price
Amazon Logo
11,95 €
Gratis
11,95 €
Zum Shop
Gratis Shipping Costs
Amazon Marketplace Logo
11,95 €
Gratis
11,95 €
Zum Shop
Gratis Shipping Costs
Beschreibung (1)

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

Produktspezifikationen

Marken Independently Published
EAN
  • 9798271573743

Independently Published

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

11,94 €
2 Shops vergleichen 2 Shops

Springer

the Mathematical Function Computation Handbook: Programming Using MathCW Portable Software Library

184,01 €
2 Shops vergleichen 2 Shops

Cambridge University Press

Proof Theory and Logic Programming: Computation as Search

75,96 €
Weitere Informationen Mehr Infos

Independently Published

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

11,75 €
2 Shops vergleichen 2 Shops
Hervorgehobene Wahl
11,95 €
Zum Shop