Spara
Algorithimic Languages and Calculi
Läs i Adobe DRM-kompatibel e-boksläsareDen här e-boken är kopieringsskyddad med Adobe DRM vilket påverkar var du kan läsa den. Läs mer
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.
- Författare
- Lambert Meerkens, Richard Bird
- ISBN
- 9780387352640
- Språk
- Engelska
- Utgivningsdatum
- 2016-01-09
- Förlag
- SPRINGER US
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
