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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Recent Trends in Algebraic Development Techniques

Name: Recent Trends in Algebraic Development Techniques
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01660601
Price: 60.39 EUR
Availability: InStock
Author: Till Mossakowski
ISBN: 9783642284113

20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Till Mossakowski

Hans-Jörg Kreowski

Sprache

Englisch

Buch Broschur

Libristo-Code: 01660601

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

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International... Vollständige Beschreibung

Libristo-Code: 01660601

148 b

60.39 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Ein unerfreulicher Antrag Philis Schröer

Broschur

14.59 €

Rhymes and Riddles. Rymowanki - Zgadywanki. Czytam po angielsku Katarzyna Kępińska

Broschur

5.59 €

Durango T19

Hardcover

11.99 €

Čo na ňom vidíš? Dana Hlavatá

Hardcover

11.09 €

ALLEMAGNE D'AUJOURD'HUI, N 185/JUIL.-SEPT. 2008. VOLKER BRAUN ET LE R OMAN DE HINZE ET KUNZE. AUTEURS DIVERS Buch

Broschur

17.29 €

FLE (Français langue étrangère). Le français écrit. Vocabulaire, grammaire, exercices corrigés [B1-C2] Chollet

Broschur

16.49 €

À toi ! - Bayern 2019 - Band 2 Sabine Domdey

Hardcover

32.29 €

BABADADA, slovenčina - shqipe, obrazkovy slovnik - fjalor me ilustrime Babadada Gmbh

Broschur

29.49 €

Poursuites Dirigees Contre Notre Pere Supreme Enfantin, Et Contre Notre Pere Olinde Rodrigues Chevalier-M

Broschur

14.19 €

Demokritstudien Adolf Dyroff

Broschur

18.90 €

Sana Las Heridas En Tu Matrimonio=healing the Hurt in Your Marriage Gary Rosberg

Broschur

8.69 €

Ressources Alimentaires Non Conventionnelles En Centrafrique Mbetidbessane-E

Broschur

20.59 €

Stolz und Vorurteil mit den Meerschweinchen Alex Goodwin

Broschur

10.00 €

Untersuchung der Besonderheiten der Unternehmensbesteuerung in OEsterreich Patrick W. W. Köstner

Broschur

18.95 €

Latente Steuern nach dem HGB n.F. Michael Urban

Broschur

24.00 €

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany.§The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance validation, and verification.

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 Recent Trends in Algebraic Development Techniques

Autor Till Mossakowski, Hans-Jörg Kreowski

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 303

EAN 9783642284113

ISBN 3642284116

Libristo-Code 01660601

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

Gewicht 454

Abmessungen 155 x 235 x 23

Kategorie

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

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

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