Constructive analysis synthesis programs par benini marco (9 résultats)

Auteur: 
Titre: 
Affiner les résultats avec une recherche avancée

Affiner la recherche

  • Livres (9)

  • Neuf (9)
En savoir plus

à

Fourchette de prix personnalisée (EUR)

à

  • Langue : anglais

    Edité par Lulu.com, GB 2009

    1445206382 / 9781445206387

    • Couverture rigide

    Vendeur : Rarewaves.com USA, London, LONDO, Royaume-UniRarewaves.com USA

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 35,69

     Frais de port gratuits 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Hardback. Etat : New.

  • Langue : anglais

    Edité par Lulu.com 2009

    1445206382 / 9781445206387

    • Couverture rigide

    Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 33,35

    EUR 13,88 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. In.

  • Langue : anglais

    Edité par Lulu.com, GB 2009

    1445206382 / 9781445206387

    • Couverture rigide

    Vendeur : Rarewaves.com UK, London, Royaume-UniRarewaves.com UK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 32,17

    EUR 75,32 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Hardback. Etat : New.

  • Langue : anglais

    Edité par Lulu Press 2009

    1445206382 / 9781445206387

    • Couverture rigide
    • impression à la demande

    Vendeur : PBShop.store US, Wood Dale, IL, Etats-UnisPBShop.store US

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 36,18

     Frais de port gratuits 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

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

  • Langue : anglais

    Edité par Lulu Press 2009

    1445206382 / 9781445206387

    • Couverture rigide
    • impression à la demande

    Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-UniPBShop.store UK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 33,48

    EUR 4,82 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

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

  • Langue : anglais

    Edité par Lulu.com 2009

    1445206382 / 9781445206387

    • Couverture rigide
    • impression à la demande

    Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-UniTHE SAINT BOOKSTORE

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 37,68

    EUR 17,20 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

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

  • Langue : anglais

    Edité par Lulu.com 2009

    1445206382 / 9781445206387

    • Couverture rigide
    • impression à la demande

    Vendeur : moluna, Greven, Allemagnemoluna

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 36,18

    EUR 48,99 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : 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 reas…

  • Langue : anglais

    Edité par Lulu.Com 2009

    1445206382 / 9781445206387

    • Couverture rigide
    • impression à la demande

    Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 43,28

    EUR 61,82 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Buch. Etat : 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 speci…

  • Langue : anglais

    Edité par Lulu.com 2009

    1445206382 / 9781445206387

    • Couverture rigide
    • impression à la demande

    Vendeur : preigu, Osnabrück, Allemagnepreigu

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 37,60

    EUR 70,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 5 disponible(s)

    Buch. Etat : 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.