Kód: 05121460

Theory and Formal Methods of Computing

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

Autor Chris Hankin, I. Mackie, Rajagopal Nagarajan

Jazyk: Angličtina
Väzba: Pevná
Počet strán: 444
Nakladateľ: Imperial College Press, 1995
Viac informácií o knihe

152.90 €

Dostupnosť:

50 % šanca

Máme informáciu, že by titul mohol byť dostupný. Na základe vašej objednávky sa ho pokúsime do 6 týždňov zabezpečiť.
Prehľadáme celý svet

Informovať o naskladnení

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

Az Üzlet Öröme - Joy of Business Hungarian
18.32 € -24 %
Kúpiť
Full Metal Panic! Volumes 1-3 Collector's Edition
30.77 € -2 %
Kúpiť
Woods
10.82 € -25 %
Kúpiť
Čepel čarodějky
14.47 € -23 %
Kúpiť
Military Aircraft, Tanks and Warships Visual Encyclopedia
31.68 € -25 %
Kúpiť
Silver: Of Hunters and Prey (Silver Book #2)
21.25 € -25 %
Predobjednať
Love That Story
13.96 € -24 %
Kúpiť
Integrating Clinical Aromatherapy in Palliative Care
41.51 €
Kúpiť
One Hundred More Poems from the Japanese
13.15 € -18 %
Kúpiť
Die Elixiere des Teufels. Lebensansichten des Katers Murr
16.29 € -8 %
Kúpiť
Bajkoviti adventski kalendar
32.29 €
Kúpiť
Wayward Girls in Victorian and Edwardian England
42.82 €
Kúpiť
History of the Popes, Volume I
23.89 € -1 %
Kúpiť
Deaths of Henri Regnault
70.16 €
Kúpiť
The Holy Qur'an.
17.51 € -6 %
Kúpiť
My First Book About Engineering: An Awesome Introduction to Robotics & other Fields of Engineering
5.56 € -25 %
Kúpiť
Generation of Entangled States in the Framework of Cavity-Qed
70.87 € -4 %
Kúpiť
Glossary of Food Science and Technology
54.77 €
Kúpiť
Human Security in Southeast Asia
28.95 € -3 %
Kúpiť
Bellissima!
63.08 €
Kúpiť
Essential Practical Prescribing
67.73 €
Kúpiť
Study & Master Social Sciences Learner's Book Grade 4
15.08 € -5 %
Predobjednať
Theoretische und methodische Grundlagen ausgewahlter leichtathletischer Disziplinen
16.19 € -10 %
Kúpiť
Oraison Funebre de Louis XVI. Seconde Edition
13.05 € -1 %
Kúpiť
Laurie's Secret
9 € -6 %
Kúpiť
Democracia a la fuerza : intervenciones estadounidenses en la República Dominicana, Granada y Panamá
32.60 €
Kúpiť
International Handbook of Addiction Behaviour
59.03 €
Kúpiť
Olympiad Value Pack Class 10
23.79 € -17 %
Kúpiť
Why Jesus Won't Go Away
28.85 €
Kúpiť
Canadian Brass Book of Intermediate Tuba Solos: With Online Audio of Performances and Accompaniments [With CD]
15.99 € -22 %
Kúpiť
Establecimiento de un sistema de propagación in vitro en girasol
50.92 € -3 %
Kúpiť
Looking for Laura
35.03 €
Kúpiť
Metro Cuadrado
15.58 €
Kúpiť
Był sobie kraj. Rozmowy o Polsce
10.62 €
Kúpiť
[Mythology Made Easy; Or, a New History of the Heathen Gods and Goddesses, ... ].
23.58 € -2 %
Kúpiť
Dignity and Duties of the Priest; or, Selva. A Collection of Materials for Ecclesiastical Retreats. Rules of Life and Spiritual Rules
37.36 € -1 %
Kúpiť
Corporate Reputation and its Importance for Business Success
113.20 € -7 %
Kúpiť
Dark Angels
12.45 € -17 %
Kúpiť
Annual Editions: American History, Volume 1, 18/E
31.89 €
Kúpiť
Law Enforcement Intelligence
63.38 €
Kúpiť
Samuel Hahnemann's Organon of Homeopathic Medicine (1849)
40.09 € -1 %
Kúpiť
Can Education Reform in Iraq Build a Better Peace?
15.69 € -2 %
Kúpiť
Cyclope Exorbite
6.88 €
Kúpiť
Dear Cousin,
53.15 €
Kúpiť
La Ciudad De Dios (Spanish Edition)
22.67 € -6 %
Kúpiť
Pfadfinderin
17.10 €
Kúpiť
Histoire de S. E. Mgr Le Cardinal Gousset
31.68 €
Kúpiť
Wally Walnut
24.09 €
Kúpiť
Cómo practicar la quiromancia : una guía para conocer el lenguaje de las manos
14.77 €
Kúpiť
Tunguska: An Apocalyptic Event Beyond Belief
9.81 € -6 %
Kúpiť
Farmer's Magazine
39.18 € -1 %
Kúpiť
TMS 2010 139th Annual Meeting & Exhibition
282.21 €
Kúpiť
Invincible Man
18.42 € -2 %
Kúpiť
Meditative Commentary Series: Ephesians, Philippians, Colossians, Philemon: Jesus Above All
9.81 € -6 %
Kúpiť
The Mismanagement of Chirtmas
9.71 € -6 %
Kúpiť
PRINCESA CEN.14
10.82 €
Kúpiť

Darujte túto knihu ešte dnes

Objednajte knihu a vyberte Zaslať ako darček.
Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.

Viac informácií

Informovať o naskladnení knihy

Zašleme vám správu akonáhle knihu naskladníme

Zadajte do formulára e-mailovú adresu a akonáhle knihu naskladníme, zašleme vám o tom správu. Postrážime všetko za vás.

Viac informácií o knihe Theory and Formal Methods of Computing

Parametre knihy
Anotácia kniha
Obľúbené z iného súdka

Nákupom získate 370 bodov

Anotácia knihy

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.