Code: 06798524

Formal Specification

Name: Formal Specification
Brand: Springer, Berlin
SKU: 06798524
Price: 49.91 EUR
Availability: InStock
Author: Nimal Nissanke
ISBN: 9781852330026

by Nimal Nissanke

Language: English
Binding: Paperback
Number of pages: 295
Publisher: Springer, Berlin, 1999
More about this

49.91 €

RRP: 55.30 €

You save 5.39 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

The Bugle Call: Song of War, Vol. 4
9.59 € -25 %
Buy
Bully - Szívatás
13.10 € -10 %
Buy
Wars of the Roses
13.80 € -24 %
Buy
Vadims Methode
12.49 € -10 %
Buy
Jean Cocteau: The Juggler's Revenge
39.31 € -24 %
Buy
Rigid Body Dynamics For Beginners: Euler angles & Quaternions
34.20 € -7 %
Buy
Dragon Ball Super nº 06
9.09 € -4 %
Buy
Hydroponics DIY: Beginners Guide On How To Design And Build your Greenhouse Garden For Growing Plants In Water
13.10 € -6 %
Buy
Routledge History of Chinese Philosophy
85.72 €
Buy
The Crowd in the French Revolution
25.30 €
Buy
Percy Jackson - Die Schlacht um das Labyrinth (Percy Jackson 4)
14.30 € -15 %
Buy
Rebecca
20.90 € -2 %
Buy
Aus meinem Leben; Dichtung und Wahrheit
52.51 € -6 %
Buy
The Christmas Spirit
7.79 € -29 %
Buy
Haunted
19.40 €
Buy
International Criminal Law and Sexual Violence against Women
230.98 €
Buy
The Ruba'yat Of Omar Khayam (1899)
20 € -1 %
Buy
The Doomsday Mother: Lori Vallow, Chad Daybell, and the End of an American Family
9.59 € -25 %
Buy
Days and Deeds: A Book of Verse for Children's Reading and Speaking (1906)
35.10 € -1 %
Buy
Docteur, rendez-moi ma liberté - Euthanasie : un médecin belge témoigne...
21.40 €
Buy
A HISTORY OF MISSISSIPPI: FROM THE DISCO
45.81 € -1 %
Buy
Applying a Health Lens to Decision Making in Non-Health Sectors
40.71 €
Buy
HISTOIRE D'UNE MARIE
11.79 €
Buy
Your Career as a Fashion Designer
10.09 € -7 %
Buy
Essays In The Art of Writing
7.99 € -7 %
Buy
Fotografía para todos : más de 300 trucos y consejos de los grandes expertos
28.10 €
Buy
Bola de Drac Definitiva nº 15/34
13.60 € -4 %
Buy
Ayurveda and Acupuncture
16.50 € -9 %
Buy
How To Write A Good Advertisement
32.40 € -2 %
Buy
Le Procede La Gomme Bichromatee Ou Photo-Aquateinte (1898)
20 € -1 %
Buy
Project Puffin
19 € -7 %
Buy
Diskrete Mathematik
21.80 €
Buy
Deutsche Thesen gegen den Papst und seine Dunkelmanner - Antikatholische Erzahlungen
8.79 € -17 %
Buy
Empirical Essays in Open Economy Macroeconomics
66.72 € -1 %
Buy
Festschrift Zur Feier Des 50 Jahrigen Bestehens Der Liebig-Realschule Zu Frankfurt A.Main Am 18. Juni 1905
20 € -1 %
Buy
Routledge Companion to Digital Ethnography
71.12 €
Buy
Cast Down But Not Destroyed
17 €
Buy
Sun-Maid; A Romance. by the Author of Artiste, Victor Lescar
37.81 € -1 %
Buy
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
51.01 € -7 %
Buy
Scotiad, or Wise Men of the North!!! a Serio-Comic and Satiric Poem ... by Macro.
13.10 € -25 %
Buy
?ric i l'Exèrcit del Fènix.
16.40 €
Buy
Cases in the Exchequer
40.41 € -2 %
Buy
Midst of Heaven
13.90 € -6 %
Buy
Henry and the Big Wish
8.59 € -10 %
Buy
Weil das Leben fragt
21.20 € -15 %
Buy
Neues Museum des Witzes und der Laune : eine humoristische Anthologie
14.50 € -39 %
Buy
THE POETS AND POETRY OF SPRINGFIELD IN M
23.50 € -2 %
Buy
Leila's Clockwork
10.09 € -17 %
Buy
Gonzalo Fernandez de Oviedo (Lucena), the unknown son of the Embassador Juan Ramirez de Lucena and author of La Celestina
50.11 € -10 %
Buy
Grundlagen Des Operations Research 3
46.71 € -6 %
Buy
The Engineer
21.80 €
Buy
Poste d'aiguillage
15.70 €
Buy
Professional Content Management Systems - Handling Digital Media Assets
128.34 € -9 %
Buy
EL ORIGEN DE LOS OTROS
14.70 € -9 %
Buy
Nautical Magazine and Naval Chronicle for 1859
64.72 €
Buy
Rest of God
14.60 € -25 %
Buy
Schlesische Urkunden zur Geschichte der Juden im Mittelalter
12.49 € -10 %
Buy
Last Stop
13.90 € -7 %
Buy
Einführung in die Kunstpädagogik
27.20 € -6 %
Buy
War in Texas
28 € -1 %
Buy
Perennials for the Pacific Northwest: 500 Best Plants for Flower Gardens
19.80 € -9 %
Buy
Light Cavalry Brigade in the Crimea. Extracts from the Letters and Journal of the Late Gen. Lord G. Paget During the Crimean War. with a Map. Edited b
27.80 € -9 %
Buy
Where Skies are Not Cloudy
12.40 € -9 %
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 122 loyalty points

Book synopsis

Formal Specification provides the reader with a practical and versatile approach to constructing program specifications. It includes both model-based (Z/VDM) and algebraic (CLEAR) paradigms of specification and emphasizes the range of languages and approaches available. Its main advantage over other specification books is that is offers an unrivaled breadth of coverage of the area, encompassing all the recent important advances.