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 :-(

Formal Methods in Software and Systems Modeling

Name: Formal Methods in Software and Systems Modeling
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560339
Price: 54.41 EUR
Availability: InStock
Author: H. Kreowski
ISBN: 9783540249368

Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

H. Kreowski

Ugo Montanari

Fernando Orejas

Língua

Inglês

Livro Capa mole

Código Libristo: 01560339

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, fevereiro 2005

By presenting state-of-the-art research results on various aspects of formal and visual modeling of... Descrição completa

Código Libristo: 01560339

132 b

54.41 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Informations Management Walter Gora

Livro de capa dura

69.59 €

peccati di Marisa Salas Clara Sánchez

Capa mole

22.55 €

COLUMBO - Das Chaos hat einen Namen Barbara Schilling

Capa mole

9.60 €

Осколки детских травм. Почему мы болеем и как это остановить Донна Джексон Наказава

Livro de capa dura

16.68 €

Großes Wörterbuch Deutsch-Paschto Akram Malakzay

Livro de capa dura

47.84 €

Metacognition and Study Skills: A Guide for Teachers Jonathan Firth

Capa mole

30.54 €

EN LAS HORAS DE LUZ MAÑERO

Livro

17.19 €

The Boys: Пацаны. Том 11. За холмом мужи с тысячью мечей Гарт Эннис

Capa mole

35.80 €

Onde solitarie. Una riconciliazione fisica degli opposti Auro Michele Perego

Capa mole

18.60 €

Der verbastelbare Adventskalender: Kreativer Advent. Papierdesigns zum Ausschneiden, Verbasteln und Dekorieren. Louise Lindgrün

Capa mole

17.59 €

Zaginiona z Titanica Frances Quinn

Capa mole

10.41 €

Neříkejte tomu ezo Pavel Šplíchal

Capa mole

24.77 €

Der schwarze Prinz und die Schlacht bei Poitiers Johann Baier

Livro de capa dura

20.52 €

L'évolution du système nerveux : Invertébrés et vertébrés Mauro Luisetto

Capa mole

41.46 €

morso Simona Lo Iacono

Capa mole

11.12 €

1968 Dal Vitnam al Messico Diario di un anno cruciale Oriana Fallaci

Livro de capa dura

34.48 €

GER-LETZTEN 120 JAHRE DER WELT Wolfgang 1798-1873 Menzel

Livro de capa dura

39.24 €

Cuaderno del alumno Emergencias sanitarias y dispositivos de riesgo previsible (MF0362_2). Certifica Pérez Aguilera

Capa mole

6.97 €

Gite Di Un Artista (1884) Camillo Boito

Livro de capa dura

51.48 €

Mi triple primer amor 03 NAO DUOMOTO

Capa mole

10.21 €

The Book of Nathan The Prophet: Afrikaans Translation Ti Burtzloff

Capa mole

13.95 €

Salto al vacío GARCIA REYES

Capa mole

27.61 €

BARAJA 52 EXPERIMENTOS CIENTIFICOS ASOMBROSOS LYNN GORDON

Capa mole

10.71 €

Stade an einem Tag Kristina Kogel

Capa mole

7.07 €

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig.§The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Formal Methods in Software and Systems Modeling

Autor H. Kreowski, Ugo Montanari, Fernando Orejas

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2005

Número de páginas 420

EAN 9783540249368

ISBN 3540249362

Código Libristo 01560339

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

Peso 1380

Dimensões 155 x 235 x 25

Categorias

Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática

Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática > Matemática para investigadores informáticos

Informática & tecnologia da informação > Ciência informática > Interação homem-computador > Conceção e utilizabilidade do interface com o utilizador

Matemática & ciência > Matemática > Matemáticas discretas

Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes

Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas

Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica

Ofereça este livro hoje

É fácil

1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Fellowship and Freedom Leng

Livro de capa dura

142.52 €

Parotid tumors in Egypt Sharif Abdelkarim

Capa mole

61.29 €

VHF Radio Checklists and Templates for Sailors: Reducing mistakes & making it easier when speaking over the VHF radio Kimberly Ann Brown

Capa mole

19.31 €

Semi-Annual Report of the Consumer Financial Protection Bureau Consumer Financial Protection Bureau

Capa mole

16.58 €

American Book of Church Services Edward Hungerford

Capa mole

24.37 €

How Is Jesus Christ Lord? Bernhard Dinkelaker

Livro de capa dura

128.36 €

Classroom Diversity Management: A Search for Effective Instructional Approaches Dr Patricia Ifeoma Ugwu

Capa mole

14.86 €

Treatise on the Real Cause and Cure of Insanity; In Which the Nature and Distinctions of This Disease Are Fully Explained, ... by Andrew Harper, ANDREW HARPER

Livro de capa dura

29.73 €