Skip to main content

CURRENTLY SOLD OUT

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings by Jin Song Dong, Jim Woodcock (Paperback, 2003)

About this product

About this product

Product Information

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.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540204619
eBay Product ID (ePID)
96023461

Product Key Features

Author
Jin Song Dong, Jim Woodcock
Publication Name
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2003
Type
Textbook
Number of Pages
682 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Volume
2885
Item Weight
2130g

Additional Product Features

Series Title
Lecture Notes in Computer Science
Editor
Jim Woodcock, Jin Song Dong
Country/Region of Manufacture
Germany

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

A guide to the Project Management Body of Knowledge (PMBOK guide) and the Standard for project management by Project Management Institute (Paperback, 2021)
No ratings or reviews yet.
AU $45.09 New
---- Used
The Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by Adam Grubb, Annie Raser-Rowland (2012, Paperback)
4.8 out of 5 stars based on 88 product ratings
AU $19.95 New
AU $13.00 Used
Polyvagal Exercises for Safety and Connection: 50 Client-Centered Practices by Deb Dana (Paperback, 2020)
No ratings or reviews yet.
AU $53.12 New
AU $45.00 Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Ford Falcon EF, EL/Fairlane NF, NL/LTD DF, DL 1994-1998 Haynes Workshop Manual
AU $57.95
Trending at AU $59.33
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $122.01
Michael Price Nick Vandome Windows 11 for Seniors in easy steps (Paperback)
AU $32.86
Trending at AU $36.05
BORN IN 1971?... 1951?BIRTHDAY...Australian Social History....Chrisi, Birthdays
AU $19.00
Trending at AU $21.79
Dr. Robert Melillo Disconnected Kids - Revised and Updated (Paperback)
AU $34.03
Trending at AU $41.39
NEW The Demon-Haunted World By Carl Sagan Paperback Free Shipping
AU $31.60
Trending at AU $32.98

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like