Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783642376344
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing;
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2013 ed. |
| Udgivelsesdato | 13-04-2013 |
| Første udgivelsesår | 2013 |
| Serie | Theoretical Computer Science and General Issues |
| Illustrationer | 71 Illustrations, black and white; X, 283 p. 71 illus. |
| Fagredaktør | Narciso Marti-Oliet, Miguel Palomino |
| Originalsprog | Germany |
| Sideantal | 283 |
| Indbinding | Paperback / softback |
| Forlag | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Sideoplysninger | 283 pages, 71 Illustrations, black and white; X, 283 p. 71 illus. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783642376344 |