Importo totale (1 articolo articoli):
Destinazione ordine:
logic computation interactive proof di paulson lawrence (13 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (13)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (9)
- Come nuovo, Ottimo o Quasi ottimo (2)
- Molto buono o Buono (1)
- Discreto o Mediocre (1)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (3)
- Non Print on Demand (11)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 45 (Nessun altro risultato corrispondente a questo perfezionamento)
- Superiore a EUR 45
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Logic and Computation : Interactive Proof With Cambridge Lcf
Libro 3 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1990
ISBN 10: 0521395607 ISBN 13: 9780521395601
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 72,45
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2) (Volume 0)
Libro 3 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1990
ISBN 10: 0521395607 ISBN 13: 9780521395601
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 74,84
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Logic and Computation : Interactive Proof With Cambridge Lcf
Libro 3 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1990
ISBN 10: 0521395607 ISBN 13: 9780521395601
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 76,71
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2) (Volume 0)
Libro 3 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1990
ISBN 10: 0521395607 ISBN 13: 9780521395601
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 69,74
Spedizione EUR 13,99
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Logic and Computation : Interactive Proof With Cambridge Lcf
Libro 3 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1990
ISBN 10: 0521395607 ISBN 13: 9780521395601
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 69,72
Spedizione EUR 17,52
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Logic and Computation: Interactive Proof with Cambridge LCF: 2 (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Libro 3 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521395607 ISBN 13: 9780521395601
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 79,19
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 320 pages, bibliography, index. BIC Classification: PBCD; UKD; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 17. Weight in Grams: 580. . 2008. Revised ed. paperback. . . . .
-
Logic and Computation : Interactive Proof With Cambridge Lcf
Libro 3 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1990
ISBN 10: 0521395607 ISBN 13: 9780521395601
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 80,65
Spedizione EUR 17,52
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Logic and Computation: Interactive Proof with Cambridge LCF: 2 (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Libro 3 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1990
ISBN 10: 0521395607 ISBN 13: 9780521395601
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 100,40
Spedizione EUR 9,19
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 320 pages, bibliography, index. BIC Classification: PBCD; UKD; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 17. Weight in Grams: 580. . 2008. Revised ed. paperback. . . . . Books ship from the US and Ireland.
-
Logic and Computation: Interactive Proof With Cambridge Lcf (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Libro 3 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1987
ISBN 10: 0521346320 ISBN 13: 9780521346320
EUR 87,64
Spedizione EUR 36,67
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,900grams, ISBN:9780521346320.
-
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Libro 3 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1987
ISBN 10: 0521346320 ISBN 13: 9780521346320
Da: thebookforest.com, San Rafael, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Very Good. Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped.
-
Logic and Computation : Interactive Proof with Cambridge Lcf
Libro 3 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1990
ISBN 10: 0521395607 ISBN 13: 9780521395601
EUR 97,15
Spedizione EUR 63,11
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines the methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of program statements. Cambridge LCF is based on an earlier theorem-proving system, Edinburgh LCF, which introduced a design that gives the user flexibility to use and extend the system. A goal of this book is to explain the design, which has been adopted in several other systems. The book consists of two parts. Part I outlines the mathematical preliminaries, elementary logic and domain theory, and explains them at an intuitive level, giving reference to more advanced reading; Part II provides sufficient detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach.
-
Logic and Computation: Interactive Proof with Cambridge LCF
Libro 3 di 40: Cambridge Tracts in Theoretical Computer ScienceDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 69,02
Spedizione EUR 14,60
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 320 pages. 9.75x7.50x0.75 inches. In Stock. This item is printed on demand.
-
Logic and Computation: Interactive Proof with Cambridge LCF
Libro 3 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1990
ISBN 10: 0521395607 ISBN 13: 9780521395601
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 77,49
Spedizione EUR 19,68
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
