Algorithimic Languages and Calculi
Price for Eshop: 5055 Kč (€ 202.2)
VAT 0% included
New
E-book delivered electronically online
E-Book information
Annotation
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.
Ask question
You can ask us about this book and we'll send an answer to your e-mail.