Montant total (1 article articles) :
Destination de la commande :
program specification proceedings workshop de staunstrup (9 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (9)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (6)
- Comme neuf, Très bon ou Bon (2)
- Assez bon ou satisfaisant (1)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (Aucun autre résultat ne correspond à ces critères)
Reliure
- Toutes
- Couverture rigide (Aucun autre résultat ne correspond à ces critères)
- Couverture souple (9)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (6)
- Sans impressions à la demande (9)
Langue (1)
Prix
- Tous les prix
- Moins de EUR 20 (Aucun autre résultat ne correspond à ces critères)
- EUR 20 à EUR 45 (Aucun autre résultat ne correspond à ces critères)
- Plus de EUR 45
Livraison gratuite
- Livraison gratuite à destination de Etats-Unis (Aucun autre résultat ne correspond à ces critères)
Pays
Evaluation du vendeur
-
Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981 (Lecture Notes in Computer Science)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 45,38
EUR 6,03 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Program Specification : Proceedings of a Workshop Aarhus, Denmark, August 1981
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 54,49
EUR 2,28 expédition vers Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
-
Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981 (Lecture Notes in Computer Science, 134)
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 48,86
EUR 7,75 expédition vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
-
Program Specification : Proceedings of a Workshop Aarhus, Denmark, August 1981
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 63,35
EUR 2,28 expédition vers Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981 (Lecture Notes in Computer Science, 134)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 57,30
EUR 13,57 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Program Specification : Proceedings of a Workshop Aarhus, Denmark, August 1981
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 57,29
EUR 16,99 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Program Specification : Proceedings of a Workshop Aarhus, Denmark, August 1981
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 65,04
EUR 16,99 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Program Specification : Proceedings of a Workshop Aarhus, Denmark, August 1981
Edité par Springer Berlin Heidelberg, 1982
ISBN 10 : 3540114904 ISBN 13 : 9783540114901
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
EUR 63,29 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Program specification: Issues and observations.- Example 1: Geometrical constructions.- Example 1: Geometrical constructions.- Example 2: KWIC ¿ index generation.- Example 2: KWIC ¿ index generation.- Example 2: KWIC ¿ index generation.- Example 2: KWIC ¿ index generation.- Example 2: KWIC ¿ index generation.- Example 2: KWIC ¿ index generation.- Example 2: KWIC ¿ index generation.- Example 3: Communication network.- Example 3: Communication network.- Partial correctness of distributed programs.- Specification of distributed programs.- Robust data types.- A reduction specification for DTL.- Recursive definitions of operations in universal algebras.- The SRDL specification experiment.- Program specification by module trees.- Parameter passing in algebraic specification languages.- A few remarks on putting formal specifications to productive use.- A specification language.- Tecton: A language for manipulating generic objects.- Concurrency.- Workshop on program specification.- List of participants.
-
EUR 50,35
EUR 70 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Program Specification | Proceedings of a Workshop Aarhus, Denmark, August 1981 | J. Staunstrup | Taschenbuch | vi | Englisch | 1982 | Springer-Verlag GmbH | EAN 9783540114901 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
