9781785481123 - computer arithmetic and formal proofs: verifying floating-point algorithms with the coq system (computer engineering) von boldo, sylvie; melquiond, guillaume (2 Ergebnisse)
- Hardcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 155,87
EUR 7,60 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
Zustand: New. pp. 353.
- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 156,66
EUR 14,61 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Hardcover. Zustand: Brand New. 306 pages. 9.00x6.00x1.00 inches. In Stock.
