Verificar estado da encomenda

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 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Recent Trends in Data Type Specification Michel Bidoit

Recent Trends in Data Type Specification

8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers

Christine Choppy

Língua

Inglês

Livro Capa mole

Livro Recent Trends in Data Type Specification Michel Bidoit

Código Libristo: 02092610

Editoras Springer, Berlin, novembro 1992

The algebraic specification of abstract data types has been a flourishing research topic in computer... Descrição completa

Código Libristo: 02092610

?

points

111 b

45.93 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Ich entdecke die Emotionen - Color Monster

/

Jogo

25.03 €

Der Traum des Apothekers von Locarno Max Frisch

/

Capa mole

9.99 €

Sistemas Quanticos em Cavidade Efeito Casimir Dinamico e Emaranhamento Granhen Edney

/

Capa mole

62.50 €

Kultur-Kuriosa. Bd.1 Max Kemmerich

/

Capa mole

31.39 €

Kompetenztest Biologie 2 Hans-Jürgen Seitz

/

Folha

14.73 €

Sozialisierung der Landwirtschaft Karl Kautsky

/

Capa mole

22.10 €

Die weisen Frauen der Cherokee Joyce Sequichie Hifler

/

Livro de capa dura

27.55 €

Wissensmanagement als Aufgabe des Personalmanagements Martin Weinberg

/

Capa mole

15.03 €

Die Dunkle Seite Des Mondes Martin Suter

/

Capa mole

11.90 €

Gott, Trinitat und Geist Jan Rohls

/

Capa mole

127.41 €

The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974.The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of reliable software. This volume gives the proceedings of the Eighth Workshop on Specification of Abstract Data Types, held jointly with theThird COMPASS workshop near Paris in August 1991. The main topics covered by the joint workshop are:- specification languages and program development- algebraic specification of concurrency- theorem proving- object-oriented specifications- order-sorted algebras- abstract implementation and behavioral semantics. The volume contains four invited surveys and twelve contributed papers, all of which underwent a careful refereeing process.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

Ewa Kasp

Ewa Kasp

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

Sobre o livro

Nome completo Recent Trends in Data Type Specification

Autor Michel Bidoit, Christine Choppy

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 1993

Número de páginas 346

EAN 9783540563792

ISBN 3540563792

Código Libristo 02092610

Editoras Springer, Berlin

Peso 474

Dimensões 155 x 233 x 19

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados

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 > Segurança informática > Encriptação de dados

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

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

Informática & tecnologia da informação > Sistemas operativos

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

Maximum power point tracker (MPPT) based photovoltaic (PV) water pumping system using AC and DC motors Rehan Jamil

/

Capa mole

37.65 €

A GLANCE AT LATIN AMERICAN CIVILIZATION FRANCISCO JAV Y NES

/

Livro de capa dura

22.91 €

Soldiers Die Aaron Grunn

/

Capa mole

18.77 €

An Assessment of Corporate Social Responsibility Initiatives Joash Onyonka

/

Capa mole

43.10 €

Grimm's Complete Fairy Tales (Barnes & Noble Collectible Classics: Omnibus Edition) Brothers Grimm

/

Livro de capa dura

36.84 €

Some Wild Things Bill Jones

/

Livro de capa dura

30.28 €

Marlena's Journal Marlena Fearing

/

Capa mole

12.81 €

Social Life of the Chinese Professor Justus Doolittle

/

Capa mole

22.91 €

History of Barn Elms and the Kit-Cat Club Now the Ranelagh Club ... Second Edition. [With Illustrations.] C J Barrett

/

Capa mole

23.92 €

Analysis of Biomarker Data - A Practical Guide Joseph L. Hagan

/

Livro de capa dura

120.35 €

Encyclopedia of Language N.E. Collinge

/

Livro de capa dura

514.23 €

To Know You Shannon Ethridge

/

Capa mole

12.81 €

Chomsky's Challenge to American Power Anthony F. Greco

/

Capa mole

41.08 €

Art, Performance and Ritual in Benin City Charles Gore

/

Livro de capa dura

104.49 €

Peacekeeping in Africa Marco Wyss

/

Capa mole

65.12 €

Rise of the Chinese Militray Power Ralph L. Powell

/

Capa mole

50.98 €

Early Childhood Education Cathy Nutbrown & Peter Clough

/

Capa mole

25.64 €

Designing and Proposing Your Research Project Jennifer Brown Urban

/

Capa mole

38.36 €

Hellspawn Odyssey Ricky Fleet

/

Capa mole

11.00 €

Adventure Giorgio (Accademia di Architettura di Mendrisio) Agamben

/

Livro de capa dura

8.98 €

Revival: Children in the Nursery School (1928) Johnson

/

Livro de capa dura

275.33 €

Fractals in Graz 2001 Peter Grabner

/

Livro de capa dura

109.95 €

Learn vietnamese - 150 words with pronunciations - Beginner: Picture book for bilingual kids Goose and Books

/

Capa mole

12.41 €

Lonely Planet Shanghai Damian Harper et al

/

Capa mole

23.72 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?