1. Home
  2. Medien
  3. Bücher
  4. Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings
  • #

Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings

53.49 EUR

Ein Fachbuch, das die Ergebnisse des zweiten internationalen Workshops zu bedingten und typisierten Umformungssystemen in Montreal (1990) zusammenfasst; es beleuchtet theoretische Konzepte, algorithmische Techniken und deren Einsatz in der formalen Verifikation.

Teilen:

Ähnliche Produkte

Nonlinear Reaction-Diffusion Systems: Conditional Symmetry, Exact Solutions and their Applications in Biology

Nonlinear Reaction-Diffusion Systems: Conditional Symmetry, Exact Solutions and their Applications in Biology

36.90 EUR
Conditionals and Modularity in General Logics

Conditionals and Modularity in General Logics

100.34 EUR
Conditional and Typed Rewriting Systems

Conditional and Typed Rewriting Systems

53.49 EUR
Improving Targeting of Conditional Cash Transfer Programs

Improving Targeting of Conditional Cash Transfer Programs

79.00 EUR
Conditionals and Prediction: Time, Knowledge and Causation in Conditional Constructions

Conditionals and Prediction: Time, Knowledge and Causation in Conditional Constructions

60.20 EUR
Conditionals and Prediction: Time, Knowledge and Causation in Conditional Constructions

Conditionals and Prediction: Time, Knowledge and Causation in Conditional Constructions

143.50 EUR