Synopsis
No Edinburgh LCF Read a customer review or write one .
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Edinburgh LCF: A Mechanized Logic of Computation
Image d'archives
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Edité par
Springer, 1980
ISBN 10 : 3540097244
ISBN 13 : 9783540097242
Ancien ou d'occasion
paperback
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_383104525
Acheter D'occasion
EUR 16,84
Frais de port :
EUR 3,23
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020158645
Acheter neuf
EUR 23,10
Frais de port :
EUR 3,43
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Edinburgh Lcf : A Mechanized Logic of Computation
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5907990-n
Acheter neuf
EUR 24,28
Frais de port :
EUR 2,27
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Edinburgh Lcf : A Mechanized Logic of Computation
Edité par
Springer, 1979
ISBN 10 : 3540097244
ISBN 13 : 9783540097242
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 5907990
Acheter D'occasion
EUR 25,46
Frais de port :
EUR 2,27
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Edinburgh LCF : a mechanised logic of computation. Lecture notes in computer science ; 78
Edité par
Berlin, Heidelberg, New York : Springer Verlag, 1979
ISBN 10 : 3540097244
ISBN 13 : 9783540097242
Ancien ou d'occasion
Broschiert
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Broschiert. Etat : 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. N° de réf. du vendeur 1706385
Acheter D'occasion
EUR 24,95
Frais de port :
EUR 7,95
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540097242_new
Acheter neuf
EUR 25,84
Frais de port :
EUR 13,58
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Edinburgh Lcf : A Mechanized Logic of Computation
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5907990-n
Acheter neuf
EUR 25,83
Frais de port :
EUR 17,01
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Edinburgh LCF
Edité par
Springer Berlin Heidelberg Dez 1979, 1979
ISBN 10 : 3540097244
ISBN 13 : 9783540097242
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ML.- PPLAMBDA. 172 pp. Englisch. N° de réf. du vendeur 9783540097242
Acheter neuf
EUR 21,39
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Edinburgh Lcf : A Mechanized Logic of Computation
Edité par
Springer, 1979
ISBN 10 : 3540097244
ISBN 13 : 9783540097242
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 5907990
Acheter D'occasion
EUR 28,59
Frais de port :
EUR 17,01
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Edinburgh LCF
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 172. N° de réf. du vendeur 263073550
Acheter neuf
EUR 51,06
Frais de port :
EUR 3,43
Vers Etats-Unis
Quantité disponible : 4 disponible(s)