Code: 08908917

FM 99 - Formal Methods

Name: FM 99 - Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 08908917
Price: 109.14 EUR
Availability: InStock
Author: Jeannette M. Wing
ISBN: 9783540665885

by Jeannette M. Wing, Jim Woodcook, Jim Davies

The second of two volumes of proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM '99). Topical sections include program verification, integration of notation and techniques, open informa ... more

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

109.14 €

Low in stock at our supplier
Shipping in 13 - 18 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

A hét kecskegida
4.03 € -20 %
Buy
Golden Time
9.99 € -24 %
Buy
face2face Starter Student's Book with CD-ROM/Audio CD
20.28 € -8 %
Buy
Tierra de Empusas
18.87 € -14 %
Buy
Goodnight, Daniel Tiger
9.99 € -24 %
Buy
Lonely Planet Hong Kong
30.99 €
Buy
Coraline
14.93 € -9 %
Buy
Aesthetics Imperfections
55.42 € -10 %
Buy
CAD Projects with Tinkercad | 3D Models Part 1
12.11 € -19 %
Buy
Earhart
11.10 € -15 %
Buy
BRATZ PAMPERED PUPZ SECRET DIARY
9.68 €
Buy
She Speaks with Wisdom and Gives Good Counse: Flower Cover
8.07 € -7 %
Buy
The Adventures of Alana Marie McClaire: Book 1: The Early Years: Book 1: The Early Years
9.78 € -6 %
Buy
Natural Antibiotics and Antivirals
11.30 € -25 %
Buy
Prevalencia de Parasitosis Intestinal y Anemia Ferropenica En Ninos
32 € -14 %
Buy
Magi - The Labyrinth of Magic - tome 26
10.09 €
Buy
Henry VIII and the Anabaptists
54.31 €
Buy
L'altra jo
12.71 € -5 %
Buy
Aventures de Robinson Crusoe
25.94 €
Buy
House on the Borderland
25.74 € -2 %
Buy
Sirinler - Olur Böyle Seyler; Boyama ve Calisma Kitabi
7.26 € -4 %
Buy
Dharavi
71.78 €
Buy
Gender, State and Society in Soviet and Post-Soviet Russia
73.70 €
Buy
Excellency, Necessity and Usefulness of Patience
20.18 € -1 %
Buy
China and International Nuclear Weapons Proliferation
63.80 €
Buy
Nexus Network Journal 10,2
51.59 € -7 %
Buy
Greek for Preachers
27.05 € -9 %
Buy
Beowulf Samuel Harden Church
6.55 € -7 %
Buy
The Book on: Mergers and Acquisitions
14.02 € -6 %
Buy
Stonehenge Experience: - a guide through millennia of building monument and legend
25.74 € -7 %
Buy
Analyse und Vergleich der Darstellung und Funktion geographischer Räume in den Romanen "Krieg und Frieden" von Lev Tolstoj und "Vor dem Sturm" von The
16.15 € -10 %
Buy
Soviet Transportation Policy
47.85 € -4 %
Buy
Mystère
11.90 €
Buy
Krieg
18.77 € -5 %
Buy
Curriculum Policy
42.90 €
Buy
Von Sonnen Und Sonnenstaubchen
40.88 € -11 %
Buy
The Point Of IT All 4
11.50 € -7 %
Buy
Ecclesiology of Donald Robinson and D. Broughton Knox
37.45 € -25 %
Buy
Bienes culturales y conflictos armados : nuevas perspectivas de derecho internacional
80.06 €
Buy
DANSE MACABRE ACCORDEON ACCORDEON
16.95 €
Buy
Unto this Last
26.75 € -14 %
Buy
Deepest Scars: A Being Me Stand-Alone Companion Novel
16.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 265 loyalty points

Book synopsis

Book details

Book category Books in English Computing & information technology Computer science Systems analysis & design

109.14 €

Full title: FM 99 - Formal Methods
Subtitle: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings
Author: Jeannette M. Wing, Jim Woodcook, Jim Davies
Language: English
Binding: Paperback
Number of pages: 960
EAN: 9783540665885
ISBN: 9783540665885
ID: 08908917
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 1419 g
Dimensions: 234 × 156 × 48 mm
Date of publishing: 13. September 1999