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, 2012, Revised Selected Papers - Softcover

 
9783642340062: 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
Softcover
ISBN 10: 3642340067 ISBN 13: 9783642340062
Publisher: Springer, 2012

This specific ISBN edition is currently not available.

Synopsis

Rigorous Component-Based System Design (Invited Paper).- Program Analysis Scenarios in Rascal.- K Framework Distilled.- Design and Analysis of Cloud-Based Architectures with KLAIM and Maude.- Making Maude Definitions More Interactive.- Model Checking LTLR Formulas under Localized Fairness.- Modelling and Analyzing Adaptive Self-assembly Strategies with Maude.- Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude.- Order-Sorted Equality Enrichments Modulo Axioms.- Timed CTL Model Checking in Real-Time Maude.- Using Narrowing to Test Maude Specifications.- A Rule-Based Framework for Building Superposition-Based Decision Procedures.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2012
Language
English
ISBN 10 
3642340067
ISBN 13 
9783642340062
Binding
Paperback

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783642340048: 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)

Featured Edition

ISBN 10:  3642340040 ISBN 13:  9783642340048
Publisher: Springer, 2012
Softcover