Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
Algorithimic Languages and Calculi
443 Seiten, Hardcover
€ 219,99
Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | IFIP Advances in Information and Communication Technology |
|---|---|
| ISBN | 9780412820502 |
| Sprache | Englisch |
| Erscheinungsdatum | 31.07.1997 |
| Genre | Informatik, EDV/Informatik |
| Verlag | Springer US |
| Lieferzeit | Lieferbar in 16 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
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.
| Reihe | IFIP Advances in Information and Communication Technology |
|---|---|
| ISBN | 9780412820502 |
| Sprache | Englisch |
| Erscheinungsdatum | 31.07.1997 |
| Genre | Informatik, EDV/Informatik |
| Verlag | Springer US |
| Lieferzeit | Lieferbar in 16 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Wie gefällt Ihnen unser Shop?