Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Theory and Formal Methods 1993

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

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 02006905

Založba 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... Celoten opis

Koda Libristo: 02006905

118 b

48.88 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

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

Knjiga

29.24 €

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

Mehka

9.61 €

La vega del Parnaso. Tomo II

Mehka

34.10 €

Sunny Stroll

binding.

29.14 €

Sensori di pressione a nanofilo A. Vimala Juliet

Mehka

42.70 €

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

Mehka

10.11 €

O Princípio de Peter Alva Silva

Mehka

12.74 €

3343OT GREOUX LES BAINS RIANS PNR DU VERDON

Zemljevid

17.60 €

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

Adobe ePub DRM

9.00 €

Les migrations internationales: enjeux contemporains et questions nouvelles AUDEBERT

Mehka

27.52 €

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

Mehka

11.63 €

Rien dans la nuit que des fantômes Chanelle Benz

Mehka

23.88 €

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

Mehka

18.11 €

Madeleine Ferat Emile Zola

Mehka

18.61 €

Mein Sylt - Ein Tagebuch Hans Bethge

Mehka

25.19 €

Espíritu y naturaleza GREGORY BATESON

Zvočni CD

21.14 €

Fuhrung auf Distanz Gerald Resch

Mehka

53.64 €

Los Poderes Psiquicos de Las Mascotas Richard Webster

Mehka

10.31 €

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

Zvočni CD

12.04 €

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.