Code: 01558768

Formal Methods and Software Engineering

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

by Jin Song Dong, Jim Woodcock

Language: English
Binding: Paperback
Number of pages: 682
Publisher: Springer, Berlin, 2003
More about this

102.73 €

RRP: 111.34 €

You save 8.61 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Wall
11.29 € -24 %
Buy
Bird House
11.80 € -25 %
Buy
Jméno-objev a zmizení věci
8.97 € -20 %
Buy
BattleTech Legends
13.11 € -7 %
Buy
William Shakespeare's the Merry Rise of Skywalker: Star Wars Part the Ninth
16.14 € -25 %
Buy
How We Know
37.23 € -2 %
Buy
Diccionario de jugadores del Real Madrid
28.86 €
Buy
This Is What It Sounds Like: What the Music You Love Says about You
13.31 € -25 %
Buy
The Higher Power of Lucky
6.55 € -24 %
Buy
Aria - Tome 40 - Carnet de voyage
20.07 €
Buy
The Instant Enlightenment of Ordinary People: Nichiren Buddhism 2.0 for the 21st Century
16.64 € -6 %
Buy
Women and Leadership Around the World
59.03 €
Buy
Lehrergesundheit. Anleitung zur Selbst- und Fremdfürsorge
7.16 € -11 %
Buy
Un Regalo para el Alma 3
14.02 € -6 %
Buy
Wise Man's Grandchild 12
6.55 € -13 %
Buy
Mr. Tod (Traditional Chinese): 01 Paperback Color
42.18 € -6 %
Buy
Oxford Reading Tree Story Sparks: Oxford Level 8: The Wish Fisher
13.31 €
Buy
Diabetic Retinopathy - A Guide for Diabetes Care Teams
54.09 €
Buy
Juwelen aus El Moryas Schatzhaus
14.83 € -10 %
Buy
Thorney Liber Vitae (London, British Library, Additional MS 40,000, fols 1-12r)
149.56 €
Buy
49 DIVISION 146 Infantry Brigade Prince of Wales's Own (West Yorkshire Regiment) 1/7th Battalion
22.90 € -2 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Formal Methods and Software Engineering

Book details
Synopsis
Trending among others

You get 249 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer programming / software development Software Engineering

102.73 €

Full title: Formal Methods and Software Engineering
Subtitle: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
Author: Jin Song Dong, Jim Woodcock
Language: English
Binding: Paperback
Number of pages: 682
EAN: 9783540204619
ISBN: 354020461X
ID: 01558768
Publisher: Springer, Berlin
Weight: 966 g
Dimensions: 235 × 155 × 35 mm
Published: 2003