- 5 Ergebnisse
Kleinster Preis: € 41,45, größter Preis: € 82,13, Mittelwert: € 57,85
1
Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cypr
Bestellen
bei Indigo.ca
C$ 117,95
(ca. € 82,13)
Bestellengesponserter Link

Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cypr - neues Buch

2010, ISBN: 9783642163098

This volume contains the proceedings of the Eighth International Workshop on Rewriting Logic and its Applications (WRLA 2010) that was held in Paphos, Cyprus, March 20-21, 2010, as a sate… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
2
Bestellen
bei buchfreund.de
€ 41,45
Versand: € 0,001
Bestellengesponserter Link

Ölveczky, Peter Csaba:

Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers 2010 - gebrauchtes Buch

2010, ISBN: 9783642163098

2010 Neubindung, Buchrücken leicht gewellt 9293300/12 Versandkostenfreie Lieferung open ended systems,distributed systems,parallelism,object-oriented systems,concurrent systems,mobile sys… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
3
Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers - Ölveczky, Peter Csaba
Bestellen
bei booklooker.de
€ 43,14
Versand: € 0,001
Bestellengesponserter Link
Ölveczky, Peter Csaba:
Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers - gebrauchtes Buch

2010

ISBN: 9783642163098

[PU: Springer Berlin], Neubindung, Buchrücken leicht gewellt 9293300/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, PayPal, Klarna-Sofortüberweisung… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
4
Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers - Ölveczky, Peter Csaba
Bestellen
bei booklooker.de
€ 58,33
Versand: € 0,001
Bestellengesponserter Link
Ölveczky, Peter Csaba:
Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers - gebrauchtes Buch

2010, ISBN: 9783642163098

[PU: Springer Berlin], Neubindung, Buchrücken leicht gewellt 9293300/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, Kreditkarte, PayPal, Internation… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
5
Bestellen
bei lehmanns.de
€ 64,19
Versand: € 0,001
Bestellengesponserter Link
Peter Csaba Ölveczky:
Rewriting Logic and Its Applications - Taschenbuch

2010, ISBN: 9783642163098

8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, Buch, Softcover, [PU: Springer Berlin], Springe… Mehr…

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Rewriting Logic and Its Applications

This book constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, in March 2010. The 13 revised full papers presented were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on termination and narrowing; tools; the K framework; applications and semantics; maude model checking and debugging; and rewrite engines.

Detailangaben zum Buch - Rewriting Logic and Its Applications


EAN (ISBN-13): 9783642163098
ISBN (ISBN-10): 3642163092
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
261 Seiten
Gewicht: 0,421 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-03-04T03:06:38+01:00 (Berlin)
Buch zuletzt gefunden am 2024-05-12T12:12:27+02:00 (Berlin)
ISBN/EAN: 9783642163098

ISBN - alternative Schreibweisen:
3-642-16309-2, 978-3-642-16309-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: csaba, peter held, kanazawa, budapest
Titel des Buches: march held, paphos, event one, cyprus, logic, international, rewriting lecture notes computer


Daten vom Verlag:

Autor/in: Peter Csaba Ölveczky
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
Verlag: Springer; Springer Berlin
264 Seiten
Erscheinungsjahr: 2010-10-06
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 264 p. 44 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Computerprogrammierung und Softwareentwicklung; Verstehen; Informatik; Debugging; LA; Rewriting logic; concurrency; concurrent systems; distributed systems; first-order logics; higher-order logics; interactive systems; mobile systems; modal logics; object-oriented systems; open ended systems; parallel systems; parallelism; Programming Techniques; Software Engineering; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Software Engineering; Compiler und Übersetzer; Theoretische Informatik; EA

Invited Talks.- Rewriting, Inference, and Proof.- Twenty Years of Rewriting Logic.- Termination and Narrowing.- Proving Termination in the Context-Sensitive Dependency Pair Framework.- A Dependency Pair Framework for A???C-Termination.- Folding Variant Narrowing and Optimal Variant Termination.- Tools.- A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications.- A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories.- The K Framework.- K-Maude: A Rewriting Based Tool for Semantics of Programming Languages.- Collecting Semantics under Predicate Abstraction in the K Framework.- Applications and Semantics.- Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits.- A Formal Pattern Architecture for Safe Medical Systems.- On the Behavioral Semantics of Real-Time Domain Specific Visual Languages.- Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding.- Maude Model Checking and Debugging.- The Linear Temporal Logic of Rewriting Maude Model Checker.- Enhancing the Debugging of Maude Specifications.- Rewrite Engines.- The Third Rewrite Engines Competition.

< zum Archiv...