Montant total (1 article articles) :
Destination de la commande :
maibaum thomas s e (23 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (23)
- 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 (11)
- Comme neuf, Très bon ou Bon (8)
- Assez bon ou satisfaisant (4)
- 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)
Particularités
- Ed. originale (1)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (12)
- Sans impressions à la demande (22)
Langue (1)
Livraison gratuite
Pays
Evaluation du vendeur
-
The Specification of Computer Programs
Langue: anglais
Edité par Addison-Wesley Publishing Co, Lebanon, Indiana, U.S.A., 1987
ISBN 10 : 0201142260 ISBN 13 : 9780201142266
Vendeur : Bramble Ridge Books, Frankewing, TN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 4,52
Expédition à EUR 4,38
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPictorial Cover. Etat : Good. First Printing.
-
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8-12, 1991; Volume 1: Colloquium on Trees in Algebraand Programming (CAAP '91) (Lecture Notes in Computer Science 493)
Langue: anglais
Edité par Springer-Verlag, Berlin, 1991
ISBN 10 : 3540539824 ISBN 13 : 9783540539827
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 7,70
Expédition à EUR 14,66
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Etat de la jaquette : No Dust Jacket. Lecture Notes in Computer Science 493; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
-
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991; Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development
Langue: anglais
Edité par Springer-Verlag, Berlin, 1991
ISBN 10 : 3540539816 ISBN 13 : 9783540539810
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 7,70
Expédition à EUR 14,66
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Etat de la jaquette : No Dust Jacket. Lecture Notes in Computer Science 494; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
-
Fundamental Approaches to Software Engineering : Third International Conference, Fase 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000, Berlin
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 62,93
Expédition à EUR 2,32
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Fundamental Approaches to Software Engineering : Third International Conference, Fase 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000, Berlin
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 74,35
Expédition à EUR 2,32
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Fundamental Approaches to Software Engineering : Third International Conference, Fase 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000, Berlin
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,88
Expédition à EUR 17,59
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Fundamental Approaches to Software Engineering : Third International Conference, Fase 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000, Berlin
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 67,55
Expédition à EUR 17,59
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
The Specification of Computer Programs (International Computer Science Series)
Vendeur : Wonder Book, Frederick, MD, Etats-Unis
Membre d'association : ABAA ILAB
Évaluation du vendeur 5 sur 5 étoiles
EUR 117,62
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.
-
Handbook of Logic in Computer Science : Semantic Structures
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 452,42
Expédition à EUR 2,32
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Handbook of Logic in Computer Science : Semantic Modelling
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 452,42
Expédition à EUR 2,32
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Handbook of Logic in Computer Science : Semantic Structures
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 452,42
Expédition à EUR 2,32
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Handbook of Logic in Computer Science : Semantic Modelling
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 452,42
Expédition à EUR 2,32
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Handbook of Logic in Computer Science : Semantic Modelling
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 441,75
Expédition à EUR 17,59
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Handbook of Logic in Computer Science : Semantic Structures
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 452,78
Expédition à EUR 17,59
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Handbook of Logic in Computer Science : Background Computational Structures
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 473,37
Expédition à EUR 17,59
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Handbook of Logic in Computer Science : Semantic Modelling
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 499,25
Expédition à EUR 17,59
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Handbook of Logic in Computer Science : Semantic Structures
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 499,22
Expédition à EUR 17,59
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Handbook of Logic in Computer Science : Background Computational Structures
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 518,53
Expédition à EUR 2,32
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Handbook of Logic in Computer Science
Langue: anglais
Edité par Oxford University Press, 2001
ISBN 10 : 0198537816 ISBN 13 : 9780198537816
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
EUR 551,65
Expédition à EUR 10,50
Expédition depuis Irlande vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. The latest volume in this major reference work covers all major areas of application of logic and theoretical computer science Editor(s): Abramsky, Samson; Gabbay, Dov M.; Maibaum, Thomas S. E. Series: Handbook of Logic in Computer Science. Num Pages: 556 pages, Illustrations. BIC Classification: PBCD; UM; UYA; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 162 x 32. Weight in Grams: 912. . 2001. Hardback. . . . .
-
Handbook of Logic in Computer Science : Background Computational Structures
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 603,95
Expédition à EUR 17,59
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Handbook of Logic in Computer Science
Langue: anglais
Edité par Oxford University Press, 2001
ISBN 10 : 0198537816 ISBN 13 : 9780198537816
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 699,41
Expédition à EUR 9,22
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. The latest volume in this major reference work covers all major areas of application of logic and theoretical computer science Editor(s): Abramsky, Samson; Gabbay, Dov M.; Maibaum, Thomas S. E. Series: Handbook of Logic in Computer Science. Num Pages: 556 pages, Illustrations. BIC Classification: PBCD; UM; UYA; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 162 x 32. Weight in Grams: 912. . 2001. Hardback. . . . . Books ship from the US and Ireland.
-
Handbook of Logic in Computer Science : Background Computational Structures
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 778,90
Expédition à EUR 2,32
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Handbook of Logic in Computer Science : Volume 2: Background: Computational Structures
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 662,85
Expédition à EUR 65,44
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierBuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science. The Handbook comprises six volumes. Each volume contains five or six chapters giving an in-depth overview of one of the major topics in the field. It is the result of many years of co-operative effort by some of the most eminent frontline researchers in the area. It will no doubt be the standard reference work in logic and theoretical computer science for years to come - essential reading for all those interested in theoretical computer science and logic.
