Articoli correlati a Edinburgh LCF: A Mechanized Logic of Computation: 78
Contenuti
ML.- PPLAMBDA.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2008
- ISBN 10 3540097244
- ISBN 13 9783540097242
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine172
- Contatto del produttorenon disponibile
Compra usato
Condizioni: molto buonoVIII, 159 Seiten; Das hier angebotene...
Visualizza questo articolo
EUR 24,95
EUR 7,95 per la spedizione da Germania a Italia
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 22,04
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati della ricerca per Edinburgh LCF: A Mechanized Logic of Computation: 78
Immagini fornite dal venditore
Edinburgh LCF
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. ML.- PPLAMBDA.InhaltsverzeichnisML.- PPLAMBDA.KlappentextrnrnML.- PPLAMBDA.Springer Book Archives. Codice articolo 4880598
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Edinburgh LCF
Editore:
Springer Berlin Heidelberg Dez 1979, 1979
ISBN 10: 3540097244
ISBN 13: 9783540097242
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ML.- PPLAMBDA. 172 pp. Englisch. Codice articolo 9783540097242
Quantità: 2 disponibili
Immagini fornite dal venditore
Edinburgh LCF : a mechanised logic of computation. Lecture notes in computer science ; 78
Editore:
Berlin, Heidelberg, New York : Springer Verlag, 1979
ISBN 10: 3540097244
ISBN 13: 9783540097242
Antico o usato
Broschiert
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
Broschiert. Condizione: Gut. VIII, 159 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); leichte altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 300. Codice articolo 1706385
Quantità: 1 disponibili
Foto dell'editore
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783540097242
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Edinburgh LCF : A Mechanized Logic of Computation
Editore:
Springer Berlin Heidelberg, 1980
ISBN 10: 3540097244
ISBN 13: 9783540097242
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - ML.- PPLAMBDA. Codice articolo 9783540097242
Quantità: 1 disponibili
Foto dell'editore
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540097242_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Edinburgh LCF
ISBN 10: 3540097244
ISBN 13: 9783540097242
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -ML.- PPLAMBDA.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch. Codice articolo 9783540097242
Quantità: 2 disponibili
Immagini fornite dal venditore
Edinburgh Lcf : A Mechanized Logic of Computation
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5907990-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Edinburgh Lcf : A Mechanized Logic of Computation
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 5907990
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Edinburgh Lcf : A Mechanized Logic of Computation
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5907990-n
Quantità: Più di 20 disponibili