Constructive Analysis Synthesis Programs by Benini Marco (9 results)

Author: 
Title: 
Refine with Advanced Search

Refine your search

  • Books (9)

  • New (9)
Learn more

to

Custom price range (£)

to

  • Language: English

    Published by Lulu.com, GB 2009

    1445206382 / 9781445206387

    • Hardcover

    Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA

    5-star seller
    Contact seller

    Condition: New

    £ 30.86

     Free Shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Hardback. Condition: New.

  • Language: English

    Published by Lulu.com 2009

    1445206382 / 9781445206387

    • Hardcover

    Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

    5-star seller
    Contact seller

    Condition: New

    £ 27.94

    £ 11.98 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Condition: New. In.

  • Language: English

    Published by Lulu.com, GB 2009

    1445206382 / 9781445206387

    • Hardcover

    Seller: Rarewaves.com UK, London, United KingdomRarewaves.com UK

    5-star seller
    Contact seller

    Condition: New

    £ 26.95

    £ 65.00 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Hardback. Condition: New.

  • Language: English

    Published by Lulu Press 2009

    1445206382 / 9781445206387

    • Hardcover
    • Print on Demand

    Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US

    5-star seller
    Contact seller

    Condition: New

    £ 31.26

     Free Shipping 
    Ships within U.S.A.

    Quantity: Over 20 available

    HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

  • Language: English

    Published by Lulu Press 2009

    1445206382 / 9781445206387

    • Hardcover
    • Print on Demand

    Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK

    5-star seller
    Contact seller

    Condition: New

    £ 28.05

    £ 4.16 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

  • Language: English

    Published by Lulu.com 2009

    1445206382 / 9781445206387

    • Hardcover
    • Print on Demand

    Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE

    5-star seller
    Contact seller

    Condition: New

    £ 31.57

    £ 14.84 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

  • Language: English

    Published by Lulu.com 2009

    1445206382 / 9781445206387

    • Hardcover
    • Print on Demand

    Seller: moluna, Greven, Germanymoluna

    5-star seller
    Contact seller

    Condition: New

    £ 32.11

    £ 42.21 shipping 
    Ships from Germany to U.S.A.

    Quantity: Over 20 available

    Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextrnrnStarting from the analysis of the problem behind formal verification of programs and showing the need for automatic synthesis and analysis of computer programs, the book presents the logical systems to…

  • Language: English

    Published by Lulu.Com 2009

    1445206382 / 9781445206387

    • Hardcover
    • Print on Demand

    Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

    5-star seller
    Contact seller

    Condition: New

    £ 38.41

    £ 53.26 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Buch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Starting from the analysis of the problem behind formal verification of programs and showing the need for automatic synthesis and analysis of computer programs, the book presents the logical systems to reason about programs, the way to encode s…

  • Language: English

    Published by Lulu.com 2009

    1445206382 / 9781445206387

    • Hardcover
    • Print on Demand

    Seller: preigu, Osnabrück, Germanypreigu

    5-star seller
    Contact seller

    Condition: New

    £ 33.37

    £ 60.31 shipping 
    Ships from Germany to U.S.A.

    Quantity: 5 available

    Buch. Condition: Neu. Constructive Analysis and Synthesis of Programs | Marco Benini | Buch | Gebunden | Englisch | 2009 | [.] | EAN 9781445206387 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.