Noch Fragen? 0800 / 33 82 637

Algorithimic Languages and Calculi

Produktform: E-Buch Text Elektronisches Buch in proprietärem

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. weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-0-387-35264-0 / 978-0387352640 / 9780387352640

Verlag: Springer US

Erscheinungsdatum: 09.01.2016

Seiten: 443

Autor(en): Richard Bird, Lambert Meerkens

213,99 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück