‹ zurück Sie sind hier:  Startseite » Antiquariate » Antiquariat-fuer-Fachliteratur » Informatik » Logic and Computation: Interactive Proof with Camb…

Linksbuch gebraucht, gut gebraucht, gut Rechtsbuch

Mehr von Paulson Lawrence

Logic and Computation: Interactive Proof with Cambridge LCF (=Cambridge Tracts in Theoretical Computer Science, vol. 2).


Cambridge, University Press, 1987. 302 p. Hardcover. ISBN: 0521346320 (EAN: 9780521346320 / 978-0521346320)


Good. Minimal wear. Clean pages.
Schlagworte: Computational Sciences

Bestell-Nr.: 66966

Preis: 7,90 EUR
Versandkosten: 2,20 EUR
Gesamtpreis: 10,10 EUR
In den Warenkorb
Angebotene Zahlungsarten: Vorauskasse, Rechnung, Rechnung (Vorauszahlung vorbehalten)
Paypal

 

ISBN 0-521346-32-0, ISBN 0-52-134632-0, ISBN 0-52134-632-0, ISBN 0-521-34632-0, ISBN 0-5213-4632-0

ISBN 978-0-521346-32-0, ISBN 978-0-52-134632-0, ISBN 978-0-52134-632-0, ISBN 978-0-521-34632-0, ISBN 978-0-5213-4632-0

Antiquarisches Buch empfehlen Antiquarisches Buch empfehlen
Sparen Sie Versandkosten beim Kauf weiterer Artikel dieses Antiquariats.

Codierungstheorie : Konstruktion und Anwendung linearer Codes.
von Betten, Anton, H. Fripertinger und A. Kerber:
15,60 EUR

Contemporary Logic Design.
von Katz, Randy H. and Gaetano Borriello:
39,90 EUR

Arduino - Physical Computing für Bastler, Designer und Geeks.
von Odendahl, Manuel, Julian Finn und Alex Wenger:
13,50 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2018 by whSoft GmbH
Entdecken Sie außerdem: Antiquariatsportal · Achtung-Bücher.de · Booklink · Buchhai - Bücher Preisvergleich
Alle genannten Preise sind Bruttopreise und enthalten, soweit nicht anders vom Verkäufer angegeben, die gesetzliche Umsatzsteuer.