Clement timothy (7 Ergebnisse)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 79,86
EUR 11,61 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 288 pages. 9.26x6.11x0.65 inches. In Stock.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 81,58
EUR 14,51 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 348 pages. 9.61x6.69x0.79 inches. In Stock.
Verlag: Editions de l'Université de Bruxelles, Bruxelles, 1976
- Softcover
Anbieter: LibrairieLaLettre2, Villefranche de Lauragais, FrankreichLibrairieLaLettre2
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut bis sehr gut
EUR 20,00
EUR 35,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
Broché. Zustand: Bon état. in-8 Description :194 pp. Langue : Français/Anglais Nb de volumes : 1.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 99,33
EUR 13,91 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 64,08
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. The techniques involved in synthesis and transformation are .
Sprache: Englisch
Verlag: Springer, Berlin, Springer London, Springer, 1992
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 79,32
EUR 63,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Neuware - Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. The techniques involved in synthesis and transformation are extremely important as they allow th…e systematic construction of correct and efficient programs and have the potential to enhance current methods of software production. Transformation strategies are also being widely used in the field of logic program development. LOPSTR 91 was the first workshop to deal exclusively with both logic program synthesis and transformation and, as such, filled an obvious gap in the existing range of logic programming workshops. In attempting to cover the subject as comprehensively as possible, the workshop brought together researchers with an interest in all aspects of logic (including Horn Clause and first order logic) and all approaches to program synthesis and transformation. Logic Program Synthesis and Transformation provides a complete record of the workshop, with all the papers reproduced either in full or as extended abstracts. They cover a wide range of aspects, both practical and theoretical, including the use of mode input-output in program transformation, program specification and synthesis in constructive formal systems and a case study in formal program development in modular Prolog. This volume provides a comprehensive overview of current research and will be invaluable to researchers and postgraduate students who wish to enhance their understanding of logic programming techniques.
Weitere BilderVerlag: S. H. Colesworthy, Portland [Maine], 1836
- Softcover
- Erstausgabe
Anbieter: Type Punch Matrix, Silver Spring, MD, USAType Punch Matrix
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 360,99
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Very good. First Edition. First edition of this moralizing chapbook about the merits to be earned with good behavior - a remarkably scarce title. THE HAPPY FAMILY is a rather amusing example of the economy with which many early US American chapbooks were produced. From the rather off-center front wrapper printing to a c…hange in the size of type midway through the text to an unfortunate typo on page 23 (poor Jizzle indeed), it is clear that the publisher cut a number of production corners - giving the modern historian an interesting peek into the process of printing a chapbook. This is quite a rare title - it does not appear in Rosenbach or Osborne, and OCLC locates only one holding. A real charmer. 4.75'' x 4''. Original pink pictorial wrapper. Black-and-white woodcut frontispiece with eight woodcut illustrations. 31 pages, first and last pages pasted to wrappers; pages 15-29 misnumbered 17-31, as usual. Early owner name to frontispiece twice, "Ellen A. Whitcomb." Some illustrations with a bit of contemporary coloring by a naive hand. Wrapper with some soil and spotting; some toning to rear. Leaves with light edgewear, trace damp staining to upper half of book. Shallow crease to center of wrapper and leaves. Sound.
