Formal methods program verification specification par berg franta moher boebert (1 résultats)

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

Affiner la recherche

  • Livres (1)

En savoir plus

à

Fourchette de prix personnalisée (EUR)

à

    • Langue : anglais

      Edité par UMN, Honeywell and Institut fur Technische Informatik, 1979

      • Couverture souple
      • Édition originale

      Vendeur : Mythos Center Books, Frontenac, MN, Etats-UnisMythos Center Books

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

      Etat: Occasion - Satisfaisant

      EUR 26,67

      EUR 3,88 expédition 
      Expédition nationale : Etats-Unis

      Quantité disponible : 1 disponible(s)

      Ajouter au panier

      Paperback. Etat : Good. First edition. Quarto, stiff wraps with black backstrip. Wraps are silverfished at head. 117 pages with references. Large program design and management. Laid in (may or may not be related) "Computation of Achromatic Objectives" by Robert E. Stephens. NBS Circular 549.