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

Theory and Formal Methods 1993

Name: Theory and Formal Methods 1993
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02006905
Price: 53.87 EUR
Availability: InStock
Author: Geoffrey Burn
ISBN: 9783540198420

Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993

Geoffrey Burn

Simon Gay

Mark Ryan

Língua

Inglês

Livro Capa mole

Código Libristo: 02006905

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

The Theory and Formal Methods Section of the Imperial College Department of Computing has an interna... Descrição completa

Código Libristo: 02006905

132 b

53.87 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

JAN ŠAFRÁNEK SVĚT LIDÍ/THE WORLD OF PEOPLE Rychard Drury

Livro

35.44 €

Manam-Mana Chattalu (Telugu) G.Gangadhar

Capa mole

14.11 €

Lo mejor de las mil y una noches

Livro de capa dura

40.75 €

Sensori di pressione a nanofilo A. Vimala Juliet

Capa mole

47.56 €

NieR:Automata Opération Pearl Harbor - Tome 3 Yoko Taro

Capa mole

9.60 €

Vnitřní lékařství I Pavel Klener

Capa mole

10.10 €

O Princípio de Peter Alva Silva

Capa mole

14.21 €

3343OT GREOUX LES BAINS RIANS PNR DU VERDON

Mapa

17.42 €

Petit manuel methodologique de l'entretien de recherche - De la probematique a l'analyse Enrick Barbillon

Adobe ePub DRM

9.81 €

Peaky Blinders Carl Chinn

Adobe ePub DRM

7.60 €

Das geniale Zeichenbuch Andreas M. Modzelewski

Livro de capa dura

22.22 €

Les migrations internationales: enjeux contemporains et questions nouvelles AUDEBERT

Capa mole

28.33 €

El Rosario, la oración de la familia. CUADRADO TAPIA

Capa mole

11.81 €

Rien dans la nuit que des fantômes Chanelle Benz

Capa mole

23.82 €

Fuhrung auf Distanz Gerald Resch

Capa mole

59.07 €

Mein Sylt - Ein Tagebuch Hans Bethge

Capa mole

28.03 €

Espíritu y naturaleza GREGORY BATESON

CD de áudio

21.72 €

Nekonečný příběh Michael Ende

CD de áudio

9.60 €

Los Poderes Psiquicos de Las Mascotas Richard Webster

Capa mole

10.51 €

Madeleine Ferat Emile Zola

Capa mole

19.43 €

Sunny Stroll

binding.

32.45 €

DIETA PALEO Para TRIATLON: Forme de su cuerpo Una Maquina de Maximo Rendimiento Mariana Correa

Capa mole

18.92 €

La vega del Parnaso. Tomo II

Capa mole

35.14 €

The Theory and Formal Methods Section of the Imperial College Department of Computing has an international reputation for research into the foundations of computer science, and the application of this theory to real computing problems. In March 1993 it held the first in a proposed series of workshops on theory and formal methods at the Isle of Thorns Conference Centre in Sussex, UK. Almost every member of the section contributed to the workshop, thereby providing comprehensive coverage of the work being done by this important research group. This volume contains revised versions of the papers presented at the workshop. They cover four main areas - semantics, concurrency, logic, and specification - with some papers spanning a variety of disciplines. The papers fall into two main categories: review papers which provide the reader with a good introduction to some of the specific areas being studied by the section, and research papers which give details of the latest results in these areas.