Language: English
Published by Cambridge University Press 2006-11, 2006
ISBN 10: 0521032512 ISBN 13: 9780521032513
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.
Language: English
Published by Cambridge University Press CUP, 2006
ISBN 10: 0521032512 ISBN 13: 9780521032513
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 288.
Language: English
Published by Cambridge University Press, 1992
ISBN 10: 0521417236 ISBN 13: 9780521417235
Seller: Buchpark, Trebbin, Germany
Condition: Gut. Zustand: Gut | Seiten: 285 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Language: English
Published by Cambridge University Press, 2006
ISBN 10: 0521032512 ISBN 13: 9780521032513
Seller: Majestic Books, Hounslow, United Kingdom
Condition: 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.
Language: English
Published by Cambridge University Press, 2006
ISBN 10: 0521032512 ISBN 13: 9780521032513
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND pp. 288.
Language: English
Published by Cambridge University Press, 2006
ISBN 10: 0521032512 ISBN 13: 9780521032513
Seller: moluna, Greven, Germany
Condition: 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.