Rewriting Logic and Its Applications / Lecture Notes in Computer Science Bd.7571 (PDF)
9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
(Sprache: Englisch)
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012.
The 8 revised full...
The 8 revised full...
sofort als Download lieferbar
Printausgabe Fr. 61.50
eBook (pdf)
Fr. 54.50
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Rewriting Logic and Its Applications / Lecture Notes in Computer Science Bd.7571 (PDF)“
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012.
The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, real-time and probabilistic extensions, verification techniques, and distributed systems.
The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, real-time and probabilistic extensions, verification techniques, and distributed systems.
Bibliographische Angaben
- 2012, 2012, 241 Seiten, Englisch
- Herausgegeben: Francisco Durán
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642340059
- ISBN-13: 9783642340055
- Erscheinungsdatum: 03.10.2012
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 5.30 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Rewriting Logic and Its Applications / Lecture Notes in Computer Science Bd.7571"
0 Gebrauchte Artikel zu „Rewriting Logic and Its Applications / Lecture Notes in Computer Science Bd.7571“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Rewriting Logic and Its Applications / Lecture Notes in Computer Science Bd.7571".
Kommentar verfassen