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 4.49 € DPD point 3.99 € GLS courier 5.49 € GLS point 4.49 € Croatian Post 5.49 € Overseas courier 5.49 € Box Now 4.99 €
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 236 b
96.90 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Wischendampfverwertung in Entwicklung, Theorie Und Wirtschaftlichkeit Ernst Reutlinger / Book Paperback
common.buy 52.82 €
Elektrotechnische Messkunde Paul Benjamin Arthur Linker / Book Paperback
common.buy 52.82 €
Top
První republika v barvě Pavel Pospíšil / Book Hardback
common.buy 30.28 €
El pueblo durmiente REBECCA DAUTREMER / Book Paperback
common.buy 28.27 €
Ein Motiv aus dem Kalender Peter Paul Rubens - Rubens (Puzzle) Alexander Bartek / Game/Toy Game
common.buy 32.09 €
Le Sacré en question / Book Paperback
common.buy 39.44 €
Die Walküre Richard Wagner / Book Paperback
common.buy 14.78 €
Národní opruzení Karolína Meixnerová / Book Paperback
common.buy 10.15 €
Les nègres ont la peau dure Bavarin / Book Paperback
common.buy 27.26 €
Listy perskie wyd. 2 Monteskiusz / Book Paperback
common.buy 4.82 €
Génius i popleta Denise Fenziová / Book Hardback
common.buy 9.65 €
Čas na Vánoce printintin / Book Hardback
common.buy 13.58 €
350 EXERCICES - VOCABULAIRE, NIVEAU MOYEN CORRIGÉS Prouillac / Book Paperback
common.buy 10.05 €
Zeszyt dla sześciolatków czytam z lokomotywą cześć 2 l d k u s y Praca Zbiorowa Pod Red. M. Dobrowolskiej / Book Paperback
common.buy 3.91 €

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 96.90 €
Computer Chemistry Ivar Ugi / Book Paperback
common.buy 48.60 €
My Fairy Library Daniela Jaglenka Terrazzini / Book Hardback
common.buy 16.80 €
Black Box Michael Connelly / Book Hardback
common.buy 33.90 €
Geosystems: Design Rules and Applications Adam Bezuijen / Book Paperback
common.buy 101.94 €
Constraint Programming and Decision Making: Theory and Applications MARTINE CEBERIO / Book Paperback
common.buy 118.34 €
Notes in Time: A Samantha Townsend Adventure Lisa Briley / Book Paperback
common.buy 7.74 €
The Desire of Ages Mrs Ellen G White / Book Paperback
common.buy 27.97 €
Hydrogen Research for Spaceport and Space-Based Applications: Fuel Cell Projects National Aeronautics and Administration / Book Paperback
common.buy 25.25 €
A Middle East American: A Journey through Cultures MR Guy Nagib Tower / Book Paperback
common.buy 11.16 €
New Houses in Asia Publishing Images / Book Hardback
common.buy 58.86 €
Remainders to Children as a Class. Walter Murphy / Book Paperback
common.buy 14.38 €
Hellraiser - Mother Jones: An Historical Novel Jerry Ash / Book Paperback
common.buy 16.90 €
Pedigree reconstruction in commercial broodstock of Common Sole Brian Martin Babigumira / Book Paperback
common.buy 30.08 €
Atlas of Thyroid and Neuroendocrine Tumor Markers Luca Giovanella / Book Hardback
common.buy 94.69 €
KEEP ON SWINGING PETER DE BOER_SIMON / Book binding.
common.buy 28.87 €
Battle for Yellowstone Justin Farrell / Book Paperback
common.buy 35.21 €
Fluorescence Imaging and Biological Quantification Raquel Seruca / Book Hardback
common.buy 373.05 €
Multimodal Behavior Analysis in the Wild Xavier Alameda-Pineda / E-book Adobe ePub DRM
common.buy 195.73 €
Coming soon New
Browser Art Daniela Hönigsberg / Book Hardback
common.buy 89.76 €
Advances in Anesthesia, 2025 Laurence Torsher / Book Hardback
common.buy 142.79 €
In Praise of Slow Carl Honore / Book Paperback
common.buy 9.95 €
Jingle Spells Emily Grimoire / Book Paperback
common.buy 8.44 €
Functional Magnetic and Spintronic Nanomaterials Igor Vladymyrskyi / Book Hardback
common.buy 154.87 €

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?