De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Algorithimic Languages and Calculi

Algorithimic Languages and Calculi

af Richard Bird, Lambert Meerkens

indgår i IFIP Advances in Information and Communication Technology serien

Algorithimic Languages and Calculi af Richard Bird
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.
  • 16. januar 2025

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om Richard Bird

Vis alle bøger af Richard Bird

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



Andre købte også..
Find lignende bøger
Bogen Algorithimic Languages and Calculi findes i følgende kategorier: