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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

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
103.12 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Elektrotechnische Messkunde Paul Benjamin Arthur Linker / Book Paperback
common.buy 53.17 €
Wischendampfverwertung in Entwicklung, Theorie Und Wirtschaftlichkeit Ernst Reutlinger / Book Paperback
common.buy 53.17 €
Listy perskie wyd. 2 Monteskiusz / Book Paperback
common.buy 3.74 €
350 EXERCICES - VOCABULAIRE, NIVEAU MOYEN CORRIGÉS Prouillac / Book Paperback
common.buy 9.51 €
Top
Národní opruzení Karolína Meixnerová / Book Paperback
common.buy 10.83 €
Die Walküre Richard Wagner / Book Paperback
common.buy 14.88 €
Stigmatisierung und sprachliche Gewalt in Goethes Faust I Anja Schäfer / Book Paperback
common.buy 16.20 €
2012, Das Bewusstsein der Neuen Zeit Lee Carroll / Book Hardback
common.buy 17.01 €
Génius i popleta Denise Fenziová / Book Hardback
common.buy 9.72 €
Ben Sende Tutuklu Kaldim Güler Bilkay Aygün / Book Paperback
common.buy 14.17 €
Sen Ancak Sevdiginsin Serdar Özkan / Book Paperback
common.buy 9.21 €
První republika v barvě Pavel Pospíšil / Book Hardback
common.buy 32.41 €
BABADADA black-and-white, latvie?u valoda - Russkij âzyk (Latinskij bukvy), Att?lu v?rdn?ca - Ill?strirovannyj slovar? / Book Paperback
common.buy 7.89 €
LE GRAND VOYAGE DE LENA DOUTREMER / Book binding.
common.buy 18.12 €
Le Sacré en question / Book Paperback
common.buy 42.44 €
Les nègres ont la peau dure Bavarin / Book Paperback
common.buy 29.67 €
Čas na Vánoce printintin / Book Hardback
common.buy 14.48 €
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.84 €
Timmy Tiptoes (Traditional Chinese): 01 Paperback B&w H. y. Xiao Phd / Book Paperback
common.buy 7.59 €
El pueblo durmiente REBECCA DAUTREMER / Book Paperback
common.buy 27.04 €
Zambullendonos Bartolome Sanchez Sanchez / Book Paperback
common.buy 49.63 €

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 103.12 €
Computer Chemistry Ivar Ugi / Book Paperback
common.buy 51.76 €
KEEP ON SWINGING PETER DE BOER_SIMON / Book binding.
common.buy 30.79 €
Geosystems: Design Rules and Applications Adam Bezuijen / Book Paperback
common.buy 95.82 €
Notes in Time: A Samantha Townsend Adventure Lisa Briley / Book Paperback
common.buy 7.69 €
The Desire of Ages Mrs Ellen G White / Book Paperback
common.buy 27.44 €
Hydrogen Research for Spaceport and Space-Based Applications: Fuel Cell Projects National Aeronautics and Administration / Book Paperback
common.buy 24.81 €
A Middle East American: A Journey through Cultures MR Guy Nagib Tower / Book Paperback
common.buy 11.03 €
Remainders to Children as a Class. Walter Murphy / Book Paperback
common.buy 14.17 €
Pedigree reconstruction in commercial broodstock of Common Sole Brian Martin Babigumira / Book Paperback
common.buy 32.10 €
Atlas of Thyroid and Neuroendocrine Tumor Markers Luca Giovanella / Book Hardback
common.buy 100.89 €
Battle for Yellowstone Justin Farrell / Book Paperback
common.buy 34.53 €
Fluorescence Imaging and Biological Quantification Raquel Seruca / Book Hardback
common.buy 365.29 €
A MANUAL OF EXERCISES IN FOREST MENSURAT HUGO WINKENWERDER / Book Hardback
common.buy 31.70 €
Talking to God Thomas L Constable / Book Paperback
common.buy 20.96 €
Multimodal Behavior Analysis in the Wild Xavier Alameda-Pineda / E-book Adobe ePub DRM
common.buy 199.86 €
Coming soon New
Browser Art Daniela Hönigsberg / Book Hardback
common.buy 97.44 €
Advances in Anesthesia, 2025 Laurence Torsher / Book Hardback
common.buy 154.07 €
In Praise of Slow Carl Honore / Book Paperback
common.buy 10.42 €
Jingle Spells Emily Grimoire / Book Paperback
common.buy 9.11 €
Functional Magnetic and Spintronic Nanomaterials Igor Vladymyrskyi / Book Hardback
common.buy 164.81 €
Loyal Soldier, Lustful Beast (Light Novel) Saya Shirosaki / Book Paperback
common.buy 16.00 €
Pugilistica: The History Of British Boxing Containing Lives Of The Most Celebrated Pugilists; Volume 3 Henry Downes Miles / Book Hardback
common.buy 40.21 €
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.75 €

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?