Recent Trends in Algebraic Development Techniques / Lecture Notes in Computer Science Bd.5486 (PDF)
This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008.
...
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008.
The 18 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 33 presentations at the workshop.
The papers focus on the algebraic approaches to the specification and development of systems, and address topics such as formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.
- 2009, 2009, 343 Seiten, Englisch
- Herausgegeben: Andrea Corradini, Ugo Montanari
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642034292
- ISBN-13: 9783642034299
- Erscheinungsdatum: 29.08.2009
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 6.65 MB
- Mit Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Recent Trends in Algebraic Development Techniques / Lecture Notes in Computer Science Bd.5486".
Kommentar verfassen