Artículos relacionados a Rewriting Logic and Its Applications: 10th International...
Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, ... Computer Science and General Issues) - Tapa blanda
Sinopsis
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.
The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of topics in the fields of foundations and models of RL; languages based on RL; RL as a logical framework; RL as a semantic framework; use of RL to provide rigorous support for model-based software engineering; formalisms related to RL; verification techniques for RL specifications; comparisons of RL with existing formalisms having analogous aims; application of RL to specification and analysis of distributed systems and physical systems.
"Sinopsis" puede pertenecer a otra edición de este libro.
De la contraportada
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.
The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of topics in the fields of foundations and models of RL; languages based on RL; RL as a logical framework; RL as a semantic framework; use of RL to provide rigorous support for model-based software engineering; formalisms related to RL; verification techniques for RL specifications; comparisons of RL with existing formalisms having analogous aims; application of RL to specification and analysis of distributed systems and physical systems.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 56,92
EUR 17,15 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 52,34
EUR 5,17 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Rewriting Logic and Its Applications: 10th International...
Imagen de archivo
Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, ... Computer Science and General Issues)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783319129037_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Rewriting Logic and Its Applications
Publicado por
Springer International Publishing Nov 2014, 2014
ISBN 10: 3319129031
ISBN 13: 9783319129037
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of topics in the fields of foundations and models of RL; languages based on RL; RL as a logical framework; RL as a semantic framework; use of RL to provide rigorous support for model-based software engineering; formalisms related to RL; verification techniques for RL specifications; comparisons of RL with existing formalisms having analogous aims; application of RL to specification and analysis of distributed systems and physical systems. 308 pp. Englisch. Nº de ref. del artículo: 9783319129037
Cantidad disponible: 2 disponibles
Imagen del vendedor
Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Publicado por
Springer International Publishing, 2014
ISBN 10: 3319129031
ISBN 13: 9783319129037
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of topics in the fields of foundations and models of RL; languages based on RL; RL as a logical framework; RL as a semantic framework; use of RL to provide rigorous support for model-based software engineering; formalisms related to RL; verification techniques for RL specifications; comparisons of RL with existing formalisms having analogous aims; application of RL to specification and analysis of distributed systems and physical systems. Nº de ref. del artículo: 9783319129037
Cantidad disponible: 1 disponibles
Imagen del vendedor
Rewriting Logic and Its Applications
Publicado por
Springer International Publishing, 2014
ISBN 10: 3319129031
ISBN 13: 9783319129037
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.The 13 revis. Nº de ref. del artículo: 4499344
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014,
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783319129037
Cantidad disponible: 10 disponibles
Imagen del vendedor
Rewriting Logic and Its Applications : 10th International Workshop, Wrla 2014, Held As a Satellite Event of Etaps, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 22031900-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Rewriting Logic and its Applications
Publicado por
Springer International Publishing AG, 2014
ISBN 10: 3319129031
ISBN 13: 9783319129037
Nuevo
Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Editor(s): Escobar, Santiago. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 307 pages, 49 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 474. . 2014. Paperback. . . . . Nº de ref. del artículo: V9783319129037
Cantidad disponible: 15 disponibles
Imagen del vendedor
Rewriting Logic and Its Applications : 10th International Workshop, Wrla 2014, Held As a Satellite Event of Etaps, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 22031900-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, ... Computer Science and General Issues)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783319129037
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Rewriting Logic and Its Applications : 10th International Workshop, Wrla 2014, Held As a Satellite Event of Etaps, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 22031900
Cantidad disponible: Más de 20 disponibles