Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Theory and Formal Methods 1993

Name: Theory and Formal Methods 1993
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02006905
Price: 51.01 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

Language

English

Book Paperback

Libristo code: 02006905

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 1993

The Theory and Formal Methods Section of the Imperial College Department of Computing has an interna... Full description

Libristo code: 02006905

125 b

51.01 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

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

Book

32.70 €

Manam-Mana Chattalu (Telugu) G.Gangadhar

Paperback

14.10 €

Lo mejor de las mil y una noches

Hardback

39.71 €

Sensori di pressione a nanofilo A. Vimala Juliet

Paperback

44.91 €

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

Paperback

9.99 €

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

Paperback

10.49 €

O Princípio de Peter Alva Silva

Paperback

13.40 €

3343OT GREOUX LES BAINS RIANS PNR DU VERDON

Map

18.10 €

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

Adobe ePub DRM

9.79 €

Peaky Blinders Carl Chinn

Adobe ePub DRM

7.59 €

Das geniale Zeichenbuch Andreas M. Modzelewski

Hardback

20.90 €

Les migrations internationales: enjeux contemporains et questions nouvelles AUDEBERT

Paperback

29.70 €

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

Paperback

12.40 €

Rien dans la nuit que des fantômes Chanelle Benz

Paperback

24.90 €

Fuhrung auf Distanz Gerald Resch

Paperback

59.01 €

Mein Sylt - Ein Tagebuch Hans Bethge

Paperback

26.50 €

Espíritu y naturaleza GREGORY BATESON

Audio CD

22.70 €

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

Audio CD

8.89 €

Los Poderes Psiquicos de Las Mascotas Richard Webster

Paperback

10.49 €

Madeleine Ferat Emile Zola

Paperback

19.40 €

Sunny Stroll

binding.

30.60 €

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

Paperback

18.90 €

La vega del Parnaso. Tomo II

Paperback

36.81 €

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.