Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Recent Trends in Algebraic Development Techniques

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

Limba englezăengleză
Carte Carte broșată
Carte Recent Trends in Algebraic Development Techniques Till Mossakowski
Codul Libristo: 01660601
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, februarie 2012
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International... Descrierea completă
? points 141 b
306.16 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Ein unerfreulicher Antrag Philis Schröer / Carte Carte broșată
common.buy 77.54 lei
Rhymes and Riddles. Rymowanki - Zgadywanki. Czytam po angielsku Katarzyna Kępińska / Carte Carte broșată
common.buy 27.75 lei
Leftin
Durango T19 / Carte Copertă tare
common.buy 63.61 lei
Čo na ňom vidíš? Dana Hlavatá / Carte Copertă tare
common.buy 54.78 lei
ALLEMAGNE D'AUJOURD'HUI, N 185/JUIL.-SEPT. 2008. VOLKER BRAUN ET LE R OMAN DE HINZE ET KUNZE. AUTEURS DIVERS Carte Carte broșată
common.buy 88.15 lei
Top
FLE (Français langue étrangère). Le français écrit. Vocabulaire, grammaire, exercices corrigés [B1-C2] Chollet / Carte Carte broșată
common.buy 123.39 lei
À toi ! - Bayern 2019 - Band 2 Sabine Domdey / Carte Copertă tare
common.buy 171.01 lei
BABADADA, slovenčina - shqipe, obrazkovy slovnik - fjalor me ilustrime Babadada Gmbh / Carte Carte broșată
common.buy 156.04 lei
Poursuites Dirigees Contre Notre Pere Supreme Enfantin, Et Contre Notre Pere Olinde Rodrigues Chevalier-M / Carte Carte broșată
common.buy 75.15 lei
Demokritstudien Adolf Dyroff / Carte Carte broșată
common.buy 94.39 lei
Sana Las Heridas En Tu Matrimonio=healing the Hurt in Your Marriage Gary Rosberg / Carte Carte broșată
common.buy 46.15 lei
Ressources Alimentaires Non Conventionnelles En Centrafrique Mbetidbessane-E / Carte Carte broșată
common.buy 109.36 lei
Stolz und Vorurteil mit den Meerschweinchen Alex Goodwin / Carte Carte broșată
common.buy 50.62 lei
Untersuchung der Besonderheiten der Unternehmensbesteuerung in OEsterreich Patrick W. W. Köstner / Carte Carte broșată
common.buy 94.80 lei
Latente Steuern nach dem HGB n.F. Michael Urban / Carte Carte broșată
common.buy 119.75 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Recent Trends in Algebraic Development Techniques
Autor Till Mossakowski, Hans-Jörg Kreowski
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 303
EAN 9783642284113
ISBN 3642284116
Codul Libristo 01660601
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 454
Dimensiuni 155 x 235 x 23

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Pinterest Marketing - An Hour a Day Jennifer Evans Cario / Carte Carte broșată
common.buy 149.59 lei
Paper Dogs 1000 Pc Puzzle GALISON / Joc / Jucărie Joc
common.buy 104.37 lei
The Workman's Bane And Antidote: Comprising The Essay On Strikes (1864) John Watts / Carte Carte broșată
common.buy 111.44 lei
Grow: Secrets of Our DNA Emily Sutton / Carte Copertă tare
common.buy 81.18 lei
The Secret World of Plants: Tales of More Than 100 Remarkable Flowers, Trees, and Seeds HOARE BEN / Carte Copertă tare
common.buy 108.42 lei
Archetype, Culture, and the Individual in Education MAYES / Carte Carte broșată
common.buy 286.61 lei
Select Tracts and Documents Illustrative of English Monetary History 1626-1730 William Arthur Shaw / Carte Carte broșată
common.buy 126.82 lei
WHAT IS IT? (LETS PLAY IN ENGLISH) CAJA JUEGO / Carte Carte
common.buy 221.64 lei
Handful of Hard Men Hannes Wessels / Carte Copertă tare
common.buy 118.61 lei
Top
Deadman Wonderland, Vol. 8 Jinsei Kadokawa / Carte Carte broșată
common.buy 46.98 lei
Oracle 11g R1/R2 Real Application Clusters Essentials David R. Heffelfinger / Carte Carte broșată
common.buy 428.63 lei
Manoi Lee Randall / Carte Carte broșată
common.buy 105.82 lei
World Trade Governance and Developing Countries - The GATT/WTO Code Committee System Kofi Oteng Kufuor / Carte Carte broșată
common.buy 168.62 lei
Luxury Trades and Consumerism in Ancien Regime Paris Robert Fox / Carte Copertă tare
common.buy 1 143.78 lei
Evolving Approaches to Managing Marine Recreational Fisheries Radoslav S. Dimitrov / Carte Copertă tare
common.buy 770.03 lei
Childhood Speech, Language, and Listening Problems Patricia McAleer Hamaguchi / Carte Carte broșată
common.buy 83.57 lei
PET/CT in Gynecological Cancers Tara Barwick / Carte Carte broșată
common.buy 279.23 lei
Psychology of Prophecy: A Study of the Prophetic Mind As Manifested by the Ancient Hebrew Prophets Jacob Hyman Kaplan / Carte Copertă tare
common.buy 173.61 lei
Strange Girl Deluxe Hardcover Eric Nguyen / Carte Copertă tare
common.buy 251.37 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?