E-bok, Engelska, 2016
Algorithimic Languages and Calculi
Av Lambert Meerkens, Richard Bird
3013 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
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.
Produktinformation
- Utgivningsdatum: 2016-01-09
- Språk: Engelska
- Filformat: PDF
- Kopieringsskydd: LCP
- ISBN: 9780387352640
- Förlag: Springer US
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.