Lectures logic computer programming par manna zohar (14 résultats)

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

Affiner la recherche

  • Livres (14)

En savoir plus

à

Fourchette de prix personnalisée (EUR)

à

  • Langue : anglais

    Edité par Society for Industrial and Applied Mathematics, 1980

    0898711649 / 9780898711646

    • Couverture souple

    Vendeur : Ammareal, Morangis, FranceAmmareal

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

    Etat: Occasion - Bon

    EUR 3,99

    EUR 16,50 expédition 
    Expédition depuis France vers Etats-Unis

    Quantité disponible : 1 disponible

    Softcover. Etat : Bon. Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1980. Tome 31. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritativ ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slightly creased cover. Slight signs of wear on the cover. Stains on the edge. Edition 1980. Volume 31. Ammareal gives back up to 15% of this item's net price to charity organizations.…

  • Langue : anglais

    Edité par Society for Industrial and Applied Mathematics, 1987

    0898711649 / 9780898711646

    • Couverture souple

    Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

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

    Etat: Neuf

    EUR 49,47

    EUR 2,35 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 2 disponibles

    Etat : New.

  • Langue : anglais

    Edité par Society for Industrial and Applied Mathematics,U.S., US, 1987

    0898711649 / 9780898711646

    • Couverture souple

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

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

    Etat: Neuf

    EUR 51,90

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

    Quantité disponible : 1 disponible

    Paperback. Etat : New. This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and that a system of rewriting rules always halts. Also, the author describes the intermediate behavior of a given program, and discusses constructing a program to meet a given specification.…

  • Langue : anglais

    Edité par MP-SIA SIAM - Society for Industrial and Applied M, 1987

    0898711649 / 9780898711646

    • Couverture souple

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

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

    Etat: Neuf

    EUR 48,08

    EUR 3,92 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 2 disponibles

    PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000.

  • Langue : anglais

    Edité par Society for Industrial and Applied Mathematics, 1987

    0898711649 / 9780898711646

    • Couverture souple

    Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

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

    Etat: Occasion - Comme neuf

    EUR 51,96

    EUR 2,35 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 2 disponibles

    Etat : As New. Unread book in perfect condition.

  • Langue : anglais

    Edité par Society for Industrial & Applied, 1987

    0898711649 / 9780898711646

    • Couverture souple

    Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

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

    Etat: Neuf

    EUR 46,23

    EUR 11,91 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 2 disponibles

    Paperback. Etat : Brand New. 49 pages. 10.00x7.00x0.25 inches. In Stock.

  • Langue : anglais

    Edité par Society for Industrial and Applied Mathematics, 1987

    0898711649 / 9780898711646

    • Couverture souple

    Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.

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

    Etat: Neuf

    EUR 50,48

    EUR 9,50 expédition 
    Expédition depuis Irlande vers Etats-Unis

    Quantité disponible : 1 disponible

    Etat : New. 1987. paperback. . . . . .

  • Langue : anglais

    Edité par Society for Industrial and Applied Mathematics, 1987

    0898711649 / 9780898711646

    • Couverture souple

    Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

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

    Etat: Neuf

    EUR 48,06

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

    Quantité disponible : 2 disponibles

    Etat : New.

  • Langue : anglais

    Edité par Society for Industrial & Applied Mathematics,U.S., 1987

    0898711649 / 9780898711646

    • Couverture souple

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

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

    Etat: Neuf

    EUR 56,93

    EUR 14,59 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 2 disponibles

    Paperback. Etat : New. New copy - Usually dispatched within 4 working days.

  • Langue : anglais

    Edité par Society for Industrial and Applied Mathematics, 1987

    0898711649 / 9780898711646

    • Couverture souple

    Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore

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

    Etat: Neuf

    EUR 63,67

    EUR 9,35 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible

    Etat : New. 1987. paperback. . . . . . Books ship from the US and Ireland.

  • Langue : anglais

    Edité par Society for Industrial and Applied Mathematics, 1987

    0898711649 / 9780898711646

    • Couverture souple

    Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

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

    Etat: Occasion - Comme neuf

    EUR 55,58

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

    Quantité disponible : 2 disponibles

    Etat : As New. Unread book in perfect condition.

  • Langue : anglais

    Edité par Society for Industrial and Applied Mathematics, 1987

    0898711649 / 9780898711646

    • Couverture souple

    Vendeur : moluna, Greven, Allemagnemoluna

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

    Etat: Neuf

    EUR 54,34

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

    Quantité disponible : 2 disponibles

    Etat : New.

  • Langue : anglais

    Edité par Society for Industrial and Applied Mathematics, 1987

    0898711649 / 9780898711646

    • Couverture souple

    Vendeur : SHIMEDIA, Brooklyn, NY, Etats-UnisSHIMEDIA

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

    Etat: Neuf

    EUR 119,27

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

    Quantité disponible : 1 disponible

    Etat : New. Satisfaction Guaranteed or your money back.

  • Langue : anglais

    Edité par Society for Industrial and Applied Mathematics,U.S., US, 1987

    0898711649 / 9780898711646

    • Couverture souple

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

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

    Etat: Neuf

    EUR 50,65

    EUR 77,43 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible

    Paperback. Etat : New. This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and that a system of rewriting rules always halts. Also, the author describes the intermediate behavior of a given program, and discusses constructing a program to meet a given specification.…