Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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: 1350 CZK
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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01660601

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, únor 2012

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International... Celý popis

Libristo kód: 01660601

135 b

1 350 Kč

Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Ein unerfreulicher Antrag Philis Schröer

Brožovaná

319 Kč

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

Brožovaná

128 Kč

Durango T19

Pevná

294 Kč

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

Pevná

243 Kč

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

Brožovaná

406 Kč

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

Brožovaná

360 Kč

À toi ! - Bayern 2019 - Band 2 Sabine Domdey

Pevná

715 Kč

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

Brožovaná

651 Kč

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

Brožovaná

315 Kč

Demokritstudien Adolf Dyroff

Brožovaná

388 Kč

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

Brožovaná

194 Kč

Ressources Alimentaires Non Conventionnelles En Centrafrique Mbetidbessane-E

Brožovaná

449 Kč

Stolz und Vorurteil mit den Meerschweinchen Alex Goodwin

Brožovaná

208 Kč

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

Brožovaná

389 Kč

Latente Steuern nach dem HGB n.F. Michael Urban

Brožovaná

491 Kč

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.