Temporal Logic of Programs

Langue : anglais

Edité par Springer Berlin Heidelberg, 2011

3642715516 / 9783642715518

Vendeur : moluna, Greven, Allemagnemoluna

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 9 juillet 2020

Livre broché

Etat: Neuf

EUR 47,23

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. Logic and Programs.- Historical Remarks.- Some Concepts and Notions of Classical Logic.- I. Propositional Temporal Logic.- 1. A Language TTA of Propositional Temporal Logic.- 2. Semantics of TTA.- 3. Temporal Logical Laws.- 4. Some Further Temporal Operator.

N° de réf. du vendeur 5068825

Titre
Temporal Logic of Programs
Auteur
Fred Kröger
Éditeur
Springer Berlin Heidelberg
Année de publication
2011
État de l'article
New
Reliure
Couverture souple
Langue
anglais
ISBN à 10 chiffres
3642715516
ISBN à 13 chiffres
9783642715518
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