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 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Formal Methods in Standards

A Report from the BCS Working Group

Language EnglishEnglish
Book Paperback
Book Formal Methods in Standards Clive L.N. Ruggles
Libristo code: 02172562
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, July 1990
This report was produced by the Formal Methods in Standards Working Group of the British Computer So... Full description
? points 125 b
51.78 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Moje první čtení Příběhy na dobrou noc / Book Hardback
common.buy 9.92 €
Skutečný život hospodářských zvířat Lena Zeise / Book Book
common.buy 3.54 €
Sintomatología musculoesquelética y el manejo manual de cargas Vania Cid García / Book Paperback
common.buy 35.76 €
WORD 2021 LEONEL YESCAS / Book Paperback
common.buy 27.25 €
Là où le noir s'égare Bensimon / Book Paperback
common.buy 21.78 €
I Diarii Di Marino Sanuto; Volume 37 Marino Sanudo / Book Paperback
common.buy 25.12 €
signora di Reykjavik Ragnar Jónasson / Book Paperback
common.buy 13.06 €
Cours Complet de Comptabilite Commerciale, Theorique Et Pratique BOISSONNET-A / Book Paperback
common.buy 17.42 €
Kolorowe zadania do rozwiązania. Karlik Beata / Book Paperback
common.buy 2.22 €
The Fable 01 Katsuhisa Minami / Book Paperback
common.buy 13.57 €
Top
Zbroj světla Ken Follett / Book Hardback
common.buy 21.27 €
Про снеговика Оксана Балуева / Book Board book
common.buy 6.27 €
Les Ailes d'Alexanne T01 4h44 - Tome 1 Anne Robillard / Book Paperback
common.buy 19.55 €
Storytelling im Sinntourismus Saskia Brosius / Book Paperback
common.buy 14.08 €
Doktor Barthel Karte Insel Rügen / Printed items Map
common.buy 8.50 €
Die jüngere Generation in einer alternden Arbeitswelt Jutta Rump / Book Hardback
common.buy 47.22 €
Urlaubslandsleute. Bd.1 Helge Sobik / Book Paperback
common.buy 8.40 €
Top
Praxisbuch funktionelle Wirbelsäulengymnastik und Rückentraining. Tl.3 Olga Bauer / Book Paperback
common.buy 14.38 €
Notice Sur Les Eaux Minerales de Chambost Rhone, Par F. Meziat, Meziat-F / Book Paperback
common.buy 13.67 €
Historia del cristianismo II : una barca en medio del oleaje Mateo Blanco Cotano / Book Paperback
common.buy 10.63 €
Furst Bismarck unter drei Kaisern 1884-1888 Hermann Robolsky / Book Paperback
common.buy 31.31 €
Krocení sopek Jaymee Goh / Book Paperback
common.buy 3.13 €
de la Charte Et de Ses Ennemis Rioust-M-N / Book Paperback
common.buy 13.67 €
Consumo, publicidade e infância Fárida Monireh Rabuske Kuntz / Book Paperback
common.buy 44.58 €

This report was produced by the Formal Methods in Standards Working Group of the British Computer Society. This group was set up to promote the practical application of formal methods in improving the quality of standards used in computer systems and software. The report identifies issues which relate to the introduction of formal methods into the development and expression of standards, and offers general guidelines on the use of formal methods for those working in different standards areas.

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 Formal Methods in Standards
Author Clive L.N. Ruggles, Derek Andrews, David Blyth, Cornelia Boldyreff
Language English
Binding Book - Paperback
Date of issue 1990
Number of pages 135
EAN 9783540195771
ISBN 3540195777
Libristo code 02172562
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 290
Dimensions 170 x 244 x 9

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science
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

Agent Technology Nicholas R. Jennings / Book Paperback
common.buy 103.16 €
Advances in Database Technology - Edbt 2004 Elisa Bertino / Book Paperback
common.buy 114.71 €
PET Result:: Student's Book & Online Workbook Jenny Quintana / Book Paperback
common.buy 93.43 €
Social Services of Modern England M. Penelope Hall / Book Hardback
common.buy 235.42 €
Xenophon's Memoirs of Socrates. with the Defence of Socrates, Before His Judges. Translated from the Originial [Sic] Greek. by Sarah Fielding. Xenophon / Book Paperback
common.buy 25.93 €
Alien Earth Meadors / Book Hardback
common.buy 24.82 €
God's Love for Families Nancy Moloto / Book Paperback
common.buy 15.80 €
1st Karl Schwarzschild Meeting on Gravitational Physics Piero Nicolini / Book Hardback
common.buy 154.64 €
Manual of Ideas John Mihaljevic / Book Hardback
common.buy 30.60 €
Putting Up: A Year-Round Guide to Canning in the Southern Tradition Stephen Palmer Dowdney / Book Paperback
common.buy 18.13 €
Philosophia Hermetica A S Raleigh / Book Paperback
common.buy 26.04 €
African Philosophical Currents MURUNGI / Book Hardback
common.buy 209.47 €
Phil Simms's Greatest Games MR Rashad Skyla Mitchell / Book Paperback
common.buy 6.78 €
Second Leonaur Christmas Book of Great Ghost Stories EUNICE HETHERINGTON / Book Hardback
common.buy 35.06 €
Marriage Course Guest Manual, Arabic Edition Nicky/Sila Lee/Lee / Book Paperback
common.buy 10.63 €
SSH Mastery Michael W Lucas / Book Hardback
common.buy 33.23 €
Top
Ethereal Visions: An Illuminated Tarot Deck Matt Hughes / Printed items Cards
common.buy 21.07 €
Colloquy of the Two Sages WHITLEY STOKES / Book Hardback
common.buy 37.49 €
Top
Life is Strange 1-3 Boxed Set Emma Vieceli / Book Paperback
common.buy 37.49 €
Me Sarcastic? Never!: 120 Pages I 6x9 I Music Sheet I Funny Humor Phrases Gifts Funny Notebooks / Book Paperback
common.buy 8.60 €
Gospel Initiations for Each Sunday of the Year Marie Chabanel / Book Paperback
common.buy 31.71 €
Apocalypse Israel: The 96-Hour War R. K. Syrus / Book Paperback
common.buy 23.81 €
Medium Fill-A-Pix Logic Grid Puzzle Book Around the World: Mosaic Puzzles for Advanced and Beginners Fun Brain Tease for Adults and Kids Flatline Books &. Publishing / Book Paperback
common.buy 10.33 €
Oxford Bookworms Library Factfiles: Level 3:: Information Technology Paul Davies / Book Paperback
common.buy 14.18 €

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?