Code: 02172562

Formal Methods in Standards

Name: Formal Methods in Standards
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02172562
Price: 55.89 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

55.89 €

Low in stock at our supplier
Shipping in 11 - 15 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Life is Strange 1-3 Boxed Set
35.03 € -25 %
Buy
Ethereal Visions: An Illuminated Tarot Deck
19.74 € -24 %
Buy
Zbroj světla
20.44 € -23 %
Buy
Praxisbuch funktionelle Wirbelsäulengymnastik und Rückentraining. Tl.3
14.37 € -16 %
Buy
Seven Years in Tibet
12.75 € -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.81 € -6 %
Buy
SSH Mastery
31.28 € -18 %
Buy
Krocení sopek
3.84 €
Buy
Moje první čtení Příběhy na dobrou noc
8.90 € -22 %
Buy
Oxford Bookworms Library Factfiles: Level 3:: Information Technology
12.95 €
Buy
PET Result:: Student's Book & Online Workbook
81.20 €
Buy
Skutečný život hospodářských zvířat
2.72 € -33 %
Buy
Modern Egypt and Thebes
64.29 €
Buy
The Fable 01
15.99 € -9 %
Buy
Kolorowe zadania do rozwiązania.
2.22 € -10 %
Buy
Manual of Ideas
28.65 € -24 %
Buy
Doktor Barthel Karte Insel Rügen
8.50 € -15 %
Buy
signora di Reykjavik
13.05 €
Buy
Alien Earth
23.48 € -7 %
Buy
Advances in Database Technology - Edbt 2004
109.45 €
Buy
Hidden Dynamics of Path Dependence
109.45 €
Buy
Apocalypse Israel: The 96-Hour War
22.57 € -6 %
Buy
WORD 2021
27.23 € -5 %
Buy
Reception of P. B. Shelley in Europe
488.48 €
Buy
1st Karl Schwarzschild Meeting on Gravitational Physics
167.88 €
Buy
Phil Simms's Greatest Games
6.37 € -7 %
Buy
Mornings in Florence
22.27 €
Buy
Second Leonaur Christmas Book of Great Ghost Stories
33.30 € -2 %
Buy
Fusion in Computer Vision
55.89 €
Buy
Agent Technology
108.44 €
Buy
Colloquy of the Two Sages
37.46 € -9 %
Buy
Про снеговика
6.27 € -12 %
Buy
Marriage Course Guest Manual, Arabic Edition
10.62 € -9 %
Buy
I Diarii Di Marino Sanuto; Volume 37
23.79 € -2 %
Buy
Nanobiomaterials
80.90 €
Buy
Material Designs and New Physical Properties in MX- and MMX-Chain Compounds
109.45 €
Buy
God's Love for Families
14.98 € -6 %
Buy
Putting Up: A Year-Round Guide to Canning in the Southern Tradition
18.62 € -9 %
Buy
Storytelling im Sinntourismus
14.07 € -3 %
Buy
New Difference Schemes for Partial Differential Equations
167.88 €
Buy
Philosophia Hermetica
24.70 € -2 %
Buy
Les Ailes d'Alexanne T01 4h44 - Tome 1
19.53 €
Buy
Là où le noir s'égare
21.76 €
Buy
African Philosophical Currents
199.98 €
Buy
Urlaubslandsleute. Bd.1
8.39 € -10 %
Buy
de la Charte Et de Ses Ennemis
13.05 € -1 %
Buy
Die jüngere Generation in einer alternden Arbeitswelt
53.56 €
Buy
Me Sarcastic? Never!: 120 Pages I 6x9 I Music Sheet I Funny Humor Phrases Gifts
8.09 € -7 %
Buy
Something in Common
14.88 € -9 %
Buy
Application of Multivariable System Techniques (AMST 90)
216.59 €
Buy
Xenophon's Memoirs of Socrates. with the Defence of Socrates, Before His Judges. Translated from the Originial [Sic] Greek. by Sarah Fielding.
24.29 € -25 %
Buy
Notice Sur Les Eaux Minerales de Chambost Rhone, Par F. Meziat,
13.05 € -1 %
Buy
Sintomatología musculoesquelética y el manejo manual de cargas
40.90 € -4 %
Buy
Social Services of Modern England
224.89 €
Buy
Theory and Applications of Drilling Fluid Hydraulics
55.89 €
Buy
Cours Complet de Comptabilite Commerciale, Theorique Et Pratique
16.60 € -3 %
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 135 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.