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 Formal Program Development Bernhard Möller

Formal Program Development

IFIP TC2/WG 2.1 State-of-the-Art Report

Bernhard Möller

Língua

Inglês

Livro Capa mole

Livro Formal Program Development Bernhard Möller

Código Libristo: 05274365

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

This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Deve... Descrição completa

Código Libristo: 05274365

?

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

Lehrbuch u. 1 MP3-CD ASSiMiL GmbH

/

Livro de capa dura

74.51 €

Vie Politique Et Religieuse De Thomas Becket (1842) Charles Bataille

/

Capa mole

27.76 €

50 montages de tricot Pascale THULLIER

/

Capa mole

24.63 €

Un faux pas dans la nuit Lhoste

/

Capa mole

19.88 €

Akutní stavy na interním oddělení Jan Piťha

/

Capa mole

11.70 €

GRAN TRATADO DE LOS ESTADIOS EN EL CAMINO A LA ILUMINACIÓN, EL LAM RIM CHEN MO - VOLÚMEN I TSONGKAPA

/

Capa mole

28.06 €

Die vertragszahnaerztliche Wirtschaftlichkeits- und Abrechnungspruefung Ralf Großbölting

/

Capa mole

70.16 €

Leo Graf von Caprivi. Bismarcks Kampf gegen Caprivi Julius von Eckardt

/

Livro de capa dura

54.31 €

Dinamiche Negoziali nella Cooperazione tra Imprese Andrea Caputo

/

Capa mole

41.59 €

Briefe an einen jungen Schriftsteller Mario Vargas Llosa

/

Capa mole

6.45 €

This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro, Brazil. The book stems from work done by IFIP Working Group 2.1 on Algorithmic Languages and Calculi. Since 1975, the Working Group has increasingly focused on systematic approaches to programming and on appropriate concepts and notations to support such approaches. Today, the calculation of programs from specifications constitutes the central theme of the group's work. Thus the core interests of the group are:- formal specification of solutions to problems, and- formal development/calculation of programs from such specifications.

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 Formal Program Development

Autor Bernhard Möller, Helmut Partsch, Steve Schuman

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 1993

Número de páginas 375

EAN 9783540574996

ISBN 3540574999

Código Libristo 05274365

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

Peso 1210

Dimensões 155 x 233 x 21

Categorias

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

Matemática & ciência > Matemática > Teoria dos grafos e teoria combinatória

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

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

Success: The Best of Napoleon Hill Napoleon Hill

/

Capa mole

12.11 €

Muir Ramble Route Peter Thomas

/

Capa mole

12.51 €

American Journalism after 'The Age of Mechanical Reproduction' Bjoern Schubert

/

Capa mole

33.81 €

literary comparison of Edgar Allan Poes The Black Cat and The Tell-Tale Heart Selina Schuster

/

Capa mole

14.23 €

Icarus' Second Chance Jacques Arnould

/

Capa mole

91.67 €

Herman ""Baron"" Lamm, the Father of Modern Bank Robbery Walter Mittelstaedt

/

Capa mole

30.38 €

Public Assault on America's Children Valerie Polakow

/

Capa mole

26.65 €

IV. and V. Will. IV. C. 35.] the Act of Parliament [13 August, 1834] for Establishing the City of London School Anonymous

/

Capa mole

15.54 €

Future of the Euro Matthias Matthijs

/

Livro de capa dura

127.51 €

Romans John F MacArthur

/

Capa mole

11.00 €

City of Roses Emily Isaacson

/

Livro de capa dura

32.70 €

Never Say Never, Never Say Always Susan S Warner

/

Capa mole

9.78 €

The States of the River Plate: Their Industries and Commerce Wilfrid Latham

/

Capa mole

22.91 €

TinkerActive Workbooks: Kindergarten Science Taryn Johnson

/

Capa mole

10.69 €

Shirley Charlotte Brontë

/

Capa mole

16.15 €

Great War of the Dark Age Dominique Wohlschlag

/

Capa mole

8.88 €

Learn Odoo Greg Moss

/

Capa mole

47.95 €

Medieval Cruelty Daniel Baraz

/

Livro de capa dura

76.73 €

Algebraic Number Theory Frazer Jarvis

/

Capa mole

34.12 €

State Counsellor Boris Akunin

/

Capa mole

13.72 €

Vorticists Mark Antliffe

/

Capa mole

41.79 €

Urdu for Children, Book II, 3 Book Set, Part One Sajida Alvi

/

Capa mole

28.97 €

Little Polar Bear Hans DeBeer

/

Capa mole

5.75 €

Living with Nietzsche Robert C. Solomon

/

Capa mole

36.34 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?