Verwandte Artikel zu Rewriting Logic and Its Applications: 9th International...
Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, ... Computer Science and General Issues) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Von der hinteren Coverseite
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 44,88
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Rewriting Logic and Its Applications: 9th International...
Beispielbild für diese ISBN
Rewriting Logic and Its Applications : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
Verlag:
Springer Berlin Heidelberg, 2012
ISBN 10: 3642340040
ISBN 13: 9783642340048
Gebraucht
Softcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 252 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 22957045/12
Anzahl: 1 verfügbar
Foto des Verkäufers
Rewriting Logic and Its Applications
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Fast-track conference proceedingsState-of-the-art researchUp-to-date resultsThis book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held. Bestandsnummer des Verkäufers 5057468
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Rewriting Logic and Its Applications : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Bestandsnummer des Verkäufers 9783642340048
Anzahl: 1 verfügbar
Foto des Verkäufers
Rewriting Logic and Its Applications
ISBN 10: 3642340040
ISBN 13: 9783642340048
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch. Bestandsnummer des Verkäufers 9783642340048
Anzahl: 2 verfügbar
Foto des Verkäufers
Rewriting Logic and Its Applications
Verlag:
Springer Berlin Heidelberg Sep 2012, 2012
ISBN 10: 3642340040
ISBN 13: 9783642340048
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 252 pp. Englisch. Bestandsnummer des Verkäufers 9783642340048
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, ... Computer Science and General Issues)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783642340048_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Rewriting Logic and Its Applications : 9th International Workshop, Wrla 2012, Held As a Satellite Event of Etaps 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 19174406-n
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Rewriting Logic and Its Applications : 9th International Workshop, Wrla 2012, Held As a Satellite Event of Etaps 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 19174406-n
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Rewriting Logic and Its Applications
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 252. Bestandsnummer des Verkäufers 1848021294
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Rewriting Logic and Its Applications
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 252. Bestandsnummer des Verkäufers 2648021284
Anzahl: 4 verfügbar