Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Recent Trends in Algebraic Development Techniques

23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

Phillip James

Markus Roggenbach

Língua

Inglês

Livro Capa mole

Código Libristo: 18376721

Editoras Springer International Publishing AG, dezembro 2017

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 In... Descrição completa

Código Libristo: 18376721

125 b

51.65 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Joh. Gabr. Seidl's Gesammelte Schriften: Bd. Schiller's Manen! Lieder Der Nacht. Balladen, Romanzen, Sagen Und Lieder. Alfons V. Lamartine's Elegieen. Alexander Julius Schindler

Capa mole

23.75 €

Aus Guten Stunden: Dichtungen Und Nachdichtungen (1886) Gustav Legerlotz

Capa mole

34.56 €

Między pomocą społeczną, wsparciem a pieczą zastępczą Krajewska Beata

Capa mole

8.08 €

Alchemie - Genealogie Und Terminologie, Bilder, Techniken Und Artefakte: Forschungen Aus Der Herzog August Bibliothek Petra Feuerstein-Herz

Livro de capa dura

122.62 €

Ombre Du Paradis Rey Pierre Rey

Capa mole

12.32 €

R sistance Chez Les Patients Infect s Par Le Vih-1 Au Mali Moussa Diawara

Capa mole

49.83 €

Clet Abraham gibt den Straßenschildern eine ganz neue Bedeutung (Wandkalender 2026 DIN A4 hoch), CALVENDO Monatskalender Calvendo

Calendário

21.32 €

Grunderteams Thomas Lechler

Capa mole

35.88 €

MoravskÃ1/2 Lid

Livro de capa dura

32.74 €

Самые жуткие страшилки А. Литоренко

Capa mole

12.73 €

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK. The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on 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 areas, broadly falling into three categories: multimedia content analysis; multimedia signal processing and communications; and multimedia applications and services.