Items related to 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, ... (Lecture Notes in Computer Science, 7571) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
From the Back Cover
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.
"About this title" may belong to another edition of this title.
Search results for Rewriting Logic and Its Applications: 9th International...
Seller Image
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
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 19174406-n
Quantity: Over 20 available
Stock Image
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)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783642340048_new
Quantity: Over 20 available
Stock Image
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
Published by
Springer Berlin Heidelberg, 2012
ISBN 10: 3642340040
ISBN 13: 9783642340048
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 22957045/12
Quantity: 1 available
Seller Image
Rewriting Logic and Its Applications
Published by
Springer Berlin Heidelberg Sep 2012, 2012
ISBN 10: 3642340040
ISBN 13: 9783642340048
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783642340048
Quantity: 2 available
Seller Image
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
Published by
Springer Berlin Heidelberg, 2012
ISBN 10: 3642340040
ISBN 13: 9783642340048
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783642340048
Quantity: 1 available
Seller Image
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
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 19174406-n
Quantity: Over 20 available
Stock Image
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)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783642340048
Quantity: 2 available
Seller Image
Rewriting Logic and Its Applications
Published by
Springer Berlin Heidelberg, 2012
ISBN 10: 3642340040
ISBN 13: 9783642340048
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 5057468
Quantity: Over 20 available
Stock Image
Rewriting Logic and Its Applications
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 252 51 Illus. Seller Inventory # 44761339
Quantity: 4 available
Stock Image
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 (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. revised edition. 249 pages. 9.25x6.25x0.50 inches. In Stock. Seller Inventory # x-3642340040
Quantity: 2 available