Code: 05121460

Theory and Formal Methods of Computing

Name: Theory and Formal Methods of Computing
Brand: Imperial College Press
SKU: 05121460
Price: 155.83 EUR
Availability: BackOrder
Author: Chris Hankin
ISBN: 9781860940033

by Chris Hankin, I. Mackie, Rajagopal Nagarajan

Language: English
Binding: Hardback
Number of pages: 444
Publisher: Imperial College Press, 1995
More about this

155.83 €

Availability:

50/50

We think title might be available. Upon your order we will do our best to get it within 6 weeks.
We search the world

Availability alert

Add to wishlist

Full Metal Panic! Volumes 1-3 Collector's Edition
28.41 € -12 %
Buy
Az Üzlet Öröme - Joy of Business Hungarian
18.57 € -25 %
Buy
Favorite Piano Works
14.35 € -25 %
Buy
Britain Against Napoleon
21.08 € -24 %
Buy
Love That Story
13.85 € -24 %
Buy
Rousseau, Henri
11.04 € -12 %
Buy
Čepel čarodějky
17.06 € -9 %
Buy
Military Aircraft, Tanks and Warships Visual Encyclopedia
31.62 € -24 %
Buy
Integrating Clinical Aromatherapy in Palliative Care
39.55 €
Buy
Silver: Of Hunters and Prey (Silver Book #2)
20.27 € -25 %
Buy
One Hundred More Poems from the Japanese
12.04 € -20 %
Buy
Die Elixiere des Teufels. Lebensansichten des Katers Murr
13.45 € -16 %
Buy
The Taste of Anime
22.38 €
Buy
12th Mini Album SPILL THE FEELS YOU Ver.
24.39 € -28 %
Buy
History of the Popes, Volume I
24.29 € -2 %
Buy
Deaths of Henri Regnault
82.33 €
Buy
Wayward Girls in Victorian and Edwardian England
39.75 €
Buy
Bajkoviti adventski kalendar
31.92 €
Buy
Democracia a la fuerza : intervenciones estadounidenses en la República Dominicana, Granada y Panamá
32.12 €
Buy
Approaching the Assumption, 1863-1950
86.54 €
Buy
Theoretische und methodische Grundlagen ausgewahlter leichtathletischer Disziplinen
16.06 € -10 %
Buy
The Holy Qur'an.
17.76 € -7 %
Buy
Generation of Entangled States in the Framework of Cavity-Qed
61.84 € -14 %
Buy
Glossary of Food Science and Technology
41.36 €
Buy
Horn of the Kraken
43.67 €
Buy
Catalogue Of Drawings By British Artists V2: And Artists Of Foreign Origin Working In Great Britain (1900)
33.43 € -1 %
Buy
International Handbook of Addiction Behaviour
63.15 €
Buy
My First Book About Engineering: An Awesome Introduction to Robotics & other Fields of Engineering
5.51 € -25 %
Buy
Why Jesus Won't Go Away
26.80 €
Buy
Metro Cuadrado
14.05 €
Buy
L'empire barbare - tome 2 Théodoric Le Grand
12.54 €
Buy
Sleepover
6.52 € -25 %
Buy
Law Enforcement Intelligence
60.44 €
Buy
Pfadfinderin
8.12 € -9 %
Buy
Bwa bandé
25.70 €
Buy
Under His Wings: Psalm 91: A Devotional
9.93 € -7 %
Buy
Impetuous Mistress
14.15 € -2 %
Buy
Corporate Reputation and its Importance for Business Success
42.46 € -14 %
Buy
Dignity and Duties of the Priest; or, Selva. A Collection of Materials for Ecclesiastical Retreats. Rules of Life and Spiritual Rules
38.05 € -10 %
Buy
[Mythology Made Easy; Or, a New History of the Heathen Gods and Goddesses, ... ].
21.78 € -10 %
Buy
Annual Editions: American History, Volume 1, 18/E
31.63 €
Buy
La princesse des nuages
12.34 €
Buy
Olympiad Value Pack Class 10
24.19 € -17 %
Buy
Human Security in Southeast Asia
21.28 € -14 %
Buy
Emma's Halloween Activity Book: Personalized Book for 4-8 Year Old, Coloring Pages, Join the Dots, Tracing, Ghost Mazes. Seasonal Story Writing Prompt
11.84 € -7 %
Buy
Dark Angels
12.64 € -18 %
Buy
Oraison Funebre de Louis XVI. Seconde Edition
12.44 € -10 %
Buy
Establecimiento de un sistema de propagación in vitro en girasol
44.17 € -14 %
Buy
Canadian Brass Book of Intermediate Tuba Solos: With Online Audio of Performances and Accompaniments [With CD]
18.87 € -10 %
Buy
Cyclope Exorbite
5.71 €
Buy
Bellissima!
61.44 €
Buy
Essential Practical Prescribing
63.15 €
Buy
Study & Master Social Sciences Learner's Book Grade 4
13.34 € -4 %
Pre-order
Ideology and Social Knowledge
70.88 €
Buy
CAJOU ROI DU DODO
6.72 €
Buy
Laurie's Secret
9.13 € -6 %
Buy
On the Origin of Products
137.15 €
Buy
Can Education Reform in Iraq Build a Better Peace?
15.85 € -10 %
Buy
Emplatre Revulsif de Thapsia
12.34 € -1 %
Buy
Discours sur l'irrationalité dans les romans de Peter Ackroyd
43.37 € -14 %
Buy
Farmer's Magazine
39.85 € -2 %
Buy
Invincible Man
18.77 € -2 %
Buy
Tunguska: An Apocalyptic Event Beyond Belief
9.93 € -7 %
Buy
Cómo practicar la quiromancia : una guía para conocer el lenguaje de las manos
14.55 €
Buy
TMS 2010 139th Annual Meeting & Exhibition
283.55 €
Buy
Meditative Commentary Series: Ephesians, Philippians, Colossians, Philemon: Jesus Above All
9.93 € -7 %
Buy
The Mismanagement of Chirtmas
9.83 € -7 %
Buy
PRINCESA CEN.14
10.63 €
Buy
The Role of Trade and Technology in 21st-Century Manufacturing
15.15 € -7 %
Buy
Under the Stars (Ukrainian Children's Book)
26.10 € -2 %
Buy
Use of neutron beams for materials research relevant to the nuclear energy sector
23.18 €
Buy
Properties of Petroleum Fluids
144.38 €
Buy
Samuel Hahnemann's Organon of Homeopathic Medicine (1849)
40.76 € -2 %
Buy
de la Liqueur d'Absinthe Et de Ses Effets
13.24 € -1 %
Buy
Family Portrait: American Prose Poetry 1900 - 1950
18.47 € -9 %
Buy
Histoire de S. E. Mgr Le Cardinal Gousset
32.22 €
Buy
Wally Walnut
24.39 €
Buy
Borrowed Trouble
38.55 €
Buy
Był sobie kraj. Rozmowy o Polsce
10.13 €
Buy
Looking for Laura
31.92 €
Buy
Bitter Fruit
42.46 €
Buy
The Chemical Wedding Of Christian Rosencreutz
33.43 € -1 %
Buy
The River of the West: Life and Adventure in the Rocky Mountains and Oregon; Embracing Events in the Life-time of a Mountain-man and Pioneer:
29.71 € -2 %
Buy
Dear Cousin,
50.09 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

Availability alert

We will watch availability for you

Enter your e-mail address and once book will be available,
we will send you a message. It's that simple.

More about Theory and Formal Methods of Computing

Book details
Synopsis
Trending among others

You get 380 loyalty points

Book synopsis

The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. The aim is to produce correct, efficient implementations in a reliable fashion. Topics covered at the workshop include category theory, logic, domain theory, semantics, concurrency, specification and verification. The papers here range from the purely theoretical to practical applications.