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 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Formal Methods and Software Engineering

6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

Language EnglishEnglish
Book Paperback
Book Formal Methods and Software Engineering Jim Davies
Libristo code: 01560067
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, October 2004
This book constitutes the refereed proceedings of the 6th International Conference on Formal Enginee... Full description
? points 249 b
102.99 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Wischendampfverwertung in Entwicklung, Theorie Und Wirtschaftlichkeit Ernst Reutlinger / Book Paperback
common.buy 53.11 €
Elektrotechnische Messkunde Paul Benjamin Arthur Linker / Book Paperback
common.buy 53.11 €
Génius i popleta Denise Fenziová / Book Hardback
common.buy 9.70 €
2 Audio-CDs zum Kursbuch Dr. Michaela Perlmann-Balme / Audio Audio CD
common.buy 26.40 €
Les nègres ont la peau dure Bavarin / Book Paperback
common.buy 29.84 €
Timmy Tiptoes (Traditional Chinese): 01 Paperback B&w H. y. Xiao Phd / Book Paperback
common.buy 7.58 €
Zambullendonos Bartolome Sanchez Sanchez / Book Paperback
common.buy 49.57 €
Die Walküre Richard Wagner / Book Paperback
common.buy 23.46 €
Institutionen. Rudolph Sohm / Book Hardback
common.buy 65.96 €
Im Angesicht des Verbrechens Dominik Graf / Video Blu-ray
common.buy 26.40 €
Ben Sende Tutuklu Kaldim Güler Bilkay Aygün / Book Paperback
common.buy 14.16 €
Boating Llewelyn Pritchard Ma / Book Paperback
common.buy 12.13 €
Stigmatisierung und sprachliche Gewalt in Goethes Faust I Anja Schäfer / Book Paperback
common.buy 16.18 €
Menschliche Bewusstsein und der Hypertext - ein Strukturvergleich Anton Freibacher / Book Paperback
common.buy 16.18 €
2012, Das Bewusstsein der Neuen Zeit Lee Carroll / Book Hardback
common.buy 16.99 €
El pueblo durmiente REBECCA DAUTREMER / Book Paperback
common.buy 27.31 €
Esos Rincones Profundos De Mi Alma Georgina Ma Chahin / Book Paperback
common.buy 13.35 €
Sen Ancak Sevdiginsin Serdar Özkan / Book Paperback
common.buy 9.20 €

This book constitutes the refereed proceedings of the 6th International Conference on Formal Engineering Methods, ICFEM 2004, held in Seattle, WA, USA in November 2004.§The 30 revised full papers presented together with abstracts of 9 invited contributions were carefully reviewed and selected from 110 submissions. The papers address all current issues in formal methods and their applications in software engineering, ranging from theoretical and methodological aspects to applications in various domains.

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 Formal Methods and Software Engineering
Author Jim Davies, Wolfram Schulte, Mike Barnett
Language English
Binding Book - Paperback
Date of issue 2004
Number of pages 500
EAN 9783540238416
ISBN 3540238417
Libristo code 01560067
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1590
Dimensions 155 x 235 x 28

Categories

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
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

Stressed Composite Structures Alexander G. Kolpakov / Book Hardback
common.buy 102.99 €
Computer Chemistry Ivar Ugi / Book Paperback
common.buy 51.69 €
Atlas of Thyroid and Neuroendocrine Tumor Markers Luca Giovanella / Book Hardback
common.buy 100.76 €
Global Sport Marketing Michel Desbordes / Book Hardback
common.buy 235.03 €
Seinfeld Warehouse 13 Phantom Fringe Zorro Dowling Musketeers Kong Wolf Lake Jim Fenn / Book Paperback
common.buy 8.39 €
The Power of Choices Tracy A. Medling / Book Paperback
common.buy 10.82 €
Talking to God Thomas L Constable / Book Paperback
common.buy 20.93 €
They Said What?! Jeff Necessary / Book Paperback
common.buy 21.24 €
A Middle East American: A Journey through Cultures MR Guy Nagib Tower / Book Paperback
common.buy 11.02 €
Black Box Michael Connelly / Book Hardback
common.buy 32.97 €
New Houses in Asia Publishing Images / Book Hardback
common.buy 63.02 €
O-Ei-A digital 2023 - Alle drei Preisführer zum Sammelgebiet Überraschungsei erstmals digital auf USB-Stick als PDF-Version! André Feiler / Game/Toy Toy
common.buy 35.71 €
Freud's Philosophy of the Unconscious D. L. Smith / Book Hardback
common.buy 102.99 €
Andre Breton André Breton / Book Paperback
common.buy 41.17 €
Clinical Problem of Masochism Deanna Holtzman / Book Hardback
common.buy 127.37 €
History of Greek Philosophy: Volume 4, Plato: The Man and his Dialogues: Earlier Period W. K. C. Guthrie / Book Hardback
common.buy 252.53 €
European Renaissance 1400-1600 Robin Kirkpatrick / Book Paperback
common.buy 42.28 €
Legal Responses to Religious Practices in the United States Austin Sarat / Book Paperback
common.buy 48.15 €
Top
Egyptology Wayne Anderson / Book Hardback
common.buy 26.50 €

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