Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods and Software Engineering

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

271 b

39 624 Ft

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

5 662 Ft

La sala de lo penal MUNILLA PETREÑAS

Paperback

4 859 Ft

Soleil d'or CLERGEOT-L

Paperback

9 981 Ft

Diccionario de jugadores del Real Madrid ENRIQUE MARCOS

Paperback

10 258 Ft

Juwelen aus El Moryas Schatzhaus El Morya

Paperback

5 782 Ft

Wittgenstein et la question du livre Guest

Paperback

11 135 Ft

Mini livre à gratter - Dinosaures Duddek

Paperback

4 448 Ft

Aria - Tome 40 - Carnet de voyage Weyland Michel

Hardback

7 097 Ft

Wise Man's Grandchild 12 Shunsuke Ogata

Paperback

2 547 Ft

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

Paperback

2 783 Ft

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

Paperback

3 498 Ft

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.