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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer, Berlin
SKU: 01558768
Price: 107.29 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

263 b

107.29 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Un Regalo para el Alma 3 Jose Maria Ventura

Paperback

15.39 €

La sala de lo penal MUNILLA PETREÑAS

Paperback

14.19 €

Soleil d'or CLERGEOT-L

Paperback

27.09 €

Diccionario de jugadores del Real Madrid ENRIQUE MARCOS

Paperback

29.89 €

Juwelen aus El Moryas Schatzhaus El Morya

Paperback

16.50 €

Wittgenstein et la question du livre Guest

Paperback

32.39 €

Mini livre à gratter - Dinosaures Duddek

Paperback

12.99 €

Aria - Tome 40 - Carnet de voyage Weyland Michel

Hardback

20.69 €

Wise Man's Grandchild 12 Shunsuke Ogata

Paperback

7.50 €

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

Paperback

8.00 €

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

Paperback

10.29 €

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.