Let us wish you a happy birthday!
Date of Birth
Please fill in a complete birthday Enter a valid birthday
×
This item is currently out of stock
Rewriting Logic and Its Applications: 9th International Workshop, Wrla 2012, Held as a Satellite Event of Etaps 2012, Tallinn, Estonia, March 24-25, 2 by Francisco Duran - Paperback
Be the first to rate this product 
×
Check Products in stock Products in stock

Sponsored products for you

PRODUCT INFORMATION

  •  

    Specifications

    Category Type
    Mathematics
    ISBN
    9783642340048
    Languages
    English
    Item EAN
    2724437233166
    People
    Author
    Francisco Duran
    Category Type
    Mathematics
    ISBN
    9783642340048
    Languages
    English
    Item EAN
    2724437233166
    People
    Author
    Francisco Duran
    People
    Publisher
    Springer
    Technical Information
    Binding
    Paperback
    Languages and countries
    Book Language
    English
    Read more
  •  

    Description:

    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

    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.

    Product Features:
    • Category: Mathematics
    • Binding: Paperback
    • Language of Text: English
    • Author(s): Francisco Duran
    • Publisher: Springer
    • ISBN: 9783642340048
    • Number of Pages: 241
    • Dimensions: 9 x 6.1 x 0.7 inches
 

Customer Reviews

0
No ratings yet
Be the first to rate this product
Rate this product:

×

Please verify your mobile number to complete your checkout

We will send you an SMS containing a verification code. Please double check your mobile number and click on "Send Verification Code".

+ Edit