Udvidet returret til d. 31. januar 2025

Algorithimic Languages and Calculi - Richard Bird - Bog

Bag om Algorithimic Languages and Calculi

The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780412820502
  • Indbinding:
  • Hardback
  • Sideantal:
  • 443
  • Udgivet:
  • 31. juli 1997
  • Udgave:
  • 1997
  • Størrelse:
  • 162x239x28 mm.
  • Vægt:
  • 772 g.
  • 8-11 hverdage.
  • 6. december 2024

Normalpris

  • BLACK NOVEMBER

Medlemspris

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

Beskrivelse af Algorithimic Languages and Calculi

The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software.

Brugerbedømmelser af Algorithimic Languages and Calculi



Find lignende bøger
Bogen Algorithimic Languages and Calculi 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.