Isbn: 9781568811451 - symbolic computation and automated reasoning: the calculemus-2000 symposium (12 risultati)
- Rilegato
Da: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Regno UnitoHay-on-Wye Booksellers
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 78,40
EUR 29,28 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Condizione: Very Good. New/unused condition with small scuffs/light scrtches and light staining to the cover. The content is in like new condition.
Symbolic Computation and Automated Reasoning : The Calculemus-2000 Symposium
Calculemus-2000 Symposium; Kerber, Manfred; Kohlhase, Michael; Symposium on the Integration (COR)
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 146,88
EUR 2,33 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Rilegato
Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 145,66
EUR 3,52 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: New. pp. xi + 270.
- Rilegato
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 143,52
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 3 disponibili
Condizione: New. pp. xi + 270.
- Rilegato
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 162,77
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Symbolic Computation and Automated Reasoning : The Calculemus-2000 Symposium
Calculemus-2000 Symposium; Kerber, Manfred; Kohlhase, Michael; Symposium on the Integration (COR)
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 164,39
EUR 2,33 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Symbolic Computation and Automated Reasoning : The Calculemus-2000 Symposium
Calculemus-2000 Symposium; Kerber, Manfred; Kohlhase, Michael; Symposium on the Integration (COR)
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 158,20
EUR 17,57 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 165,43
EUR 13,22 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.
Symbolic Computation and Automated Reasoning : The Calculemus-2000 Symposium
Calculemus-2000 Symposium; Kerber, Manfred; Kohlhase, Michael; Symposium on the Integration (COR)
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 166,37
EUR 17,57 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Rilegato
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 148,44
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Manfred Kerber, Michael KohlhaseWhile mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduct.
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 200,25
EUR 14,64 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. 270 pages. 6.50x9.25x0.75 inches. In Stock.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 205,44
EUR 35,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduction systems indispensable because of the complexity and sheer size of the reasoning tasks involved. This volume is devoted to the integration of computer algebra systems and deduction systems and the results presented will improve the automated design of hardware and software systems. The articles in this collection, presented at the 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, held August 6--7 in St. Andrews, Scotland, address all aspects relating deduction and computer algebra systems.…
