Free delivery for orders over 69.99 euro.

Check order status

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

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 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer, Berlin
SKU: 01558768
Price: 102.86 EUR
Availability: InStock
Author: Jin Song Dong
ISBN: 9783540204619

5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Jin Song Dong

Jim Woodcock

Language

English

Book Paperback

Libristo code: 01558768

Publishers Springer, Berlin, November 2002

This book constitutes the refereed proceedings of the 5th International Conference on Formal Enginee... Full description

Libristo code: 01558768

249 b

102.86 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Un Regalo para el Alma 3 Jose Maria Ventura

Paperback

14.74 €

La sala de lo penal MUNILLA PETREÑAS

Paperback

13.73 €

Soleil d'or CLERGEOT-L

Paperback

26.16 €

Diccionario de jugadores del Real Madrid ENRIQUE MARCOS

Paperback

28.89 €

Juwelen aus El Moryas Schatzhaus El Morya

Paperback

14.84 €

Wittgenstein et la question du livre Guest

Paperback

31.42 €

Mini livre à gratter - Dinosaures Duddek

Paperback

12.52 €

Aria - Tome 40 - Carnet de voyage Weyland Michel

Hardback

20.00 €

Wise Man's Grandchild 12 Shunsuke Ogata

Paperback

6.56 €

Lehrergesundheit. Anleitung zur Selbst- und Fremdfürsorge Viviane Scherenberg

Paperback

7.16 €

Jméno-objev a zmizení věci Antonín Mokrejš

Paperback

9.89 €

This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003.§The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis.