Buth k h (5 risultati)
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De; Engelhardt, Kai; Buth, K. H.; De Roever, Willem-Paul
Lingua: Inglese
Editore: Cambridge University Press, 1999
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 29 di 40. Libro 29 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 166,89
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De; Engelhardt, Kai; Buth, K. H.; De Roever, Willem-Paul
Lingua: Inglese
Editore: Cambridge University Press, 1999
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 29 di 40. Libro 29 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 168,18
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De; Engelhardt, Kai; Buth, K. H.; De Roever, Willem-Paul
Lingua: Inglese
Editore: Cambridge University Press, 1999
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 29 di 40. Libro 29 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 159,56
EUR 17,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De; Engelhardt, Kai; Buth, K. H.; De Roever, Willem-Paul
Lingua: Inglese
Editore: Cambridge University Press, 1999
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 29 di 40. Libro 29 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 176,96
EUR 17,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Data Refinement: Model-Oriented Proof Methods and Their Comparison
Roever, W. P. De/ Engelhardt, Kai/ Buth, K. H./ De Roever, Willem-Paul
Lingua: Inglese
Editore: Cambridge Univ Pr, 1998
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 29 di 40. Libro 29 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Print on Demand
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 174,56
EUR 14,59 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Brand New. 423 pages. 9.50x6.50x1.25 inches. In Stock. This item is printed on demand.
