Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

6th Refinement Workshop

Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994

Language EnglishEnglish
Book Paperback
Book 6th Refinement Workshop David Till
Libristo code: 02172593
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 1994
This volume contains the papers presented at the 6th Refinement Workshop which was held in London fr... Full description
? points 132 b
54.28 €
106.17  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Et nous étions fort occupés Spark / Book Paperback
common.buy 17.13 € 33.50 лв
Alpenrosen und Gentianen Joseph Bajovar / Book Hardback
common.buy 35.81 € 70.03 лв
Detektivové a zloději kabelek Zuzana Pospíšilová / Book Hardback
common.buy 8.92 € 17.45 лв
Olejové pastely Pentel Artist 16 ks / Book binding.
common.buy 4.43 € 8.67 лв
Mozak bez granica Jim Kwik / Book Paperback
common.buy 14.81 € 28.96 лв
Telemarketing experto: Como conseguir reuniones para ventas rapidamente Bernard Levine / E-book Adobe ePub DRM
common.buy 2.94 € 5.74 лв
The Studio Albums 1970-1977 (Super Deluxe) T.Rex Audio Audio CD
common.buy 73.48 € 143.71 лв
L'opinion et la foule Gabriel Tarde / Book Paperback
common.buy 13.82 € 27.04 лв
Enzo Ferrari VAN DEN ABEELE / Book Paperback
common.buy 33.59 € 65.69 лв
Gra Dobble Super Mario / Book binding.
common.buy 17.64 € 34.51 лв
AULA C1. ED. ANOTADA PARA DOCENTES MARTINEZ LARA / Book Paperback
common.buy 42.26 € 82.65 лв
Vjačeslav Ivanov Und Seine Deutschsprachigen Verleger: Eine Chronik in Briefen Michael Wachtel / Book Paperback
common.buy 92.93 € 181.76 лв
Branche Transport & Logistik Gbi Genios / Book Paperback
common.buy 47.11 € 92.14 лв
Greatest Hits Shania Twain / Audio Audio CD
common.buy 9.70 € 18.96 лв
Handwritten Shawn Mendes / Audio Audio CD
common.buy 15.06 € 29.46 лв
10 Auswahlkriterien fur Web-Frameworks David Badstübner / Book Paperback
common.buy 52.22 € 102.13 лв
Dotyk jako lék z pohledu čínské medicíny Renata Lien Čepelková / Book Paperback
common.buy 10.16 € 19.87 лв
TERRA Erdkunde 5/6. Differenzierende Ausgabe Niedersachsen, Bremen, Schleswig-Holstein / Book Hardback
common.buy 34.47 € 67.41 лв
Symbolické jednání v kultuře raného novověku collegium / Book Hardback
common.buy 13.62 € 26.63 лв
Péťa a tma collegium / Book Board book
common.buy 7.63 € 14.93 лв
Ďáblův sluha Vlastimil Vondruška / Book Hardback
common.buy 14.24 € 27.85 лв
History Of Monuments Qingsong / Book binding.
common.buy 103.46 € 202.35 лв
DANIEL PINKHAM: ANGELUS AD PASTORES AIT (CHORAL-FEMALE ACCOMPANIED) PINKHAM Book binding.
common.buy 28.43 € 55.60 лв
FRENCH FIDDLE TUNES VIOLON +CD CHRIS HAIGH Book binding.
common.buy 35.81 € 70.03 лв

This volume contains the papers presented at the 6th Refinement Workshop which was held in London from 5 - 7 January 1994. The theme of the workshop was "the theory and practice of formal software development", and papers with industrial relevance were particularly encouraged. The papers address both the formal mathematical infrastructure of methods, and the practical application of formal development methods in commerce and industry. Among the specific topics covered are the formal development of authentication protocols, operation semantics with read and write frames, and the testing and safety analysis of abstract machine specifications. This volume will be of interest to academic and industrial researchers, postgraduate students, and research-oriented developers in the computer industry. The proceedings of the previous three Refinement Workshops are also available in the series.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name 6th Refinement Workshop
Author David Till
Language English
Binding Book - Paperback
Date of issue 1994
Number of pages 309
EAN 9783540198864
ISBN 3540198865
Libristo code 02172593
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 505
Dimensions 155 x 235 x 26

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

21 IOT EXPERIMENTS Yashavant Kanetkar / Book Paperback
common.buy 28.43 € 55.60 лв
Arab TV-Audiences Ehab Galal / Book Hardback
common.buy 61.25 € 119.79 лв
Environmental Integration in Competition and Free-Movement Laws Julian Nowag / Book Hardback
common.buy 174.57 € 341.43 лв
Birds of Berwickshire; With Remarks on Their Local Distribution Migration, and Habits, and Also on the Folk-Lore, Proverbs, Popular Rhymes and Sayings George Muirhead / Book Hardback
common.buy 38.18 € 74.68 лв
Top
Pete the Cat: Too Cool for School Kimberly Dean / Book Paperback
common.buy 5.46 € 10.69 лв
A Life-Giving Way: A Commentary on the Rule of St. Benedict Esther de Waal / Book Paperback
common.buy 28.94 € 56.61 лв
How to Make Lampshades Ruth Collins Allen / Book Paperback
common.buy 29.56 € 57.82 лв
The Book of Werewolves: Being an Account of a Terrible Superstition Sabine Baring-Gould / Book Paperback
common.buy 8.30 € 16.24 лв
Sweet Life Brandie E Gowey / Book Hardback
common.buy 25.02 € 48.94 лв
Marriage and Heredity J. F. NISBET / Book Paperback
common.buy 24.30 € 47.53 лв
Secret Life of Pets: Pet Tails Stephane Lapuss / Book Hardback
common.buy 12.12 € 23.71 лв
Inventory, Evaluation and Projection of Manufacturing in Topeka, Kansas Lloyd A. Stjernberg / Book Paperback
common.buy 19.29 € 37.74 лв
For the Love of Woodstock Ioana Cosma / Book Paperback
common.buy 18.62 € 36.43 лв
Chip War: The Fight for the World's Most Critical Technology MILLER CHRIS / Book Hardback
common.buy 24.51 € 47.93 лв
Top
The Traitor Queen Danielle L. Jensen / Book Paperback
common.buy 11.19 € 21.89 лв
Top
Absolutely Everything! Revised and Updated: A History of Earth, Dinosaurs, Rulers, Robots, and Other Things Too Numerous to Mention Andy Forshaw / Book Hardback
common.buy 19.40 € 37.94 лв
Top
1000 Cryptogram Puzzle Book CS Puzzle Books / Book Paperback
common.buy 15.53 € 30.37 лв
Dream Theater: Lost Not Forgotten Archives: Live In Tokyo, 2010 Dream Theater / Audio Audio CD
common.buy 21.98 € 42.99 лв
12th International Conference on Jet Cutting Technology N.G. Allen / Book Hardback
common.buy 358.95 € 702.05 лв
Coming soon
Luftwaffe in Camera 1939-1945 Alfred Price / Book Paperback
common.buy 21.46 € 41.98 лв
100 Masters of Bishojo Painting / Book Paperback
common.buy 27.29 € 53.38 лв
Top
THROUGH THE LOOKING GLASS Lewis Carroll / Book Book
common.buy 3.97 € 7.76 лв
Land Use Planning - Scholar's Choice Edition U. S. Air Force / Book Paperback
common.buy 19.14 € 37.43 лв
Planets to Cosmology Mario Livio / Book Hardback
common.buy 175.66 € 343.55 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?