Gagert (3 risultati)
Programming and Proof System Ates : Advanced Techniques Integration into Efficient Scientific Software
Puccetti, Armand (EDT); Brocard, D. (CON); Gagert, P. (CON); Gribomont, P. (CON); Pirotte, O. (CON)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 147,01
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 118,64
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Today, people use a large number of systems ranging in complexity from washing machines to international airline reservation systems. Computers are used in nearly all such systems: accuracy and security are becoming increasingly essential. The design of s.
Programming and Proof System Ates : Advanced Techniques Integration into Efficient Scientific Software
Puccetti, Armand (EDT); Brocard, D. (CON); Gagert, P. (CON); Gribomont, P. (CON); Pirotte, O. (CON)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 217,94
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: As New. Unread book in perfect condition.
