Program Logics for Certified Compilers

Wo zu kaufen (1) Eigenschaften
Gesponsert
Program Logics for Certified Compilers
Hugendubel
87.99 EUR
Preis aktualisiert am: 29-10-2026 08:11:44
Siehe Produktangebot

Allgemein

Marke
Cambridge University Press

Eigenschaften

Ähnliche Produkte

Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative ... Notes in Computer Science, 1292, Band 1292)
Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative ... Notes in Computer Science, 1292, Band 1292)
Aus53.49 EUR 3
Produkt anzeigen
Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164, Band 164)
Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164, Band 164)
Aus50.28 EUR 3
Produkt anzeigen
Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20
Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, ... Notes in Computer Science, 982, Band 982)
Aus53.49 EUR 3
Produkt anzeigen
Logics of Programs: Brooklyn, June 17-19, 1985 (Lecture Notes in Computer Science, 193, Band 193)
Logics of Programs: Brooklyn, June 17-19, 1985 (Lecture Notes in Computer Science, 193, Band 193)
Aus53.49 EUR 3
Produkt anzeigen
Logics of Programs and Their Applications
Logics of Programs and Their Applications
Aus24.49 EUR 3
Produkt anzeigen
Menü