Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Rewriting Logic and Its Applications

Name: Rewriting Logic and Its Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01662337
Price: 49.49 EUR
Availability: InStock
Author: Francisco Durán
ISBN: 9783642340048

9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers

Francisco Durán

Sprache

Englisch

Buch Broschur

Libristo-Code: 01662337

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2012

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Wor... Vollständige Beschreibung

Libristo-Code: 01662337

121 b

49.49 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Unterwegs im Elsass - Terminplaner (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo

Kalender

31.99 €

Fantasmas PABLO REMON

Broschur

15.99 €

Wschód słońca w dniu dożynek. Igrzyska śmierci. Tom 5 Suzanne Collins

Broschur

11.69 €

Bébé Balthazar - La journée de Bébé Balthazar - Pédagogie Montessori Marie-Hélène Place

Buch

27.29 €

Le Palais d'Orsay Lewandowski

Buch

28.39 €

Lignes essentielles 2022 : Nos essenti'elles Mockly

Broschur

23.69 €

TERRES DES SIGNES 1 TERRES DES SIGNES 1 Buch

binding.

21.59 €

Edens zero Hiro Mashima

Broschur

7.99 €

Jedz jak Geniusz Max Lugavere

Broschur

14.29 €

Développement de la relation commerciale dans un environnement interculturel, BTS Commerce international (2021) - Pochette élève BIDAULT

Broschur

37.79 €

Аюрведа. Философия и травы Ян Раздобурдин

Broschur

11.69 €

Activité hépatoprotectrice de la nouvelle formulation polyherbale Ashish Kandalkar

Broschur

35.49 €

Bewusstseins-Welten Wolfgang Marx

Hardcover

158.39 €

Management des globalen Managements - Managing Global Management Gebhard Deissler

Broschur

52.95 €

grand voyage au pays des Hurons Gabriel Sagard

Broschur

16.89 €

Alter Der Babylonischen Astronomie Alfred Jeremias

Broschur

25.90 €

Armenfursorge bei Wilhelm Loehe und das Werk "Das Armenwesen nach all seinen Richtungen... von Charles Duchatel und Francois Naville Michael Martin Nachtrab

Broschur

17.95 €

Anerkennung und absolute Religion Thomas M Schmidt

Hardcover

106.99 €

Ludger Brummer Karl Bellenberg

Broschur

17.95 €

Wissenschaftssprache Deutsch Michael Szurawitzki

Broschur

64.00 €

El Inventor: Benjamin Franklin Melissa A. Settle

Broschur

8.49 €

Cite Promise (La) Doris May Lessing

Broschur

32.79 €

Vägvisare till underjorden /Führer in die Unterwelt. Vägvisare till Underjorden Gunnar Ekelöf

Broschur

37.09 €

Boxeo tailandés, muay thai Marco De Cesaris

Broschur

19.99 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Rewriting Logic and Its Applications

Autor Francisco Durán

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 241

EAN 9783642340048

ISBN 3642340040

Libristo-Code 01662337

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 391

Abmessungen 155 x 235 x 14

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert