P padawitz peter padawitz (4 risultati)

Lingua: Inglese
Editore: Cambridge University Press CUP, 2006
Serie: Libro 15 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 93,19
EUR 3,55 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 288.

Lingua: Inglese
Editore: Cambridge University Press, 2006
Serie: Libro 15 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 93,07
EUR 7,65 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. 288 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.

Lingua: Inglese
Editore: Cambridge University Press, 2006
Serie: Libro 15 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 92,49
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. 288.

Lingua: Inglese
Editore: Cambridge University Press, 2006
Serie: Libro 15 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 68,57
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.InhaltsverzeichnisIntroduction 1. Preliminaries 2. Guards, generators and constructors 3. Mod.…