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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
19 829 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Alpenrosen und Gentianen Joseph Bajovar / Book Hardback
common.buy 13 097 Ft
Detektivové a zloději kabelek Zuzana Pospíšilová / Book Hardback
common.buy 3 108 Ft
Olejové pastely Pentel Artist 16 ks / Book binding.
common.buy 1 124 Ft
Top
Mozak bez granica Jim Kwik / Book Paperback
common.buy 5 595 Ft
Telemarketing experto: Como conseguir reuniones para ventas rapidamente Bernard Levine / E-book Adobe ePub DRM
common.buy 995 Ft
Gra Dobble Super Mario / Book binding.
common.buy 6 249 Ft
The Studio Albums 1970-1977 (Super Deluxe) T.Rex Audio Audio CD
common.buy 26 023 Ft
AULA C1. ED. ANOTADA PARA DOCENTES MARTINEZ LARA / Book Paperback
common.buy 14 368 Ft
Ďáblův sluha Vlastimil Vondruška / Book Hardback
common.buy 4 412 Ft
ESPERANÇA ACTIVA JOANNA MACY / Book Paperback
common.buy 10 398 Ft
DANIEL PINKHAM: ANGELUS AD PASTORES AIT (CHORAL-FEMALE ACCOMPANIED) PINKHAM Book binding.
common.buy 9 974 Ft
History Of Monuments Qingsong / Book binding.
common.buy 35 454 Ft
Enzo Ferrari VAN DEN ABEELE / Book Paperback
common.buy 11 743 Ft
Vjačeslav Ivanov Und Seine Deutschsprachigen Verleger: Eine Chronik in Briefen Michael Wachtel / Book Paperback
common.buy 31 526 Ft
Péťa a tma collegium / Book Board book
common.buy 2 556 Ft
Symbolické jednání v kultuře raného novověku collegium / Book Hardback
common.buy 4 688 Ft
TERRA Erdkunde 5/6. Differenzierende Ausgabe Niedersachsen, Bremen, Schleswig-Holstein / Book Hardback
common.buy 12 558 Ft
Dotyk jako lék z pohledu čínské medicíny Renata Lien Čepelková / Book Paperback
common.buy 3 141 Ft
10 Auswahlkriterien fur Web-Frameworks David Badstübner / Book Paperback
common.buy 17 656 Ft
Handwritten Shawn Mendes / Audio Audio CD
common.buy 5 489 Ft
Greatest Hits Shania Twain / Audio Audio CD
common.buy 5 489 Ft
Branche Transport & Logistik Gbi Genios / Book Paperback
common.buy 17 246 Ft

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 10 790 Ft
Arab TV-Audiences Ehab Galal / Book Hardback
common.buy 16 896 Ft
Environmental Integration in Competition and Free-Movement Laws Julian Nowag / Book Hardback
common.buy 61 933 Ft
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 14 575 Ft
Pete the Cat: Too Cool for School Kimberly Dean / Book Paperback
common.buy 2 132 Ft
A Life-Giving Way: A Commentary on the Rule of St. Benedict Esther de Waal / Book Paperback
common.buy 10 412 Ft
Sweet Life Brandie E Gowey / Book Hardback
common.buy 9 551 Ft
Marriage and Heredity J. F. NISBET / Book Paperback
common.buy 8 837 Ft
Secret Life of Pets: Pet Tails Stephane Lapuss / Book Hardback
common.buy 4 075 Ft
Inventory, Evaluation and Projection of Manufacturing in Topeka, Kansas Lloyd A. Stjernberg / Book Paperback
common.buy 7 359 Ft
Chip War: The Fight for the World's Most Critical Technology MILLER CHRIS / Book Hardback
common.buy 9 565 Ft
The Traitor Queen Danielle L. Jensen / Book Paperback
common.buy 4 117 Ft
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 7 566 Ft
Children's First Encyclopedia Mat Edwards / Book Hardback
common.buy 7 566 Ft
1000 Cryptogram Puzzle Book CS Puzzle Books / Book Paperback
common.buy 5 927 Ft
Dream Theater: Lost Not Forgotten Archives: Live In Tokyo, 2010 Dream Theater / Audio Audio CD
common.buy 8 004 Ft
21st Century Dead Christopher Golden / Book Paperback
common.buy 3 753 Ft
Gums and Stabilisers for the Food Industry 14 Glyn O Phillips / Book Hardback
common.buy 63 798 Ft
Planets to Cosmology Mario Livio / Book Hardback
common.buy 66 809 Ft
100 Masters of Bishojo Painting / Book Paperback
common.buy 9 915 Ft
Land Use Planning - Scholar's Choice Edition U. S. Air Force / Book Paperback
common.buy 7 304 Ft
Affordable
Dynamics and Bifurcations Jack K. Hale / Book Hardback
common.buy 22 109 Ft
Africa Immanuel Wallerstein / Book Paperback
common.buy 12 355 Ft
12th International Conference on Jet Cutting Technology N.G. Allen / Book Hardback
common.buy 121 438 Ft

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?