Idioma: Inglés
Publicado por Cambridge University Press 2006-11, 2006
ISBN 10: 0521032512 ISBN 13: 9780521032513
Librería: Chiron Media, Wallingford, Reino Unido
EUR 57,09
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Idioma: Inglés
Publicado por Cambridge University Press CUP, 2006
ISBN 10: 0521032512 ISBN 13: 9780521032513
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 84,36
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 288.
Idioma: Inglés
Publicado por Cambridge University Press, 1992
ISBN 10: 0521417236 ISBN 13: 9780521417235
Librería: Buchpark, Trebbin, Alemania
EUR 27,06
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Gut. Zustand: Gut | Seiten: 285 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Idioma: Inglés
Publicado por Cambridge University Press, 2006
ISBN 10: 0521032512 ISBN 13: 9780521032513
Librería: Majestic Books, Hounslow, Reino Unido
EUR 84,35
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: 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.
Idioma: Inglés
Publicado por Cambridge University Press, 2006
ISBN 10: 0521032512 ISBN 13: 9780521032513
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 85,75
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 288.
Idioma: Inglés
Publicado por Cambridge University Press, 2006
ISBN 10: 0521032512 ISBN 13: 9780521032513
Librería: moluna, Greven, Alemania
EUR 66,08
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: 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.