The Programming and Proof System Ates: Advanced Techniques Integration into Efficient Scientific Software - Armand Puccetti, D. Brocard, P. Gagert, P. Gribomont, O. Pirotte, A. Pucetti, J. Raguideau, A. Remouchamps et E. Ten Cate | DealShopping France
  1. Page d’accueil
  2. Médias
  3. Livres
  4. The Programming and Proof System Ates: Advanced Techniques Integration into Efficient Scientific Software - Armand Puccetti, D. Brocard, P. Gagert, P. Gribomont, O. Pirotte, A. Pucetti, J. Raguideau, A. Remouchamps et E. Ten Cate
  • #
  • #

The Programming and Proof System Ates: Advanced Techniques Integration into Efficient Scientific Software - Armand Puccetti, D. Brocard, P. Gagert, P. Gribomont, O. Pirotte, A. Pucetti, J. Raguideau, A. Remouchamps et E. Ten Cate

6.64 EUR

Partager:

Produits connexes

The Synthesizer Mark Vail

The Synthesizer Mark Vail

90.34 EUR
Guttag, John V. Introduction To Computation And Programming Using Python

Guttag, John V. Introduction To Computation And Programming Using Python

46.99 EUR
McDowell, Gayle Laakmann Cracking The Coding Interview, 6th Edition: 189 Programming Questions And Solutions

McDowell, Gayle Laakmann Cracking The Coding Interview, 6th Edition: 189 Programming Questions And Solutions

68.58 EUR
Guttag, John V. Introduction To Computation And Programming Using Python

Guttag, John V. Introduction To Computation And Programming Using Python

29.49 EUR
McDowell, Gayle Laakmann Cracking The Coding Interview, 6th Edition: 189 Programming Questions And Solutions

McDowell, Gayle Laakmann Cracking The Coding Interview, 6th Edition: 189 Programming Questions And Solutions

31.88 EUR
Andrew Williams Building Cross-Platform Gui Applications With Fyne: Create Beautiful, Platform-Agnostic Graphical Applications Using Fyne And The Go Programming Language

Andrew Williams Building Cross-Platform Gui Applications With Fyne: Create Beautiful, Platform-Agnostic Graphical Applications Using Fyne And The Go Programming Language

13.49 EUR