1. Home
  2. Medien
  3. Bücher
  4. Program Logics for Certified Compilers
  • #
  • #

Program Logics for Certified Compilers

110.50 EUR

Teilen:
Gesponsert

Program Logics for Certified Compilers

Medimops DE
110.50 EUR
22-04-2026 06:55:29

Ähnliche Produkte

Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative ... Notes in Computer Science, Band 1292)

Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative ... Notes in Computer Science, Band 1292)

53.49 EUR

Logics of Programs

50.28 EUR
Programming Languages: Implementations Logics and Programs

Programming Languages: Implementations Logics and Programs

53.49 EUR
Logics of Programs

Logics of Programs

53.49 EUR
Program Logics for Certified Compilers

Program Logics for Certified Compilers

85.49 EUR
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980

Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980

24.60 EUR
Programming Languages: Implementations, Logics, and Programs

Programming Languages: Implementations, Logics, and Programs

53.49 EUR
Preparing for the Voluntary Protection Programs

Preparing for the Voluntary Protection Programs

121.33 EUR