Algebraic Methodology And Software Technology 5th International Conference Am

139.00 CHF
+ 15.49 CHF Livraison

Algebraic Methodology And Software Technology 5th International Conference Am

Vendu par:
  • product image

139.00 CHF

En stock
+ 15.49 CHF Livraison

Retours sous 14 jours

Modes de paiement:

Détails du produit

Détails du produit

Algebraic Methodology And Software Technology 5th International Conference Am

This Book Constitutes The Refereed Proceedings Of The 5th International Conference On Algebraic Methodology And Software Technology, Amast '96, Held In Munich, Germany, In July 1996.the Book Presents 25 Revised Full Papers Selected From A Total Of 67 Submissions And 23 System Demonstrations; Also Included Are Six Invited Talks And Six Invited Presentations Of The Amast Education Day On Industrial Applications Of Formal Methods. The Full Papers Are Organized In Topical Sections On Theorem Proving, Algebraic Specification, Concurrent And Reactive Systems, Program Verification, Logic Programming And Term Rewriting, And Algebraic And Logical Foundations.
  • Marque: Springer Nature B.V
  • Catégorie: Informatique et Internet
  • Auteur: Springer Nature B.V
  • Nombre de pages: 660
  • Date de publication: 1996-06-19
  • Editeur / Label: Springer Nature B.V
  • Format: Paperback
  • Langue: English
  • Identifiant Fruugo: 557247366-1125517182
  • ISBN: 9783540614630
Livraison

Livraison

Expédié sous 24 h

  • STANDARD: 15.49 CHF - Livraison entre jeu. 12 novembre 2026–lun. 16 novembre 2026

Expédié depuis le Royaume-Uni.

Retours

Retours

Nous mettons tout en œuvre pour que les produits que vous commandez vous soient livrés dans leur intégralité et conformément à votre commande. Néanmoins, si vous recevez une commande incomplète, des articles différents de ceux commandés ou si, pour toute autre raison, la commande ne vous satisfait pas, vous pouvez retourner la commande ou tout produit inclus dans celle-ci et obtenir le remboursement intégral des articles retournés.

Consulter la politique de retour complète