Mathematical Methods of Specification and Synthesis of Software Systems 85

Langue : anglais

Edité par Springer Berlin Heidelberg, 1986

3540164448 / 9783540164449

Vendeur : moluna, Greven, Allemagnemoluna

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 9 juillet 2020

Livre broché

Etat: Neuf

EUR 48,37

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

Quantité disponible : Plus de 20 disponibles

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Verification of an alternating bit protocol by means of process algebra protocol.- Predicative programming revisited.- Some problems on inductive inference from positive data.- Language and example of knowledge-based programming.- Inductive inference hierar.

N° de réf. du vendeur 4883031

Détails bibliographiques

Titre
Mathematical Methods of Specification and Synthesis of Software Systems 85
Auteur
Bibel, Wolfgang|Jantke, Klaus P.
Éditeur
Springer Berlin Heidelberg
Année de publication
1986
État de l'article
New
Reliure
Couverture souple
Langue
anglais
ISBN à 10 chiffres
3540164448
ISBN à 13 chiffres
9783540164449
Catalogues du vendeur
Mathematik/Naturwissenschaften/Technik/Medizin

moluna

Greven, Allemagne

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 9 juillet 2020

Frais d'expédition de Allemagne vers Etats-Unis

Article16 à 45 jours ouvrés16 à 45 jours ouvrés
Premier articleEUR 48,99EUR 48,99
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
  • Chèque
  • Paypal
  • Virement bancaire

Description de la boutique

Online Handel nur mit Neubüchern

Profil professionnel du vendeur

Moluna GmbH

Engberdingdamm 27
Greven, Allemagne 48268

Mentions légales

Indicateur légal d'éditeur

Moluna GmbH
représenté par le directeur : Helge Blischke
Engberdingdamm 27
48268 Greven
Allemagne
Téléphone: 02571/5698933
Téléfax: 02571/5698930
E-Mail: abe@moluna.de
N° d'identification TVA: DE296281834
Inscrit au le registre de commerce du tribunal de commerce Steinfurt
Numéro de registre de commerce HRB 10553

Nous sommes membres de l’initiative "FairCommerce" depuis 24.07.2015.
Pour plus d’informations, consultez: www.haendlerbund.de/faircommerce.