Wir verwenden Cookies. Viele sind notwendig, um unsere Webseite und ihre Funktionen zu betreiben. Andere erlauben uns statistische Auswertungen vorzunehmen, die uns helfen die Webseite zu verbessern. Marketing-Cookies verwenden wir nicht. Mit der Entscheidung »Nur essentielle Cookies akzeptieren« werden wir keine Cookies setzen, die für den Betrieb der Seite nicht absolut notwendig sind.

Essenzielle

Statistik & Marketing

Alle akzeptieren

Nur essentielle Cookies akzeptieren

Individuelle Cookie-Einstellungen

GDPR legal Cookie by beeclever

✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 418.243 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Durchsuchen Sie unseren Shop

Robin Milner

Robin Milner

Softcover - 9786130892531

116,00 €

Versandkostenfrei

Auf meine Merkliste

Hinweis: Print on Demand. Lieferbar in 5 Tagen.

Lieferzeit nach Versand: ca. 1-2 Tage
inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

Anmerkung der Shop-Redaktion: Leider liegt bei uns für dieses Buch (noch) keine Beschreibung vor.

LCF Theorem Prover, Automated Theorem Proving, ML Programming Language, Type Inference, Exception Handling, Concurrent Systems

Details

Verlag	OmniScriptum
Ersterscheinung	17. März 2026
Maße	22 cm x 15 cm x 0.5 cm
Gewicht	119 Gramm
Format	Softcover
ISBN-13	9786130892531
Seiten	68

Schlagwörter

Computerprogrammierung und Softwareentwicklung, Informatik