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

FME 2003: Formal Methods

International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Language EnglishEnglish
Book Paperback
Book FME 2003: Formal Methods Keijiro Araki
Libristo code: 01562991
Publishers Springer, Berlin, November 2002
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Euro... Full description
? points 280 b
114.55 €
In stock at our supplier Shipping in 10-16 days

Up to 30 days for returns

Customers also purchased

Schriften zur Kritik und Literaturgeschichte Michael Bernays / Book Paperback
common.buy 26.53 €
The Armoured Dark Megan E. O'Keefe / Book Paperback
common.buy 10.71 €
Zazi a dva vrazi Zuzana Kuzmová / Book Paperback
common.buy 5.60 €
E-Booklight - LED Leselampe - Schwarz - für Bücher und E-Reader / Game/Toy Toy
common.buy 12.51 €
Fotbal / Game/Toy Game
common.buy 10.40 €
El Bravo V1: Novela (1854) Fenimore Cooper / Book Paperback
common.buy 29.44 €
Der kleine Prinz - Le Petit Prince Antoine de Saint-Exupéry / Book Hardback
common.buy 26.73 €
Sanssouci Andreas Maier / Book Paperback
common.buy 10.51 €
Muse Moderne Sermet-J / Book Paperback
common.buy 14.31 €
Kleeblatt. Das Sprachbuch - Ausgabe 2014 Bayern Esther Bork / Book Paperback
common.buy 30.93 €
Die Brüder Karamasow Fjodor M. Dostojewskij / Book Paperback
common.buy 17.82 €
Untersuchungen Zur Entwicklung Eines Verfahrens Zum Nachweis Von Wand- Bzw. Mauerdicke Und Gefugeschaden Bei Tunnel- Und Schachtauskleidungen Heinrich Baule / Book Paperback
common.buy 52.57 €
Die Zerstörung der Welt als Wille und Vorstellung Robert Menasse / Book Paperback
common.buy 14.31 €

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2003, held in Pisa, Italy in September 2003.§The 44 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 144 submissions. The papers are organized in topical sections on industrial issues, control systems and applications, communication system verfication, co-specification and compilers, composition, Java, object-orientation and modularity, model checking, parallel processes, program checking and testing, B method, and security.

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 FME 2003: Formal Methods
Author Keijiro Araki, Stefania Gnesi, Dion Mandrioli
Language English
Binding Book - Paperback
Date of issue 2003
Number of pages 946
EAN 9783540408284
ISBN 3540408282
Libristo code 01562991
Publishers Springer, Berlin
Weight 1200
Dimensions 155 x 235 x 48

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 > Mathematical theory of computation
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

Use of Microcomputers in Geology Hans Kürzl / Book Hardback
common.buy 152.81 €
Coming soon
Procol Harum: The Ghosts of a Whiter Shade of Pale Henry Scott Irvine / Book Hardback
common.buy 29.63 €
The Joy of Playing with Your Dog: Games, Tricks, & Socialization for Puppies & Dogs Marc Goldberg / Book Hardback
common.buy 21.42 €
Confidence & Assertive Skills for Women Angelina Williams / Book Paperback
common.buy 15.61 €
Neural Information Processing Long Cheng / Book Paperback
common.buy 51.16 €
Lying Game Ruth Ware / Book Paperback
common.buy 8.30 €
On Antisemitism Jewish Voice for Peace / Book Paperback
common.buy 15.61 €
Security in Next Generation Mobile Networks: SAE/LTE and Wimax Seo Seung-Woo / Book Hardback
common.buy 129.98 €
Account of the Life and Writings of St. Irenaeus Bishop of Lyons and Martyr James Beaven / Book Paperback
common.buy 34.15 €
My Own Thoughts Wendy Deaton / Book Paperback
common.buy 9.81 €
Buddha a Drama in Five Acts and Four Interludes Paul Carus / Book Paperback
common.buy 9.00 €
Topics in Experimental Dynamics Substructuring and Wind Turbine Dynamics, Volume 2 R. Mayes / Book Hardback
common.buy 203.68 €
Educational Assessment in the 21st Century Claire Wyatt-Smith / Book Hardback
common.buy 176.24 €
Handbook of Reagents for Organic Synthesis Set I 4V ST Robert M. Coates / Book Hardback
common.buy 1 230.05 €
Top
Magi: The Labyrinth of Magic, Vol. 2 Shinobu Ohtaka / Book Paperback
common.buy 9.60 €
Cell Motility Peter Lenz / Book Hardback
common.buy 152.81 €

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?