Marknadens största urval
Snabb leverans
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780412820502
  • Format:
  • Inbunden
  • Sidor:
  • 443
  • Utgiven:
  • 31. juli 1997
  • Utgåva:
  • 1997
  • Mått:
  • 162x239x28 mm.
  • Vikt:
  • 772 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 17. december 2024

Beskrivning av 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.

Användarnas betyg av Algorithimic Languages and Calculi



Hitta liknande böcker
Boken Algorithimic Languages and Calculi finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.