Program Logics for Certified Compilers

Wo zu kaufen (1) Eigenschaften
Gesponsert
Program Logics for Certified Compilers
Hugendubel
85.49 EUR
Preis aktualisiert am: 27-12-2025 16:19:40
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)
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)
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)
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)
Produkt anzeigen
Logics of Programs and Their Applications
Logics of Programs and Their Applications
Produkt anzeigen
Program Logics for Certified Compilers
Program Logics for Certified Compilers
Produkt anzeigen
Menü