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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

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 125 b
51.25 €
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 16.07 €
Detektivové a zloději kabelek Zuzana Pospíšilová / Book Hardback
common.buy 8.43 €
Olejové pastely Pentel Artist 16 ks / Book binding.
common.buy 3.41 €
Top
Mozak bez granica Jim Kwik / Book Paperback
common.buy 13.86 €
Telemarketing experto: Como conseguir reuniones para ventas rapidamente Bernard Levine / E-book Adobe ePub DRM
common.buy 2.80 €
Alpenrosen und Gentianen Joseph Bajovar / Book Hardback
common.buy 33.66 €
Ein Hundert Zehen Ganz Neu Zusammengesetzte Schach-end-spiele Joseph Dollinger / Book Hardback
common.buy 31.45 €
L'opinion et la foule Gabriel Tarde / Book Paperback
common.buy 12.86 €
Top
The Studio Albums 1970-1977 (Super Deluxe) T.Rex Audio Audio CD
common.buy 69.95 €
AULA C1. ED. ANOTADA PARA DOCENTES MARTINEZ LARA / Book Paperback
common.buy 40.30 €
Gra Dobble Super Mario / Book binding.
common.buy 16.47 €
Vjačeslav Ivanov Und Seine Deutschsprachigen Verleger: Eine Chronik in Briefen Michael Wachtel / Book Paperback
common.buy 88.34 €
Branche Transport & Logistik Gbi Genios / Book Paperback
common.buy 44.32 €
Ihr könnt mich mal ! Uwe Boll / Book Paperback
common.buy 18.38 €
Greatest Hits Shania Twain / Audio Audio CD
common.buy 9.34 €
Handwritten Shawn Mendes / Audio Audio CD
common.buy 14.36 €
10 Auswahlkriterien fur Web-Frameworks David Badstübner / Book Paperback
common.buy 49.44 €
Dotyk jako lék z pohledu čínské medicíny Renata Lien Čepelková / Book Paperback
common.buy 9.64 €
TERRA Erdkunde 5/6. Differenzierende Ausgabe Niedersachsen, Bremen, Schleswig-Holstein / Book Hardback
common.buy 32.66 €
Symbolické jednání v kultuře raného novověku collegium / Book Hardback
common.buy 12.76 €
Péťa a tma collegium / Book Board book
common.buy 7.23 €
Ďáblův sluha Vlastimil Vondruška / Book Hardback
common.buy 13.46 €
Enzo Ferrari VAN DEN ABEELE / Book Paperback
common.buy 31.75 €
History Of Monuments Qingsong / Book binding.
common.buy 98.49 €

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.33 €
Arab TV-Audiences Ehab Galal / Book Hardback
common.buy 44.32 €
Environmental Integration in Competition and Free-Movement Laws Julian Nowag / Book Hardback
common.buy 173.88 €
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 37.98 €
Top
Pete the Cat: Too Cool for School Kimberly Dean / Book Paperback
common.buy 5.62 €
A Life-Giving Way: A Commentary on the Rule of St. Benedict Esther de Waal / Book Paperback
common.buy 26.93 €
How to Make Lampshades Ruth Collins Allen / Book Paperback
common.buy 29.44 €
The Book of Werewolves: Being an Account of a Terrible Superstition Sabine Baring-Gould / Book Paperback
common.buy 8.33 €
Sweet Life Brandie E Gowey / Book Hardback
common.buy 24.92 €
Marriage and Heredity J. F. NISBET / Book Paperback
common.buy 23.11 €
Secret Life of Pets: Pet Tails Stephane Lapuss / Book Hardback
common.buy 10.95 €
Inventory, Evaluation and Projection of Manufacturing in Topeka, Kansas Lloyd A. Stjernberg / Book Paperback
common.buy 19.19 €
For the Love of Woodstock Ioana Cosma / Book Paperback
common.buy 18.58 €
Chip War: The Fight for the World's Most Critical Technology MILLER CHRIS / Book Hardback
common.buy 24.41 €
Top
The Traitor Queen Danielle L. Jensen / Book Paperback
common.buy 10.34 €
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.29 €
Top
1000 Cryptogram Puzzle Book CS Puzzle Books / Book Paperback
common.buy 15.47 €
The Mist Thief LJ Andrews / Book Paperback
common.buy 14.06 €
Dream Theater: Lost Not Forgotten Archives: Live In Tokyo, 2010 Dream Theater / Audio Audio CD
common.buy 20.90 €
Coming soon
Luftwaffe in Camera 1939-1945 Alfred Price / Book Paperback
common.buy 19.99 €
100 Masters of Bishojo Painting / Book Paperback
common.buy 26.02 €
Top
THROUGH THE LOOKING GLASS Lewis Carroll / Book Book
common.buy 4.11 €
Land Use Planning - Scholar's Choice Edition U. S. Air Force / Book Paperback
common.buy 19.09 €
Planets to Cosmology Mario Livio / Book Hardback
common.buy 174.98 €

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?