Appel, Andrew W.: Program Logics for Certified Compilers | Kaicus Deutschland
All categories
Kaicus
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Medien Bücher Appel, Andrew W.: Program Logics for Certified Compilers
product image
product image
product image
product image

Appel, Andrew W.: Program Logics for Certified Compilers

105.80 EUR

Marke: Appel, Andrew W.
ISBN: 110704801X
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Program Logics for Certified Compilers

105.80 EUR 105.80 EUR
19-06-2026 20:00:05
Access to the deal

Ähnliche Produkte

Programming Languages: Implementations Logics and Programs

53.49 EUR
Produkt anzeigen

Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164, Band 164)

50.28 EUR
Produkt anzeigen

Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, ... Notes in Computer Science, 982, Band 982)

53.49 EUR
Produkt anzeigen

Logics of Programs: Brooklyn, June 17-19, 1985 (Lecture Notes in Computer Science, 193, Band 193)

53.49 EUR
Produkt anzeigen