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…
AbeBooks.de The Book Depository, London, United Kingdom [54837791] [Rating: 5 (von 5)] NEW BOOK. Frais d'envoi EUR 0.59 Details... |
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.. | Biblio.co.uk |
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…
Averdo.com Nr. Frais d'envoi, Next Day, DE. (EUR 0.00) Details... |
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…
booklooker.de |
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…
Fnac.com Nr. Frais d'envoi, Le délai dépend du marchand, zzgl. Versandkosten. (EUR 8.30) Details... |
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…
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…
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…
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…
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…
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
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...