Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

FM 99 - Formal Methods

World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

Language EnglishEnglish
Book Paperback
Book FM 99 - Formal Methods Jeannette M. Wing
Libristo code: 08908917
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 1999
The second of two volumes of proceedings of the World Congress on Formal Methods in the Development... Full description
? points 290 b
119.73 €
234.17  лв
Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

BRATZ PAMPERED PUPZ SECRET DIARY BRATZ / Book Book
common.buy 10.18 € 19.92 лв
Tierra de Empusas Olga Tokarczuk / Book Paperback
common.buy 20.17 € 39.44 лв
Earhart Bastian Pastewka / Audio Audio CD
common.buy 11.84 € 23.16 лв
Asesoramiento sobre la comunidad sorda. SSCG0112 Mª Carmen Martinez Abad / E-book Adobe ePub DRM
common.buy 9.20 € 18.00 лв
Reheline koer ai katto päi silmi (osa 2) Risto Rekola / Book Hardback
common.buy 65.32 € 127.75 лв
300+ Imagier Des Couleurs Apprendre A Lire Montessori Trilingue Anglais Français Croate: J'Apprends ? Lire Apprentissage ecriture maternelle vocabulai Enseigner Grâce Jeu / Book Paperback
common.buy 14.84 € 29.02 лв
documentazione al nido passo dopo passo. Strumenti pratici per riflettere, raccontare e «costruire memoria» Denise Daddi / Book Paperback
common.buy 27.36 € 53.50 лв
Top
Ekho mundo espejo 2. París imperial ARLESTON / Book Paperback
common.buy 18.10 € 35.39 лв
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 Katharina Friesen / Book Paperback
common.buy 17.11 € 33.47 лв
Coming soon
Mathematik - Physik - Chemie, Ausgabe Hessen Barbara Weigl / Book Paperback
common.buy 13.86 € 27.10 лв
Von Sonnen Und Sonnenstaubchen Wilhelm Bölsche / Book Paperback
common.buy 43.39 € 84.86 лв
Dogovor podryada na vypolnenie izyskatel'skikh rabot Lyubov' Alipova / Book Paperback
common.buy 83.84 € 163.97 лв
Prevalencia de Parasitosis Intestinal y Anemia Ferropenica En Ninos Alcira C. Berbín R. / Book Paperback
common.buy 34.03 € 66.55 лв
Krieg Matthias Naumann / Book Paperback
common.buy 19.55 € 38.23 лв
Chlöe und Spike Alice Wilson / Book Hardback
common.buy 23.74 € 46.42 лв
Aventures de Robinson Crusoe Daniel Defoe / Book Paperback
common.buy 26.68 € 52.19 лв
DANSE MACABRE ACCORDEON ACCORDEON CAMILLE SAINT-SAENS Book binding.
common.buy 17.27 € 33.78 лв
Coraline Gaiman / Book Paperback
common.buy 15.77 € 30.84 лв
Bienes culturales y conflictos armados : nuevas perspectivas de derecho internacional Marina San Martín Calvo / Book Paperback
common.buy 83.78 € 163.87 лв
L'altra jo CATHY MACPHAIL / Book Paperback
common.buy 13.49 € 26.39 лв
Sirinler - Olur Böyle Seyler; Boyama ve Calisma Kitabi Pierre Culliford / Book Paperback
common.buy 7.65 € 14.96 лв
Ein Motiv aus dem Kalender Kleine Löwenhunde (Puzzle) Anke van Wyk / Game/Toy Game
common.buy 35.89 € 70.19 лв
Mystère Murail / Book Paperback
common.buy 12.46 € 24.37 лв
Magi - The Labyrinth of Magic - tome 26 Shinobu Ohtaka / Book Paperback
common.buy 10.08 € 19.72 лв

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 information systems, co-design, refinement, safety and avionics.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name FM 99 - Formal Methods
Author Jeannette M. Wing, Jim Woodcook, Jim Davies
Language English
Binding Book - Paperback
Date of issue 1999
Number of pages 960
EAN 9783540665885
ISBN 9783540665885
Libristo code 08908917
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1419
Dimensions 156 x 234 x 48

Categories

Computing & Information Technology > Computer science > Systems analysis & design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

A Time To Sing Sid Gove / Book Paperback
common.buy 14.79 € 28.92 лв
Aesthetics Imperfections Gianpaolo Tucci / Book Paperback
common.buy 58.54 € 114.50 лв
Apothecary Diaries: Volume 5 (Light Novel) Natsu Hyuuga / E-book Adobe ePub DRM
common.buy 8.01 € 15.67 лв
The Art of Training: Fitness Training Tips Tony kelly / Book Paperback
common.buy 13.08 € 25.58 лв
Management And Leadership Of Non-profit Organisations In Singapore: A Common Language And Shared Meaning For Transformation Millie Yun Su / Book Hardback
common.buy 51.35 € 100.44 лв
Ecclesiology of Donald Robinson and D. Broughton Knox Chase R Kuhn / Book Hardback
common.buy 40.03 € 78.29 лв
The Book on: Mergers and Acquisitions James Scott / Book Paperback
common.buy 14.79 € 28.92 лв
The Adventures of Alana Marie McClaire: Book 1: The Early Years: Book 1: The Early Years Miss Jennifer Brayton/B / Book Paperback
common.buy 10.34 € 20.22 лв
Fort Collins Science Center Fiscal Year 2011 Science Accomplishments U S Department of the Interior / Book Paperback
common.buy 17.53 € 34.28 лв
Stonehenge Experience: - a guide through millennia of building monument and legend Carol Druce / Book Paperback
common.buy 27.25 € 53.30 лв
The Point Of IT All 4 Tamyra Griffin / Book Paperback
common.buy 12.15 € 23.76 лв
Invisible Author Christine Brooke-Rose / Book Paperback
common.buy 47.01 € 91.94 лв
Beowulf Samuel Harden Church Iacob Adrian / Book Paperback
common.buy 6.93 € 13.54 лв
Natural Antibiotics and Antivirals Christopher Vasey / Book Paperback
common.buy 12.10 € 23.66 лв
Unto this Last John Ruskin / Book Paperback
common.buy 28.34 € 55.42 лв
Lonely Planet Hong Kong Lonely Planet / Book Paperback
common.buy 32.22 € 63.01 лв
Who Ate the First Oyster? Cody Cassidy / Book Paperback
common.buy 14.27 € 27.91 лв
China and International Nuclear Weapons Proliferation Hiim / Book Paperback
common.buy 70.03 € 136.96 лв
Deepest Scars: A Being Me Stand-Alone Companion Novel Tricia Copeland / Book Paperback
common.buy 17.58 € 34.38 лв
Insomnia: 77 Poems Craig Capers / Book Paperback
common.buy 19.29 € 37.72 лв
She Speaks with Wisdom and Gives Good Counse: Flower Cover Kasey M. Cooper / Book Paperback
common.buy 8.53 € 16.68 лв
de L'Usage Des Passions (1665) Jean-Francois Senault / Book Hardback
common.buy 56.27 € 110.05 лв
Excellency, Necessity and Usefulness of Patience William Bell / Book Paperback
common.buy 21.25 € 41.57 лв
Coming soon
House Full Lakshmi Srinivas / Book Paperback
common.buy 46.91 € 91.74 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account