‹ 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

 


» Nach diesem Titel suchen
» Nach diesem Autor suchen
» Mehr Bücher von diesem Verlag

Dieser Artikel wurde leider vor kurzem verkauft und wird hier nur für kurze Zeit angezeigt. Bitte nutzen Sie die Suchfunktion oder die nebenstehenden Links, um einen ähnlichen Artikel zu finden.

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

Alternative Antiquarische Bücher / Angebote Auf Buchfreund
ML for the Working Programmer

Paulson, Lawrence C.:
ML for the Working Programmer
Cambridge University Press, 25.07.1991. 439 Seiten 25,4 x 17,8 x 2,8 cm, Gebundene Ausgabe EAN: 9780521390224 (ISBN: 0521390222)


ex Library Book / aus einer wissenschafltichen Bibliothek /
Sofort verfügbar / daily shipping worldwide with invoice /
Diesen Titel und Preis anzeigen
Sparen Sie Versandkosten beim Kauf weiterer Artikel dieses Antiquariats.

Codierungstheorie : Konstruktion und Anwendung linearer Codes.
von Betten, Anton, H. Fripertinger und A. Kerber:
15,10 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.