Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78, Band 78) - Softcover
Inhaltsangabe
ML.- PPLAMBDA.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Edinburgh LCF: A Mechanized Logic of Computation (Lecture...
Foto des Verkäufers
Edinburgh LCF : a mechanised logic of computation. Lecture notes in computer science ; 78
Verlag:
Berlin, Heidelberg, New York : Springer Verlag, 1979
ISBN 10: 3540097244
ISBN 13: 9783540097242
Gebraucht
Broschiert
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: 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. Artikel-Nr. 1706385
Gebraucht kaufen
EUR 24,95
EUR 9,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540097242_new
Neu kaufen
EUR 27,47
EUR 13,80 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Edinburgh LCF : A Mechanized Logic of Computation
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - ML.- PPLAMBDA. Artikel-Nr. 9783540097242
Neu kaufen
EUR 21,39
EUR 64,07 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Edinburgh LCF | A Mechanized Logic of Computation
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Edinburgh LCF | A Mechanized Logic of Computation | M. Gordon (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1979 | Springer | EAN 9783540097242 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu. Artikel-Nr. 101947128
Neu kaufen
EUR 22,05
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar