- 5 Résultats
prix le plus bas: € 29,60, prix le plus élevé: € 54,49, prix moyen: € 45,04
1
Commander
sur AbeBooks.de
€ 29,60
Envoi: € 0,591
CommanderLien sponsorisé
T. F. Melham:

Higher Order Logic and Hardware Verification (Paperback) - Livres de poche

2009, ISBN: 0521115329

[EAN: 9780521115322], Neubuch, [PU: Cambridge University Press, United Kingdom], Language: English. Brand new Book. This 1993 book shows how formal logic can be used to specify the behavi… Plus…

NEW BOOK. Frais d'envoi EUR 0.59 The Book Depository, London, United Kingdom [54837791] [Rating: 5 (von 5)]
2
Commander
sur Biblio.co.uk
$ 38,68
(environ € 33,75)
Envoi: € 8,331
CommanderLien sponsorisé

T. F. Melham:

Higher Order Logic and Hardware Verification - Livres de poche

ISBN: 9780521115322

Paperback / softback. New. In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types., 6, Pape… Plus…

GBR, U.. - Frais d'envoi EUR 8.33 The Saint Bookstore, Bonita, The Saint Bookstore
3
Higher Order Logic and Hardware Verification - Melham, T.
Commander
sur Averdo.com
€ 54,49
Envoi: € 0,001
CommanderLien sponsorisé
Melham, T.:
Higher Order Logic and Hardware Verification - Livres de poche

2009

ISBN: 9780521115322

Erscheinungsdatum: 28.02.2009, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Higher Order Logic and Hardware Verification, Autor: Melham, T., Verlag: Cambridge University … Plus…

Nr. Frais d'envoi, Next Day, DE. (EUR 0.00)
4
Higher Order Logic and Hardware Verification - Melham, T.
Commander
sur booklooker.de
€ 53,95
Envoi: € 0,001
CommanderLien sponsorisé
Melham, T.:
Higher Order Logic and Hardware Verification - Livres de poche

2009, ISBN: 9780521115322

[ED: Kartoniert / Broschiert], [PU: Cambridge University Press], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Inhaltsverzeichnis1. Intr… Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
5
Higher Order Logic and Hardware Verification, Cambridge Tracts in Theoretical Computer Science
Commander
sur Fnac.com
€ 53,43
Envoi: € 8,301
CommanderLien sponsorisé
Higher Order Logic and Hardware Verification, Cambridge Tracts in Theoretical Computer Science - livre d'occasion

ISBN: 9780521115322

Fnac.com : Livraison gratuite et - 5% sur tous les livres. Higher Order Logic and Hardware Verification, Cambridge Tracts in Theoretical Computer Science - Livre. Découvrez des nouveautés… Plus…

  - Nr. Frais d'envoi, Le délai dépend du marchand, zzgl. Versandkosten. (EUR 8.30)

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre

Informations détaillées sur le livre - Higher Order Logic and Hardware Verification


EAN (ISBN-13): 9780521115322
ISBN (ISBN-10): 0521115329
Livre de poche
Date de parution: 2009
Editeur: CAMBRIDGE UNIV PR
180 Pages
Poids: 0,295 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2009-07-21T23:37:11+02:00 (Zurich)
Page de détail modifiée en dernier sur 2021-11-13T15:36:55+01:00 (Zurich)
ISBN/EAN: 9780521115322

ISBN - Autres types d'écriture:
0-521-11532-9, 978-0-521-11532-2
Autres types d'écriture et termes associés:
Titre du livre: hardware, sent from the second order, logic computer science


Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9780521417181 Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Band 31) (Melham, T. F.)


< pour archiver...