Demonstrarea interactivă a teoremelor și dezvoltarea programelor (engleză)

· Springer-Verlag Berlin and Heidelberg GmbH & Co. KG · 2010 · broșată · 472 pagini

Demonstrarea interactivă a teoremelor și dezvoltarea programelor (engleză)

Vom trimite întreaga comandă într-un singur colet pentru 1 taxă poștală!
1 653,35 lei
1 653,35 lei
Preț mai mic cu 13 % față de prețul recomandat
Preț normal 1 908,63 lei
Produsul nu este disponibil momentan.
Vizualizați alternativele disponibile.
A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software. citește totul 
Demonstrarea interactivă a teoremelor și dezvoltarea programelor (engleză)
Produsul nu este disponibil momentan.
1 653,35 lei
  • Poate vă atrage
  • Alte cărți ale autorului
  • Alte cărți ale editurii
  • Ultimele vizualizate
  • Autori similari

Autori similari

Recenziile verificate sunt marcate în mod explicit, celelalte nu sunt verificate.
Aici nu sunt deloc recenzii. Fiți primul și scrieți-o pe a voastră!
Váš avatar
Alegeți
Prenume
Recenzia dvs.
0

Cartea vizitelor

Postările astfel marcate sunt autentificate, celelalte sunt neautentificate.

Cooperare engros

Dacă aveți un sortiment interesant, nu ezitați să ne contactați. Oferim comenzi interesante, plăți rapide și o cooperare cu respect.

angrosisti@megacarti.ro

Doar persoanele cu vârsta de peste 18 ani pot cumpăra alcool.

Vă rugăm să confirmați că aveți deja 18 ani.