Code: 02172562

Formal Methods in Standards

Name: Formal Methods in Standards
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02172562
Price: 51.65 EUR
Availability: InStock
Author: Clive L.N. Ruggles
ISBN: 9783540195771

by Clive L.N. Ruggles, Derek Andrews, David Blyth, Cornelia Boldyreff

Language: English
Binding: Paperback
Number of pages: 135
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1990
More about this

51.65 €

RRP: 55.93 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Life is Strange 1-3 Boxed Set
34.97 € -25 %
Buy
Ethereal Visions: An Illuminated Tarot Deck
18.59 € -28 %
Buy
Manual of Ideas
28.60 € -24 %
Buy
Zbroj světla
21.22 € -20 %
Buy
Seven Years in Tibet
12.73 € -25 %
Buy
Medium Fill-A-Pix Logic Grid Puzzle Book Around the World: Mosaic Puzzles for Advanced and Beginners Fun Brain Tease for Adults and Kids
9.80 € -6 %
Buy
SSH Mastery
31.23 € -18 %
Buy
Praxisbuch funktionelle Wirbelsäulengymnastik und Rückentraining. Tl.3
14.35 € -16 %
Buy
Krocení sopek
3.83 €
Buy
Moje první čtení Příběhy na dobrou noc
8.89 € -22 %
Buy
Oxford Bookworms Library Factfiles: Level 3:: Information Technology
12.93 €
Buy
PET Result:: Student's Book & Online Workbook
80.87 €
Buy
Adventures in the Rifle Brigade
14.35 € -9 %
Buy
Skutečný život hospodářských zvířat
2.82 € -31 %
Buy
Modern Egypt and Thebes
64.19 €
Buy
The Fable 01
13.54 € -16 %
Buy
Doktor Barthel Karte Insel Rügen
8.48 € -15 %
Buy
Reception of P. B. Shelley in Europe
487.67 €
Buy
Alien Earth
23.44 € -7 %
Buy
Apocalypse Israel: The 96-Hour War
22.53 € -6 %
Buy
Advances in Database Technology - Edbt 2004
109.17 €
Buy
Furst Bismarck unter drei Kaisern 1884-1888
31.23 € -11 %
Buy
1st Karl Schwarzschild Meeting on Gravitational Physics
154.26 € -7 %
Buy
Fusion in Computer Vision
51.65 € -7 %
Buy
Second Leonaur Christmas Book of Great Ghost Stories
33.25 € -2 %
Buy
God's Love for Families
14.95 € -6 %
Buy
New Difference Schemes for Partial Differential Equations
154.26 € -7 %
Buy
WORD 2021
27.29 € -4 %
Buy
I Diarii Di Marino Sanuto; Volume 37
23.75 € -2 %
Buy
Material Designs and New Physical Properties in MX- and MMX-Chain Compounds
102.90 € -7 %
Buy
Nanobiomaterials
90.67 €
Buy
Colloquy of the Two Sages
37.39 € -9 %
Buy
Phil Simms's Greatest Games
6.36 € -7 %
Buy
Mornings in Florence
11.72 € -14 %
Buy
Agent Technology
102.90 € -7 %
Buy
Storytelling im Sinntourismus
13.94 €
Buy
Putting Up: A Year-Round Guide to Canning in the Southern Tradition
18.59 € -9 %
Buy
favorita del Mahdi
20.51 € -14 %
Buy
Là où le noir s'égare
21.52 €
Buy
Philosophia Hermetica
24.66 € -2 %
Buy
Про снеговика
6.26 € -12 %
Buy
Marriage Course Guest Manual, Arabic Edition
10.60 € -9 %
Buy
Hidden Dynamics of Path Dependence
109.17 €
Buy
Me Sarcastic? Never!: 120 Pages I 6x9 I Music Sheet I Funny Humor Phrases Gifts
8.08 € -7 %
Buy
Cours Complet de Comptabilite Commerciale, Theorique Et Pratique
16.57 € -2 %
Buy
Urlaubslandsleute. Bd.1
8.38 €
Buy
de la Charte Et de Ses Ennemis
12.42 € -9 %
Buy
Les Ailes d'Alexanne T01 4h44 - Tome 1
19.30 €
Buy
African Philosophical Currents
233.42 €
Buy
Die jüngere Generation in einer alternden Arbeitswelt
56.50 € -6 %
Buy
Application of Multivariable System Techniques (AMST 90)
205.62 € -7 %
Buy
Something in Common
14.85 € -9 %
Buy
Social Services of Modern England
249.29 €
Buy
Xenophon's Memoirs of Socrates. with the Defence of Socrates, Before His Judges. Translated from the Originial [Sic] Greek. by Sarah Fielding.
24.25 € -25 %
Buy
Notice Sur Les Eaux Minerales de Chambost Rhone, Par F. Meziat,
13.03 € -1 %
Buy
Theory and Applications of Drilling Fluid Hydraulics
51.65 € -7 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 125 loyalty points

Book synopsis

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.