Code: 08908917

FM 99 - Formal Methods

Name: FM 99 - Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 08908917
Price: 108.92 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

108.92 €

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

Who Ate the First Oyster?
13.40 € -24 %
Buy
Tierra de Empusas
18.85 € -14 %
Buy
Golden Time
9.98 € -24 %
Buy
face2face Starter Student's Book with CD-ROM/Audio CD
20.26 € -8 %
Buy
Goodnight, Daniel Tiger
9.98 € -24 %
Buy
Lonely Planet Hong Kong
30.96 €
Buy
Coraline
14.92 € -9 %
Buy
Aesthetics Imperfections
55.36 € -9 %
Buy
CAD Projects with Tinkercad | 3D Models Part 1
12.09 € -19 %
Buy
Earhart
11.09 € -15 %
Buy
BRATZ PAMPERED PUPZ SECRET DIARY
9.67 €
Buy
Natural Antibiotics and Antivirals
11.29 € -25 %
Buy
Reheline koer ai katto päi silmi (osa 2)
61.52 € -14 %
Buy
The Adventures of Alana Marie McClaire: Book 1: The Early Years: Book 1: The Early Years
9.77 € -6 %
Buy
Deepest Scars: A Being Me Stand-Alone Companion Novel
16.63 € -7 %
Buy
Ekho mundo espejo 2. París imperial
17.14 €
Buy
She Speaks with Wisdom and Gives Good Counse: Flower Cover
8.06 € -7 %
Buy
Magi - The Labyrinth of Magic - tome 26
9.77 €
Buy
Prevalencia de Parasitosis Intestinal y Anemia Ferropenica En Ninos
31.96 € -14 %
Buy
Gender, State and Society in Soviet and Post-Soviet Russia
77.66 €
Buy
Aventures de Robinson Crusoe
25.31 €
Buy
Mathematik - Physik - Chemie, Ausgabe Hessen
13.10 € -6 %
Buy
Sirinler - Olur Böyle Seyler; Boyama ve Calisma Kitabi
7.25 € -4 %
Buy
Von Sonnen Und Sonnenstaubchen
40.84 € -11 %
Buy
Henry VIII and the Anabaptists
49.92 €
Buy
Beowulf Samuel Harden Church
6.55 € -7 %
Buy
House on the Borderland
25.71 € -2 %
Buy
Krieg
18.65 €
Buy
L'altra jo
12.80 € -4 %
Buy
Excellency, Necessity and Usefulness of Patience
20.16 € -1 %
Buy
China and International Nuclear Weapons Proliferation
66.66 €
Buy
Nexus Network Journal 10,2
51.53 € -7 %
Buy
Dharavi
74.63 €
Buy
Ecclesiology of Donald Robinson and D. Broughton Knox
37.41 € -25 %
Buy
Bienes culturales y conflictos armados : nuevas perspectivas de derecho internacional
79.88 €
Buy
Greek for Preachers
27.43 € -9 %
Buy
DANSE MACABRE ACCORDEON ACCORDEON
16.63 €
Buy
House Full
44.87 €
Buy
Fort Collins Science Center Fiscal Year 2011 Science Accomplishments
16.63 € -6 %
Buy
The Book on: Mergers and Acquisitions
14.01 € -6 %
Buy
Insomnia: 77 Poems
18.25 € -7 %
Buy
Stonehenge Experience: - a guide through millennia of building monument and legend
25.71 € -7 %
Buy
Pearson REVISE Edexcel AS/A Level Physics Revision Guide
17.94 €
Buy
Mystère
11.89 €
Buy
Soviet Transportation Policy
47.70 € -4 %
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.13 € -10 %
Buy
Curriculum Policy
42.86 €
Buy
The Point Of IT All 4
11.49 € -7 %
Buy
Unto this Last
26.72 € -14 %
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 264 loyalty points

Book synopsis

Book details

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

108.92 €

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