Tipo di articolo
Condizioni
Legatura
Ulteriori caratteristiche
Spedizione gratuita
Paese del venditore
Valutazione venditore
Editore: Cambridge : Cambridge University Press, 1991
ISBN 10: 0521390222ISBN 13: 9780521390224
Da: MW Books, New York, NY, U.S.A.
Libro Prima edizione
First Edition. Very good copy in the colour-printed boards. Spine bands and panel edges somewhat dulled and rubbed as with age. Bumped corners. Some light foxing to prelims. Remains quite well-preserved overall. Physical description: x, 429 pages : illustrations ; 25 cm. Notes: First published: 1991. Includes bibliographical references (p. [407]-409) and index.Contents: Introduction -- Names, functions, and types -- Lists -- Trees and concrete data -- Functions and infinite data -- Reasoning about functional programs -- Modules -- Imperative programming in ml -- Writing interpreters for the -calculus -- Tactical theorem prover. Subjects: Standard ML (Computer program language).ML (Computer program language). ML (Langage de programmation)ML (Computer program language). Funktionale ProgrammierspracheStandard ML 1 Kg.
Editore: Cambridge : Cambridge University Press, 1991
ISBN 10: 0521390222ISBN 13: 9780521390224
Da: MW Books Ltd., Galway, Irlanda
Libro Prima edizione
First Edition. Very good copy in the colour-printed boards. Spine bands and panel edges somewhat dulled and rubbed as with age. Bumped corners. Some light foxing to prelims. Remains quite well-preserved overall. Physical description: x, 429 pages : illustrations ; 25 cm. Notes: First published: 1991. Includes bibliographical references (p. [407]-409) and index.Contents: Introduction -- Names, functions, and types -- Lists -- Trees and concrete data -- Functions and infinite data -- Reasoning about functional programs -- Modules -- Imperative programming in ml -- Writing interpreters for the -calculus -- Tactical theorem prover. Subjects: Standard ML (Computer program language).ML (Computer program language). ML (Langage de programmation)ML (Computer program language). Funktionale ProgrammierspracheStandard ML 1 Kg.
Editore: Cambridge University Press, 1991
ISBN 10: 0521390222ISBN 13: 9780521390224
Da: Buchpark, Trebbin, Germania
Libro
Condizione: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Innen: Geknickt. | Seiten: 439.
Editore: Cambridge University Press, 1991
ISBN 10: 0521390222ISBN 13: 9780521390224
Da: BennettBooksLtd, North Las Vegas, NV, U.S.A.
Libro
Condizione: New. New. In shrink wrap. Looks like an interesting title! 2.05.