Formal Methods in Programming and Their Applications

Langue : anglais

Edité par Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1993

354057316X / 9783540573166

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

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 juin 2025

Afficher les articles de ce vendeur
Livre broché

Etat: Neuf

EUR 66,68

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

Quantité disponible : Plus de 20 disponibles

Ajouter au panier
Retours gratuits sous 30 jours

Item description from seller

This volume comprises the papers selected for presentationat the international conference on Formal Methods inProgramming and Their Applications, held in Academgorodok,Novosibirsk, Russia, June-July 1993. The conference wasorganized by the Institute of Informatics Systems of theSiberian Division of the Russian Academy of Sciences and wasthe first forum organized by the Institute which wasentirely dedicated to formal methods.The main scientific tracks of the conference were centeredaround formal methods of program development and programconstruction. The papers in the book are grouped intothe following parts:- formal semantics methods- algebraic specification methods- semantic program analysis and abstract interpretation- semantics of parallelism- logic of programs- software specification and verification- transformational development and program synthesis.

N° de réf. du vendeur LU-9783540573166

Titre
Formal Methods in Programming and Their Applications
Auteur
Dines Bjørner, Manfred Broy, Igor V. Pottosin
Éditeur
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE
Année de publication
1993
État de l'article
New
Reliure
Paperback
Langue
anglais
ISBN à 10 chiffres
354057316X
ISBN à 13 chiffres
9783540573166
Édition
1993 ed.
Poids de l'article
626 grammes
Dimensions
15.49 x 2.59 x 23.5 cm

Rarewaves.com UK

London, Royaume-Uni

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 juin 2025

Frais d'expédition de Royaume-Uni vers Etats-Unis

Article60 à 60 jours ouvrés60 à 60 jours ouvrés
Premier articleEUR 75,80EUR 116,62
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Profil professionnel du vendeur

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, Royaume-Uni W1W 8BE