Code: 01562991

FME 2003: Formal Methods

Name: FME 2003: Formal Methods
Brand: Springer, Berlin
SKU: 01562991
Price: 109.14 EUR
Availability: InStock
Author: Keijiro Araki
ISBN: 9783540408284

by Keijiro Araki, Stefania Gnesi, Dion Mandrioli

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

109.14 €

Low in stock at our supplier
Shipping in 13 - 18 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Der kleine Prinz - Le Petit Prince
26.95 € -19 %
Buy
Magi: The Labyrinth of Magic, Vol. 2
9.08 € -30 %
Buy
E-Booklight - LED Leselampe - Schwarz - für Bücher und E-Reader
12.61 € -16 %
Buy
On Antisemitism
14.73 € -25 %
Buy
Zazi a dva vrazi
5.34 € -16 %
Buy
The Joy of Playing with Your Dog: Games, Tricks, & Socialization for Puppies & Dogs
20.28 € -24 %
Buy
Kleeblatt. Das Sprachbuch - Ausgabe 2014 Bayern
27.96 €
Buy
Sanssouci
10.89 € -5 %
Buy
Cell Motility
154.07 € -7 %
Buy
Die Brüder Karamasow
17.96 € -11 %
Buy
Schriften zur Kritik und Literaturgeschichte
26.75 € -11 %
Buy
El Bravo V1: Novela (1854)
28.26 € -1 %
Buy
The Armoured Dark
10.79 € -17 %
Buy
Buddha a Drama in Five Acts and Four Interludes
8.98 € -15 %
Buy
Die Zerstörung der Welt als Wille und Vorstellung
14.43 € -10 %
Buy
Use of Microcomputers in Geology
154.07 € -7 %
Buy
Topics in Experimental Dynamics Substructuring and Wind Turbine Dynamics, Volume 2
205.36 € -7 %
Buy
Handbook of Reagents for Organic Synthesis Set I 4V ST
1248.88 €
Buy
My Own Thoughts
9.28 € -24 %
Buy
Account of the Life and Writings of St. Irenaeus Bishop of Lyons and Martyr
32.70 € -2 %
Buy
Educational Assessment in the 21st Century
167.50 €
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

You get 265 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2003, held in Pisa, Italy in September 2003.§The 44 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 144 submissions. The papers are organized in topical sections on industrial issues, control systems and applications, communication system verfication, co-specification and compilers, composition, Java, object-orientation and modularity, model checking, parallel processes, program checking and testing, B method, and security.

Book details

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

109.14 €

Full title: FME 2003: Formal Methods
Subtitle: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
Author: Keijiro Araki, Stefania Gnesi, Dion Mandrioli
Language: English
Binding: Paperback
Number of pages: 946
EAN: 9783540408284
ISBN: 3540408282
ID: 01562991
Publisher: Springer, Berlin
Weight: 1200 g
Dimensions: 235 × 155 × 48 mm
Published: 2003