Udvidet returret til d. 31. januar 2025

Algebraic Methodology and Software Technology - Bog

- 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings

Bag om Algebraic Methodology and Software Technology

Constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. This work covers object paradigms, programming calculi, specification languages and tools, logic, category theory, relation algebra, and computational algebra.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540799795
  • Indbinding:
  • Paperback
  • Sideantal:
  • 434
  • Udgivet:
  • 15. juli 2008
  • Udgave:
  • 2008
  • Størrelse:
  • 235x155x25 mm.
  • Vægt:
  • 688 g.
  • 8-11 hverdage.
  • 2. december 2024

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Algebraic Methodology and Software Technology

Constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. This work covers object paradigms, programming calculi, specification languages and tools, logic, category theory, relation algebra, and computational algebra.

Brugerbedømmelser af Algebraic Methodology and Software Technology



Find lignende bøger
Bogen Algebraic Methodology and Software Technology findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.